IMPRESS Database Design Tool - a high-level design toolset based on formal theory

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

43 Downloads (Pure)


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.
Original languageUndefined
Title of host publicationProceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994)
EditorsM. Tokoro, R. Pareschi
PublisherDemo-papers not included in on-line proceedings
Number of pages4
ISBN (Print)not assigned
Publication statusPublished - Jul 1994
EventEuropean Conference on Object-Oriented Programming, ECOOP 1994 - Bologna, Italy
Duration: 4 Jul 19948 Jul 1994
Conference number: 8


ConferenceEuropean Conference on Object-Oriented Programming, ECOOP 1994
Abbreviated titleECOOP


  • EWI-7237

Cite this