Developing the UML as a Formal Modelling Notation.
Andy EvansRobert B. FranceKevin LanoBernhard RumpePublished in: CoRR (2014)
Keyphrases
- modeling language
- formal methods
- uml profile
- visual languages
- class diagram
- requirements specification
- database design
- metamodel
- software systems
- class diagrams
- conceptual modeling
- specification language
- formal specification
- model driven engineering
- state machine
- data sets
- formal model
- model checking
- software engineering
- object oriented
- neural network