Formal Software Development in the Verification Support Environment (VSE).
Dieter HutterGeorg RockJörg H. SiekmannWerner StephanRoland VogtPublished in: FLAIRS Conference (2000)
Keyphrases
- support environment
- software development
- formal methods
- software engineering
- formal analysis
- model checking
- grid technology
- software developers
- software systems
- case study
- software projects
- software architecture
- development lifecycle
- formal model
- formal specification
- software design
- formal verification
- software testing
- software reuse
- software components
- software evolution
- signature verification
- information systems
- software industry
- cost estimation
- effort estimation
- scheduling algorithm
- agile software development
- information technology
- software development effort