Design Verification Tool for Product Line Development.
Natsuko NodaTomoji KishiPublished in: SPLC (2) (2007)
Keyphrases
- product line
- software product line
- product lines
- software architecture
- design tools
- case study
- knowledge based systems
- design principles
- software engineering
- software development
- design process
- architectural design
- support systems
- formal methods
- design decisions
- machine learning
- formative evaluation
- functional verification
- future development
- model checking
- error rate
- building blocks
- open source
- data model
- artificial intelligence