Keyphrases
- lecture notes
- international workshop
- computer science
- lecture notes in artificial intelligence
- software components
- advances in artificial intelligence
- international conference
- international symposium
- virtual environment
- software development
- formal methods
- software systems
- event detection
- book constitutes the refereed proceedings
- software design
- software maintenance
- formal model
- artificial intelligence
- virtual reality
- test cases
- virtual world
- software engineering
- dynamic aspects
- working conference
- formal specification
- source code
- computer systems
- requirements specification
- conference on artificial intelligence
- centre for advanced studies
- knowledge discovery and data mining
- software tools
- facial expression recognition
- software architecture
- augmented reality