Towards an Evolutionary Formal Software Development.
Dieter HutterAxel SchairerPublished in: ASE (2001)
Keyphrases
- software development
- software engineering
- software developers
- open source software
- formal model
- case study
- software testing
- software components
- formal methods
- systems development
- software architecture
- software systems
- development process
- development effort
- software reuse
- effort estimation
- formal representation
- decision making
- development methodologies
- pair programming
- early phase
- cost estimation
- agile software development
- real time
- development lifecycle
- requirements engineering
- software quality
- formal specification
- software projects
- open source
- information systems
- genetic algorithm
- neural network