Keyphrases
- formal methods
- intelligent agent technology
- software engineering
- web intelligence
- formal analysis
- security systems
- artificial intelligence
- model checker
- safety critical
- formal specification
- knowledge based systems
- model checking
- software systems
- development process
- information processing
- process algebra
- development lifecycle
- reverse engineering
- object oriented
- information systems
- databases
- web search and data mining
- image and video retrieval
- security properties
- multimedia retrieval
- software development
- computer science
- case study
- data mining