Formal Specifications of Software Design Methods
José Artur Ferreira da Silva e Vale Serrano · Electronic workshops in computing · 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.