Case Studies in Using a Meta-Method for Formal Method Integration

Authors:
Richard F. Paige
Affiliations:
-
Venue:
AMAST '97 Proceedings of the 6th International Conference on Algebraic Methodology and Software Technology
Year:
1997

Citing 0
Cited 3

Formal interpreters for diagram notations

ACM Transactions on Software Engineering and Methodology (TOSEM)
Towards a specific software development process for high integrity systems

ACM SIGSOFT Software Engineering Notes
On the integration of formal methods: events and Scenarios in PVS and VDM

IW-FM'99 Proceedings of the 3rd Irish conference on Formal Methods

Quantified Score

Hi-index	0.00

Visualization

Abstract