Towards Correct Object-Oriented Design Frameworks in Computational Logic.
Kung-Kiu LauMario OrnaghiPublished in: LOPSTR (2002)
Keyphrases
- object oriented design
- computational logic
- logic programming
- formal specification
- software design
- object oriented systems
- object oriented
- management science
- multi agent systems
- early days
- inductive logic programming
- databases
- prior knowledge
- future directions
- logic programs
- business processes
- software engineering
- query language
- high level
- domain knowledge
- information systems