Refinement and Development of Programs from Relational Specifications.
Wolfram KahlPublished in: Electron. Notes Theor. Comput. Sci. (2001)
Keyphrases
- relational databases
- design principles
- case study
- software engineering
- decision support
- information processing
- knowledge based systems
- recursive programs
- programming environments
- relational data
- design process
- information systems
- databases
- data model
- high level
- e learning
- computer programs
- development environment
- control flow
- information retrieval