Formalism and method-Reference-Cited by-同舟云学术

Formalism and method

Published:1997 Issue: Volume: Page:93-114
ISSN:0302-9743
Container-title:TAPSOFT '97: Theory and Practice of Software Development
language:
Short-container-title:

Author:

Astesiano Egidio,Reggio Gianna

Publisher

Springer Berlin Heidelberg

Link

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

Reference28 articles.

1. C. Alexander, S. Ishikawa, M. Silverstein, M. Jacobson, I. Fiksdahl-King, and S. Angel. A Pattern Language. Oxford University Press, 1977.

2. number 249 in Lecture Notes in Computer Science;E. Astesiano,1987

3. E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline. Technical Report DISI-TR-96-20, DISI-Università di Genova, Italy, 1996.

4. E. Astesiano and G. Reggio. On the Relationship between Labelled Transition Logic and Rewriting Logic. Technical Report DISI-TR-96-19, DISI-Università di Genova, Italy, 1996.

5. E. Astesiano and G. Reggio. Formalism and Method. Technical Report DISI-TR-97-3, DISI-Università di Genova, Italy, 1997. Full version.

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

1. Toward an Operations-Dedicated Model for Space Systems;Journal of Aerospace Information Systems;2023-04

2. From Conditional Specifications to Interaction Charts;Formal Methods in Software and Systems Modeling;2005

3. Formalism and method;Theoretical Computer Science;2000-04

4. Concurrency and Data Types: A Specification Method An Example with LOTOS;Recent Trends in Algebraic Development Techniques;1999

5. Specifying embedded systems with statecharts and Z: An agenda for cyclic software components;Fundamental Approaches to Software Engineering;1998