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

J. Flokstra; M. van Keulen; J. Skowronek

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

J. Flokstra
, M. van Keulen
, J. Skowronek

Databases (Former)

Research output: Contribution to conference › Paper › peer-review

118 Downloads (Pure)

Abstract

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 language	English
Number of pages	4
Publication status	Published - Jul 1994
Event	8th European Conference on Object-Oriented Programming, ECOOP 1994 - Bologna, Italy Duration: 4 Jul 1994 → 8 Jul 1994 Conference number: 8

Conference

Conference	8th European Conference on Object-Oriented Programming, ECOOP 1994
Abbreviated title	ECOOP
Country/Territory	Italy
City	Bologna
Period	4/07/94 → 8/07/94

Keywords

DB-OODB: OBJECT-ORIENTED DATABASES

Access to Document

ArticleFinal published version, 38.3 KB

Cite this

@conference{dd434026b6a74f0f9e4c28d5d9d9810d,

title = "IMPRESS Database Design Tool - a high-level design toolset based on formal theory",

abstract = "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{\textquoteright}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.",

keywords = "DB-OODB: OBJECT-ORIENTED DATABASES",

author = "J. Flokstra and \{van Keulen\}, M. and J. Skowronek",

year = "1994",

month = jul,

language = "English",

note = "8th European Conference on Object-Oriented Programming, ECOOP 1994, ECOOP ; Conference date: 04-07-1994 Through 08-07-1994",

}

TY - CONF

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

AU - Flokstra, J.

AU - van Keulen, M.

AU - Skowronek, J.

N1 - Conference code: 8

PY - 1994/7

Y1 - 1994/7

N2 - 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.

AB - 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.

KW - DB-OODB: OBJECT-ORIENTED DATABASES

M3 - Paper

T2 - 8th European Conference on Object-Oriented Programming, ECOOP 1994

Y2 - 4 July 1994 through 8 July 1994

ER -

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

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this