Formalizing UML. Why? How?
Ana MoreiraLuis Filipe AndradeAkash DeshpandeStuart KentPublished in: OOPSLA Addendum (1998)
Keyphrases
- metamodel
- modeling language
- sequence diagrams
- conceptual modeling
- uml models
- software engineering
- database design
- software systems
- object oriented modeling
- object oriented
- uml profile
- class diagrams
- software development
- unified modeling language
- specification language
- formal methods
- uml activity diagrams
- object oriented analysis and design
- model driven engineering
- activity diagrams
- uml class diagrams
- conceptual models
- artificial intelligence
- uml diagrams
- class diagram
- model driven
- data model
- high level
- state machine
- regression testing
- life cycle
- learning algorithm
- neural network
- real time