Structuring and Modularizing Algebraic Specifications: The PLUSS Specification Language, Evolutions and Perspectives

Authors:
Marie-Claude Gaudel
Affiliations:
-
Venue:
STACS '92 Proceedings of the 9th Annual Symposium on Theoretical Aspects of Computer Science
Year:
1992

Formal refinement patterns for goal-driven requirements elaboration

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering
Formal specification techniques (extended abstract)

ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal specification: a roadmap

Proceedings of the Conference on The Future of Software Engineering
Algebraic Imperative Specifications

PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics

Hi-index	0.00