Keyphrases
- software systems
- uml activity diagrams
- uml diagrams
- class diagram
- class diagrams
- uml class diagrams
- programming language
- software components
- constraint language
- general purpose
- software design
- formal methods
- object oriented
- unified modeling language
- software development
- databases
- modeling language
- source code
- software engineering
- hidden markov models
- relational databases