Automatic Validation and Verification in a Model-Based Development Process.
Udo BrockmeyerWerner DammHardi HungarBernhard JoskoPublished in: MBEES (2005)
Keyphrases
- development process
- software engineering
- case study
- development environment
- application development
- metamodel
- software development
- systems development
- functional requirements
- software application
- software projects
- agent oriented
- development processes
- model checking
- semi automatic
- software quality
- e learning
- design rationale
- database
- design process
- open source
- database systems
- game development
- artificial intelligence