Keyphrases
- international conference
- formal methods
- software engineering
- computational intelligence
- computational molecular biology
- ifip wg
- artificial intelligence
- web information systems and mining
- web intelligence
- computer and information science
- formal specification
- databases
- lecture notes
- knowledge based systems
- knowledge discovery
- koli calling
- development lifecycle
- genetic algorithm