From Formal Techniques to Well-Founded Software Development Methods-Reference-Cited by-同舟云学术

From Formal Techniques to Well-Founded Software Development Methods

Published:2003 Issue: Volume: Page:132-150
ISSN:0302-9743
Container-title:Formal Methods at the Crossroads. From Panacea to Foundational Support
language:
Short-container-title:

Author:

Astesiano Egidio,Reggio Gianna,Cerioli Maura

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-40007-3_9

Reference33 articles.

1. Astesiano, E., Bidoit, M., Kirchner, H., Krieg-Brückner, B., Mosses, P.D., Sannella, D., Tarlecki, A.: CASL: the Common Algebraic Specification Language. T.C.S. 286(2), 153–196 (2002)

2. Astesiano, E., Krieg-Brückner, B., Kreowski, H.-J. (eds.): IFIP WG 1.3 Book on Algebraic Foundations of System Specification. Springer, Heidelberg (1999)

3. Astesiano, E., Reggio, G.: Direct Semantics of Concurrent Languages in the SMoLCS Approach. IBM Journal of Research and Development 31(5), 512–534 (1987)

4. Lecture Notes in Computer Science;E. Astesiano,1987

5. Astesiano, E., Reggio, G.: Formalism and Method. T.C.S. 236(1,2), 3–34 (2000)

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

1. A Framework for Defining and Comparing Modelling Methods;Software, Services, and Systems;2015

2. Revising the UML Collaborations: A Well-Founded Approach;Foundations of Computer Software. Future Trends and Techniques for Development;2010

3. A formally grounded software specification method;The Journal of Logic and Algebraic Programming;2006-04

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

5. Tight Structuring for Precise UML-Based Requirement Specifications;Radical Innovations of Software and Systems Engineering in the Future;2004