Keyphrases
- lecture notes
- computer science
- lecture notes in artificial intelligence
- software components
- international symposium
- international workshop
- advances in artificial intelligence
- international conference
- formal methods
- requirements specification
- software systems
- computer systems
- augmented reality
- formal specification
- software tools
- event detection
- virtual reality
- source code
- selected papers
- conference on artificial intelligence
- machine learning
- pacific rim
- virtual environment
- software development
- case study
- news stories
- software maintenance
- knowledge discovery and data mining
- software architecture
- test cases
- virtual world
- virtual teams
- high level
- aspect oriented programming
- information systems