Keyphrases
- international conference
- formal methods
- software engineering
- computational intelligence
- computational molecular biology
- ifip wg
- web information systems and mining
- model checking
- artificial intelligence
- formal specification
- knowledge based systems
- international workshop
- web intelligence
- software systems
- reverse engineering
- software development
- genetic algorithm
- development process
- data mining
- object oriented
- database systems
- web services