A Formal Approach to Verify Mapping Relation in a Software Product Line.
Tonny Kurniadi SatyanandaDanhyung LeeSungwon KangPublished in: CIT (2007)
Keyphrases
- software product line
- product line
- software engineering
- life cycle
- future directions
- goal driven
- software development
- product lines
- formal model
- aspect oriented programming
- formal methods
- mathematical theory
- data sets
- formal models
- equivalence relation
- formal language
- real time
- software systems
- open source
- aspect oriented
- information retrieval