Using Algebraic Specification Techniques in Development of Object-Oriented Frameworks.
Shin NakajimaPublished in: World Congress on Formal Methods (1999)
Keyphrases
- object oriented
- knowledge based systems
- office information systems
- relational databases
- rapid development
- high level
- software engineering
- development process
- conceptual models
- data sets
- case study
- data model
- information systems
- artificial intelligence
- database design
- object oriented databases
- development environment
- conceptual modeling
- code generation