Unintrusive Ways to Integrate Formal Specifications in Practice

Authors:
Jeannette M. Wing;Amy Moormann Zaremski
Affiliations:
-;-
Venue:
VDM '91 Proceedings of the 4th International Symposium of VDM Europe on Formal Software Development-Volume I: Conference Contributions - Volume I
Year:
1991

Toward formalizing structured analysis

ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal semantics for SA style data flow diagram specification languages

Proceedings of the 1999 ACM symposium on Applied computing
A Formal Definition of Stuctured Analysis with Programmable Graph Grammars

AGTIVE '99 Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance
Formal interpreters for diagram notations

ACM Transactions on Software Engineering and Methodology (TOSEM)

Hi-index	0.00