Keyphrases
- formal semantics
- object oriented systems
- object oriented
- software maintenance
- object oriented design
- source code
- test case generation
- software systems
- software engineering
- logical language
- formal language
- er model
- logical reasoning
- modeling language
- operational semantics
- speech acts
- expert systems
- modelling language
- theorem prover
- ontology languages
- epistemic logic
- information systems
- database
- semantic web
- reverse engineering
- database design