Towards an Evolutionary Formal Software-Development Using CASL.
Serge AutexierDieter HutterHeiko MantelAxel SchairerPublished in: WADT (1999)
Keyphrases
- software development
- software engineering
- software systems
- case study
- software design
- software developers
- development process
- software projects
- open source software
- software development effort
- cost estimation
- software components
- software testing
- information systems
- databases
- model checking
- information technology
- natural language
- formal specification
- learning environment
- software quality
- software industry
- effort estimation
- model driven architecture
- software cost estimation