Keyphrases
- agent oriented
- class diagrams
- conceptual modeling
- formal methods
- reactive systems
- virtual organization
- model checker
- decision trees
- decision making
- uml class diagrams
- sequence diagrams
- binary decision diagrams
- test generation
- formal verification
- high level
- information retrieval
- boolean functions
- intelligent agents
- information technology
- multi agent systems