Use of E-LOTOS in Adding Formality to UML.
Robert G. ClarkAna M. D. MoreiraPublished in: J. Univers. Comput. Sci. (2000)
Keyphrases
- metamodel
- object oriented
- database design
- uml models
- formal specification
- software systems
- conceptual modeling
- modeling language
- software development
- software engineering
- software architecture
- formal methods
- unified modeling language
- class diagrams
- uml diagrams
- life cycle
- search engine
- data sets
- state machine
- database