ASSPEGIQUE: An integrated environment for algebraic specifications-Reference-Cited by-同舟云学术

ASSPEGIQUE: An integrated environment for algebraic specifications

Published:1985 Issue: Volume: Page:246-260
ISSN:0302-9743
Container-title:Formal Methods and Software Development
language:
Short-container-title:

Author:

Bidoit Michel,Choppy Christine

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-15199-0_16.pdf

Reference29 articles.

1. Goguen J., Thatcher J., Wagner E., "An Initial Algebra approach to the specification, correctness, and implementation of abstract data types" in Current Trends in Programming Methodology, Vol.4, Yeh Ed. Prentice Hall, 1978 (also IBM Report RC 6487, October 1976).

2. Gerhart S.L., "AFFIRM Reference Manual", UCS-Report (Marina del Rey), 1981.

3. Amar P., "Winnie: un éditeur de textes multifenêtres extensible", Actes des Journées BIGRE (Le Cap d'Agde), 1983.

4. Bidoit M., Biebow B., Gaudel M.-C., Gresse C., Guiho G., "Exception handling: formal specification and systematic program specification", Proc. 7th I.C.S.E., Orlando, USA, 1984.

5. Beaudouin-Lafon M., "Petripote: a graphic system for Petri-Nets design and simulation" Proc. of 4th European Workshop on Applications and Theory of Petri Nets, Toulouse, France, 1983.

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

1. Development of Parsing Tools for CASL Using Generic Language Technology;Recent Trends in Algebraic Development Techniques;2000

2. ASF+SDF parsing tools applied to ELAN;Electronic Notes in Theoretical Computer Science;2000

3. Tools for solving problems in the scope of algebraic programming;Integrating Symbolic Mathematical Computation and Artificial Intelligence;1995

4. Graphical Support for Prototyping of Algebraic Specifications;Innovationen bei Rechen- und Kommunikationssystemen;1994

5. An Object-Oriented Design for the ACT ONE Environment;Algebraic Methodology and Software Technology (AMAST’93);1994