Objektorientierte Spezifikation von Informationssystemen (German, Paperback, 1993 ed.)

Thema des vorliegenden Buches ist die formale Beschreibung von Informationssy- stemen mit objektorientierten Methoden. Als Informationssysteme charakterisieren wir aIle komplexen Software-Systeme, die eine dauerhafte Datenhaltung in einer Da- tenbank und interaktiven Zugang zu den gespeicherten Informationen unterstiitzen. Diese Charakterisierung umfaBt somit den gr6fiten Teil der aktuell praktisch einge- setzten und im Entwurf befindlichen rechnergestiitzten Anwendungen, und die Be- deutung auch formal abgesicherter Entwurfsmethoden wird fiir derartige Systeme in Zukunft noch zunehmen. Wahrend formale Beschreibungsmethoden im Bereich der klassischen Programm- spezifikation und auch der Kommunikationsprotokolle inzwischen etablierte Verfah- ren sind, dominieren moment an im Bereich der Modellierung von Informationssy- stemen eher informelle Verfahren. Werden in diesem Gebiet tatsiichlich formale Me- thoden eingesetzt, so beinhalten diese oft nur einen kleinen Teilaspekt des gesamten Systems, etwa die Modellierung der gespeicherten Information in Form eines Sche- mas eines Datenmodells. 1m vorliegenden Buch wird ein formal basierter Ansatz zur objektorientierten Modellierung von Informationssystemen vorgestellt, der bewahrte Modellierungskonzepte der etablierten informellen Methoden integriert. Das Buch ist wie folgt aufgebaut. 1m Kapitel 1 werden die Begriffe Informati- onssystem, formale Spezijikation und objektorientierte Beschreibung eingefiihrt und kurz charakterisiert. Kapitel 2 behandelt den konzeptionellen Entwurf von Infor- mationssystemen. Es werden allgemeine Anforderungen an den konzeptionellen Ent- wurf diskutiert und diese Anforderungen den etablierten Spezifikationsformalismen gegeniibergestellt. Ein Abschnitt ist dem mehrschichtigen konzeptionellen Entwurf, der ein Informationssystem in Schichten urn eine zentrale Datenbank herum model- liert, gewidmet. Nach einer allgemeinen Kritik dieses Ansatzes wird der Bezug des klassischen Entwurfsansatzes zu objektorientierten Entwurfsprinzipien diskutiert.

General

Imprint:	Vieweg+teubner Verlag
Country of origin:	Germany
Series:	XTEUBNER-TEXTE zur Informatik
Release date:	November 1993
First published:	1993
As told to:	Gunter Saake
Dimensions:	244 x 170 x 13mm (L x W x T)
Format:	Paperback
Pages:	248
Edition:	1993 ed.
ISBN-13:	978-3-8154-2054-6
Languages:	German
Subtitles:	German
Categories:	Books > Professional & Technical > Technology: general issues > Engineering: general Books > Computing & IT > Computer programming > General Promotions
LSN:	3-8154-2054-7
Barcode:	9783815420546

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!