How to make algebraic specifications more understandable?-Reference-Cited by-同舟云学术

How to make algebraic specifications more understandable?

Published:1989 Issue: Volume: Page:31-67
ISSN:0302-9743
Container-title:Algebraic Methods: Theory, Tools and Applications
language:
Short-container-title:

Author:

Bidoit M.,Gaudel M.-C.,Mauboussin A.

Publisher

Springer Berlin Heidelberg

Link

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

Reference28 articles.

1. J. Goguen, J. Thatcher and E. Wagner, "An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types", Current Trends in Programming Methodology, Vol.4, Yeh Ed., Prentice Hall, 1978.

2. E. Astesiano and M. Wirsing, "An Introduction to ASL", Proceedings of the IFIP WG 2.1 Working Conference on Program Specifications and Transformations, Bad Toelz, FRG, 1986.

3. G. Bernot, M. Bidoit and C. Choppy, "Abstract Dat Types with Exception Handling: An Initial Approach Based on a Distinction between Exceptions and Errors" Theoretical Computer Science, Vol. 46, No. 1, pp.13–45, 1986.

4. M. Bidoit, B. Biebow, M-C. Gaudel, C. Gresse and G. Guiho, "Exception Handling: Formal Specification and Systematic Program Construction", Proceedings of the 7th International Conference on Software Engineering, Orlando, March 1984.

5. M. Bidoit and C. Choppy, "The ALEX-PLUSS Specification Language", ESPRIT Project "FOR-ME-TOO" Report, January 1986.

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

1. Improving the Understandability of Formal Specifications: An Experience Report;Requirements Engineering: Foundation for Software Quality;2014

2. Formalizing a hierarchical file system;Formal Aspects of Computing;2012-01

3. Specification of the Unix file system: A comparative case study;Algebraic Methodology and Software Technology;1995