An introduction ASL

Authors:
E. Astesiano;M. Wirsing
Affiliations:
-;-
Venue:
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Year:
1987

Citing 0
Cited 3

Constructing specification morphisms

Journal of Symbolic Computation - Special issue on automatic programming
Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal specification: a roadmap

Proceedings of the Conference on The Future of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract