Parameterized Interfaces for Open System Verification of Product Lines.
Colin BlundellKathi FislerShriram KrishnamurthiPascal Van HentenryckPublished in: ASE (2004)
Keyphrases
- product lines
- product line
- software product line
- software systems
- model checking
- software development
- user interface
- management practices
- database
- face verification
- interface design
- signature verification
- formal verification
- real world
- software engineering
- multi agent systems
- life cycle
- database systems
- machine learning