Techniques for Executing and Reasoning about Specification Diagrams.
Prasanna ThatiCarolyn L. TalcottGul AghaPublished in: AMAST (2004)
Keyphrases
- uml diagrams
- high level
- qualitative simulation
- specification language
- formal specification
- qualitative reasoning
- class diagrams
- genetic algorithm
- sequence diagrams
- formal theory
- conceptual model
- learning algorithm
- software design
- formal verification
- software systems
- case study
- decision making
- reactive systems
- constraint language
- information systems