Formal Analysis of UML-Based Designs.
Boumediene BelkhoucheAnastasia NixPublished in: Software Engineering Research and Practice (2004)
Keyphrases
- formal analysis
- formal methods
- software systems
- metamodel
- software engineering
- formal specification
- agent model
- database design
- conceptual modeling
- artificial intelligence
- object oriented modeling
- class diagrams
- unified modeling language
- state machine
- sequence diagrams
- modeling language
- software architecture
- model checking
- object oriented
- ban logic
- conceptual models
- specification language
- tool support
- software development
- database
- uml models
- uml profile