Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

7237 IMPRESS Database Design Tool - a high-level design toolset based on formal theory
Home Policy Brochure Browse Search User Area Contact Help

Flokstra, Jan and van Keulen, M. and Skowronek, J. (1994) IMPRESS Database Design Tool - a high-level design toolset based on formal theory. In: Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994), 4-8 Jul 1994, Bologna, Italy. Demo-papers not included in on-line proceedings. ISBN not assigned

Full text available as:


39 Kb

Official URL:


This document presents the Database Design Tool prototype, developed at the University of Twente. The Tool is used to specify databases in a graphical way, and is based on a formal specification language TM (described in ECOOP’93 article [2]). TM and the Database Design Tool support object-oriented concepts such as classes, object, methods and inheritance. The main point we want to state is that software engineering based on a sound formal basis does not have to sacrifice ease-of -use and flexibility; we state that, on the contrary, it is this formal basis which proves to be beneficial and profitable for the user - enabling faster and error-free software development.

Item Type:Conference or Workshop Paper (Extended Abstract, Other)
Research Group:EWI-DB: Databases
Research Project:IMPRESS: Integrated, Multi-Paradigm, Reliable and Extensible Storage System
Additional Information:Imported from EWI/DB PMS [db-utwente:inpr:0000003275], demo paper
ID Code:7237
Deposited On:20 April 2017
More Information:statistics

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item