Formal specification of graphical notations and graphical software tools
Proc. of the 1st European Software Engineering Conference on ESEC '87
Software engineering mathematics
Software engineering mathematics
CAiSE '90 Proceedings of the second Nordic conference on Advanced information systems engineering
Proceedings of the European symposium on Software development environments and CASE technology
MetaEdit: a flexible graphical environment for methodology modelling
CAiSE '91 Proceedings of the third international conference on Advanced information systems engineering
ECLIPSE an integrated project support environment
ECLIPSE an integrated project support environment
Object-oriented modeling and design
Object-oriented modeling and design
Flexible method adaptation in CASE: the metamodeling approach
Scandinavian Journal of Information Systems
UML distilled: applying the standard object modeling language
UML distilled: applying the standard object modeling language
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Graph Grammar Engineering with PROGRES
Proceedings of the 5th European Software Engineering Conference
MetaEdit+: A Fully Configurable Multi-User and Multi-Tool CASE and CAME Environment
CAiSE ;96 Proceedings of the 8th International Conference on Advances Information System Engineering
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
Graph Grammars which are Suitable for Applications
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Proceedings of the 4th International Workshop on Graph-Grammars and Their Application to Computer Science
Modeling Requirements for Future CASE: Modeling Issues and Architectural Consideration
Information Resources Management Journal
| Hi-index | 0.00 |
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.