The UML as a Formal Modeling Notation.
Andy EvansRobert B. FranceKevin LanoBernhard RumpePublished in: CoRR (2014)
Keyphrases
- modeling language
- unified modeling language
- formal methods
- sequence diagrams
- business process modeling
- object oriented
- uml profile
- class diagrams
- visual languages
- class diagram
- model driven engineering
- software systems
- formal model
- metamodel
- databases
- requirements specification
- formal models
- dynamic aspects
- source code
- relational databases
- genetic algorithm