Enhancing Configuration Facilities in Software Development: A Logic Approach.
Patrizia AsirelliPaola InverardiPublished in: ESEC (1987)
Keyphrases
- software development
- software engineering
- cost estimation
- software developers
- logic programming
- software systems
- software projects
- case study
- software architecture
- development process
- software testing
- proof theory
- classical logic
- software components
- modal logic
- software development projects
- automated reasoning
- software design
- multi valued
- requirements engineering
- project managers
- computational properties
- software reuse
- artificial intelligence
- optimal configuration
- model driven architecture
- development methodologies
- agile software development