Keyphrases
- formal methods
- metamodel
- database design
- conceptual modeling
- object oriented
- software development
- class diagrams
- software systems
- software architecture
- unified modeling language
- uml class diagrams
- uml models
- sequence diagrams
- modeling language
- artificial intelligence
- specification language
- state machine
- class diagram
- uml profile
- neural network
- uml activity diagrams
- expert systems
- knowledge base
- learning algorithm
- information retrieval