Exception Handling: Formal Specification and Systematic Program Construction Extended Abstract-Reference-Cited by-同舟云学术

Exception Handling: Formal Specification and Systematic Program Construction Extended Abstract

Published:1984 Issue: Volume: Page:251-261
ISSN:
Container-title:Program Transformation and Programming Environments
language:
Short-container-title:

Author:

Bidoit M.,Biebow B.,Gaudel M. C.,Gresse C.,Guiho G.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-46490-4_22.pdf

Reference23 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.

2. Bauer F.L., “From Specifications to Machine Codes Program Construction through Formal Reasoning” 6th. International Conference on Software Engineering, Tokyo, Sept. 1982.

3. Burstall R., Goguen J., “The semantics of CLEAR, A Specification Language” in Abstract Software Specifications, D. Bjorner Ed., LNCS 86, Springer Verlag, 1979.

4. Boisson F., Guiho G., Pavot D., “Algebres a Operateurs Multicibles” Rapport LRI 132, Orsay, June 1983.

5. BRD 83] Broy M. “Algebraic Methods for Program Construction: The Project CIP”, in this volume.

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

1. Testing in the program development cycle;Software Engineering Journal;1989

2. How to make algebraic specifications more understandable?;Algebraic Methods: Theory, Tools and Applications;1989

3. Algebraic specification of synchronisation and errors: A telephonic example;Formal Methods and Software Development;1985

4. ASSPEGIQUE: An integrated environment for algebraic specifications;Formal Methods and Software Development;1985