UML Models Engineering from Static and Dynamic Aspects of Formal Specifications.
Akram IdaniPublished in: BMMDS/EMMSAD (2009)
Keyphrases
- formal specification
- uml models
- object oriented design
- specification languages
- object oriented
- model checking
- specification language
- concurrent systems
- reverse engineering
- software engineering
- sequence diagrams
- formal methods
- semantic data models
- protocol specification
- test cases
- object oriented systems
- artificial intelligence
- software components
- knowledge base