Transformation and Verification of Executable UML Models.
Günter GrawPeter HerrmannPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- uml models
- object oriented
- test cases
- sequence diagrams
- model checking
- written in natural language
- signature verification
- formal specification
- artificial intelligence
- general purpose
- formal methods
- software engineering
- formal verification
- test generation
- query language
- asynchronous circuits
- data model
- feature vectors