Local specification of distributed families of sequential objects-Reference-Cited by-同舟云学术

Local specification of distributed families of sequential objects

Published:1995 Issue: Volume: Page:219-235
ISSN:0302-9743
Container-title:Recent Trends in Data Type Specification
language:
Short-container-title:

Author:

Ehrich Hans-Dieter,Sernadas Amilcar

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0014430

Reference48 articles.

1. LNCS 655;E. Astesiano,1992

2. A. Borgida. Features of Languages for the Development of Information Systems at the Conceptual Level. IEEE Software 2 (1985), 63–73

3. M. Broy. Functional Specification of Time-Sensitive Communicating Systems. ACM Transactions on Software Engineering and Methodology 2 (1993), 1–46

4. S. Conrad and H.-D. Ehrich. An Elementary Logic for Object Specification and Verification. In U. Lipeck and G. Vossen, editors, Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing, pages 197–206. Technical Report Univ. Hannover, No. 03/94, 1994

5. S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. My ADT Shrine;Recent Trends in Algebraic Development Techniques;2012

2. Modelling Concurrent Interactions;Algebraic Methodology and Software Technology;2004

3. Increasing Reusability in Information Systems Development by Applying Generic Methods;Notes on Numerical Fluid Mechanics and Multidisciplinary Design;2001

4. Generic Facilities in Object-Oriented ASMs;Lecture Notes in Computer Science;2000

5. Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic;IFIP Advances in Information and Communication Technology;1997