Realizing Feature Oriented Software Development with Equational Logic: An Exploratory Study.
Roberto E. Lopez-HerrejonJosé Eduardo RiveraPublished in: JISBD (2009)
Keyphrases
- software development
- software engineering
- software systems
- logic programming
- software projects
- theorem proving
- software maintenance
- software design
- feature selection
- pair programming
- development process
- automated reasoning
- software components
- software industry
- equational theories
- predicate logic
- cost estimation
- model driven architecture
- lattice theory
- classical logic
- horn clauses
- software testing
- theorem prover
- modal logic
- software architecture
- feature set
- feature extraction