Keyphrases
- lecture notes
- software packages
- international workshop
- software tools
- analysis tool
- commercial software
- computer systems
- mathematical models
- lecture notes in artificial intelligence
- software developers
- computational tools
- international conference
- learning algorithm
- book constitutes the refereed proceedings
- software implementation
- hardware platforms
- formal methods
- computer science
- software development
- distributed systems
- data mining tools
- software systems
- legacy systems
- summer school
- data analysis
- embedded systems
- software components
- building blocks
- technical issues
- graphical user interfaces
- software suite