Keyphrases
- class diagrams
- sequence diagrams
- uml class diagrams
- conceptual modeling
- object oriented
- class diagram
- uml models
- reverse engineering
- formal methods
- object oriented systems
- activity diagrams
- petri net
- knowledge representation
- formal model
- regression testing
- software engineering
- databases
- conceptual models
- logical framework
- intermediate representation
- dependency graph
- artificial intelligence
- case study
- unified modeling language
- description logics
- software development
- software systems
- modeling language
- database design