A Formal Approach to Software Product Families.
Martin LeuckerDaniel ThomaPublished in: ISoLA (1) (2012)
Keyphrases
- software systems
- software development
- formal methods
- formal specification
- formal model
- user interface
- software tools
- requirements specification
- test cases
- software architecture
- information systems
- software design
- requirements engineering
- computer software
- development process
- formal language
- software quality
- modeling language
- software projects
- databases
- computer systems
- control system
- data structure
- website
- search engine