Integration of Formal Datatypes within State Diagrams-Reference-Cited by-同舟云学术

Integration of Formal Datatypes within State Diagrams

Published:2003 Issue: Volume: Page:341-355
ISSN:0302-9743
Container-title:Fundamental Approaches to Software Engineering
language:
Short-container-title:

Author:

Attiogbé Christian,Poizat Pascal,Salaün Gwen

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-36578-8_24

Reference25 articles.

1. J.R. Abrial. The B-Book. Cambridge University Press, 1996.

2. M. Aiguier, F. Barbier, and P. Poizat. A Logic for Mixed Specifications. Technical Report 73-2002, LaMI, Germany, 2002. Presented atWADT’2002.

3. M. Allemand, C. Attiogbé, P. Poizat, J.-C. Royer, and G. Salaün. SHE’S Project: a Report of Joint Works on the Integration of Formal Specification Techniques. In Proc. of the Workshop on Integration of Specification Techniques with Applications in Engineering (INT’02), pages 29–36, France, 2002.

4. E. Astesiano, M. Bidoit, H. Kirchner, B. Krieg-Brückner, P.D. Mosses, D. Sannella, and A. Tarlecki. CASL: The Common Algebraic Specification Language. Theoretical Computer Science, 286(2):153–196, 2002.

5. Lect Notes Comput Sci;E. Astesiano,2000

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

1. Consistency in UML and B Multi-view Specifications;Lecture Notes in Computer Science;2005

2. A Java Implementation of a Component Model with Explicit Symbolic Protocols;Software Composition;2005

3. Checking Asynchronously Communicating Components Using Symbolic Transition Systems;On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE;2004

4. Integration of Formal Datatypes within State Diagrams;Fundamental Approaches to Software Engineering;2003