Keyphrases
- formal verification
- object oriented software
- revised selected papers
- international conference
- lecture notes
- machine learning for multimodal interaction
- computer science
- data flow
- object oriented
- design patterns
- model checking
- software architecture
- carefully reviewed and selected from submissions
- software development
- lecture notes in artificial intelligence
- international workshop
- regression testing
- selected papers
- computational intelligence
- ifip wg
- computational molecular biology
- computer and information science
- international symposium
- case study
- artificial intelligence
- relational databases
- software engineering
- koli calling
- neural network
- data model
- data mining
- test suite
- software systems