Formal Software Development in MAYA.
Dieter HutterSerge AutexierPublished in: Mechanizing Mathematical Reasoning (2005)
Keyphrases
- software development
- case study
- software engineering
- software projects
- software systems
- cost estimation
- development process
- software developers
- software architecture
- open source software
- software testing
- data sets
- effort estimation
- systems development
- software design
- software development effort
- design concepts
- software cost estimation
- databases
- formal model
- mathematical theory
- software evolution
- formal specification
- software development environment
- development lifecycle
- machine learning