Keyphrases
- formal verification
- object oriented software
- revised selected papers
- international conference
- machine learning for multimodal interaction
- data flow
- carefully reviewed and selected from submissions
- lecture notes in artificial intelligence
- design patterns
- object oriented
- software architecture
- model checking
- international workshop
- computational molecular biology
- software development
- computational intelligence
- lecture notes
- regression testing
- computer and information science
- koli calling
- software engineering
- computer science
- databases
- intelligent systems
- user interface
- united kingdom
- expert systems
- acm sigmod
- case study
- artificial intelligence