HATS - A Formal Software Product Line Engineering Methodology.
Dave ClarkeNikolay DiakovReiner HähnleEinar Broch JohnsenGermán PueblaBalthasar WeitzelPeter Y. H. WongPublished in: SPLC Workshops (2010)
Keyphrases
- product line
- product line engineering
- software architecture
- software engineering
- formal methods
- software systems
- software development
- computer systems
- databases
- software components
- software maintenance
- software tools
- formal model
- source code
- software product line
- development process
- user interface
- requirements specification
- software development life cycle
- artificial intelligence