Product feasibility verification in software product line.
Omar Cristian MartinezSilvio GonnetHoracio Pascual LeoneNicolás E. Díaz FerreyraPublished in: CLEI (2012)
Keyphrases
- software product line
- product line
- life cycle
- product lines
- software engineering
- goal driven
- future directions
- software development
- asynchronous circuits
- model checking
- machine learning
- quality attributes
- formal verification
- aspect oriented
- lessons learned
- test suite
- product design
- face verification
- product information
- signature verification
- product development
- database
- open source
- query language
- database systems
- real time