Keyphrases
- formal methods
- revised selected papers
- computer science
- lecture notes
- artificial intelligence
- software engineering
- lecture notes in artificial intelligence
- evolutionary algorithm
- knowledge based systems
- enterprise architecture
- machine learning for multimodal interaction
- safety critical
- formal analysis
- machine learning
- international conference
- researchers and practitioners
- international symposium
- computational intelligence
- international workshop
- intelligent systems
- model checking
- knowledge representation
- development process
- formal specification
- knowledge acquisition
- software development
- expert systems
- data mining
- process algebra
- selected papers
- programming language
- fuzzy logic
- object oriented
- knowledge discovery and data mining
- security properties
- web services
- genetic algorithm
- software systems
- formal specification language