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

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

11 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 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
DOIs
Publication statusPublished - Jul 1994
EventEuropean Conference on Object-Oriented Programming, ECOOP 1994 - Bologna, Italy
Duration: 4 Jul 19948 Jul 1994
Conference number: 8

Conference

ConferenceEuropean Conference on Object-Oriented Programming, ECOOP 1994
Abbreviated titleECOOP
CountryItaly
CityBologna
Period4/07/948/07/94

Keywords

  • EWI-7237
  • DB-OODB: OBJECT-ORIENTED DATABASES

Cite this

Flokstra, J., van Keulen, M., & Skowronek, J. (1994). IMPRESS Database Design Tool - a high-level design toolset based on formal theory. In M. Tokoro, & R. Pareschi (Eds.), Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994) Demo-papers not included in on-line proceedings. https://doi.org/10.1007/BFb0052172
Flokstra, Jan ; van Keulen, Maurice ; Skowronek, J. / IMPRESS Database Design Tool - a high-level design toolset based on formal theory. Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994). editor / M. Tokoro ; R. Pareschi. Demo-papers not included in on-line proceedings, 1994.
@inproceedings{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’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 = "EWI-7237, DB-OODB: OBJECT-ORIENTED DATABASES",
author = "Jan Flokstra and {van Keulen}, Maurice and J. Skowronek",
note = "Imported from EWI/DB PMS [db-utwente:inpr:0000003275], demo paper",
year = "1994",
month = "7",
doi = "10.1007/BFb0052172",
language = "Undefined",
isbn = "not assigned",
editor = "M. Tokoro and R. Pareschi",
booktitle = "Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994)",
publisher = "Demo-papers not included in on-line proceedings",

}

Flokstra, J, van Keulen, M & Skowronek, J 1994, IMPRESS Database Design Tool - a high-level design toolset based on formal theory. in M Tokoro & R Pareschi (eds), Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994). Demo-papers not included in on-line proceedings, European Conference on Object-Oriented Programming, ECOOP 1994, Bologna, Italy, 4/07/94. https://doi.org/10.1007/BFb0052172

IMPRESS Database Design Tool - a high-level design toolset based on formal theory. / Flokstra, Jan; van Keulen, Maurice; Skowronek, J.

Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994). ed. / M. Tokoro; R. Pareschi. Demo-papers not included in on-line proceedings, 1994.

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

TY - GEN

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

AU - Flokstra, Jan

AU - van Keulen, Maurice

AU - Skowronek, J.

N1 - Imported from EWI/DB PMS [db-utwente:inpr:0000003275], demo paper

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 - EWI-7237

KW - DB-OODB: OBJECT-ORIENTED DATABASES

U2 - 10.1007/BFb0052172

DO - 10.1007/BFb0052172

M3 - Conference contribution

SN - not assigned

BT - Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994)

A2 - Tokoro, M.

A2 - Pareschi, R.

PB - Demo-papers not included in on-line proceedings

ER -

Flokstra J, van Keulen M, Skowronek J. IMPRESS Database Design Tool - a high-level design toolset based on formal theory. In Tokoro M, Pareschi R, editors, Proceedings of the 8th European Conference on Object-Oriented Programming (ECOOP 1994). Demo-papers not included in on-line proceedings. 1994 https://doi.org/10.1007/BFb0052172