Towards Cost-Effective High-Assurance Software Product Lines: The Need for Property-Preserving Transformations.
Stuart HutchessonJohn Alexander McDermidPublished in: SPLC (2011)
Keyphrases
- cost effective
- preserving transformations
- software product line
- high assurance
- shape analysis
- software engineering
- differential geometry
- low cost
- software systems
- future directions
- fault tolerant
- access control
- operating system
- life cycle
- cost effectiveness
- learning methodologies
- distributed systems
- conjunctive queries
- adult literacy
- software development
- lessons learned
- closed curves
- real time
- special case
- user interface
- image processing