Formal software development in the Verification Support Environment (VSE).
Dieter HutterBruno LangensteinGeorg RockJörg H. SiekmannWerner StephanRoland VogtPublished in: J. Exp. Theor. Artif. Intell. (2000)
Keyphrases
- support environment
- software development
- formal methods
- software engineering
- software systems
- formal analysis
- development lifecycle
- model checking
- grid technology
- case study
- development process
- software architecture
- software projects
- software developers
- software design
- software maintenance
- software components
- requirements engineering
- effort estimation
- formal model
- verification method
- knowledge management
- formal specification
- software evolution
- formal verification
- software industry
- cost estimation
- pair programming
- software development effort