BCS is a registered charity: No 292786
3rd Irish Workshop on Formal Methods
Galway, Ireland. 1st - 2nd July 1999
A new approach to the formal specification of software design methods, such as ER or State Transition Diagrams, is presented.
A formal language based on semantic constraints is used to specify those methods. An example using the UML's Activity Diagrams is given which illustrates the proposed approach.
The aim of this work is to provide a bridge across the gap between the formal methods and the less formal ones used in software design.