Fiona Polack
-
An approach to integrating semi-formal and formal notations in software specification
Proceedings of the 2002 ACM symposium on Applied computing
CASE support for methods integration: implementation of a translation from a structured to a formal notation
Methods'96 Proceedings of the 1996 international conference on Methods Integration