Computer Aided Software Engineering (CASE) Based on Transformation with Object-Oriented Logic (TOOL).
Jin W. ChangPublished in: ACM Conference on Computer Science (1992)
Keyphrases
- computer aided software engineering
- object oriented
- case based reasoning
- programming language
- relational databases
- database applications
- database schema
- object oriented databases
- modal logic
- software tools
- predicate logic
- database
- temporal logic
- logic programming
- expert systems
- high level
- conceptual models
- data mining