Design Verification for Product Line Development.
Tomoji KishiNatsuko NodaTakuya KatayamaPublished in: SPLC (2005)
Keyphrases
- product line
- software product line
- software engineering
- software architecture
- software development
- product lines
- design process
- rapid prototyping
- information system development
- architectural design
- software design
- design tools
- high level
- paradigm shift
- formal verification
- database
- design principles
- functional verification