VSE: Controlling the Complexity in Formal Software Developments.
Dieter HutterHeiko MantelGeorg RockWerner StephanAndreas WolpersMichael BalserWolfgang ReifGerhard SchellhornKurt StenzelPublished in: FM-Trends (1998)
Keyphrases
- software development
- formal methods
- computational complexity
- software tools
- software systems
- analysis tool
- software maintenance
- design patterns
- software architecture
- hardware design
- requirements specification
- software packages
- reactive systems
- software quality
- software design
- formal specification
- personal computer
- software developers
- data sets
- formal model
- test cases
- source code
- worst case
- software engineering
- user interface
- information systems