|
Showing 1 - 3 of
3 matches in All Departments
This book constitutes the refereed proceedings of the 4th International Conference on the Unified Modeling Language, 2001, held in Toronto, Canada, in October 2001.The 33 revised full papers presented together with one invited paper were carefully reviewed and selected from a total of 122 abstracts and 102 papers submitted. The papers are organized in topical sections on metamodeling, activity diagrams, OCL, architecture and patterns, analysis and testing, performance and databases, graph transformations, real-time and embedded systems, associations and ontology, statecharts, components, and use cases.
This text presents a comprehensive introduction to an extended
Entity-Relationship model both on a conceptual and on a formal,
mathematicallevel. In addition to the primitives given by the data
model the text introduces a language for the formulation of
constraints in order to restrict database states to consistent
ones. The text explains an implementation of the approach chosen in
the logic programing language PROLOG and discusses in this context
the computational power of the proposedcalculus. The extended
Entity-Relationship calculus is used to define the meaning of the
relational query language SQL. A nice feature of the approach is
that it becomes possible to prove language properties on a sound
mathematical basis.
Dies Buch ist aus der Uberarbeitung und Erweiterung von Notizen zu
Vorlesungen entstan den, die seit 1977 zuniichst vom.ersten Autor
an der Universitii.t Dortmund, seit 1982 dann von allen drei
Autoren in wechselrider Folge an der Technischen Universitat
Braunschweig gehalten wurden. Der Schwerpunkt des Buches liegt bei
den theoretischen Grundlagen, jedoch haben die Moglichkeiten und
Grenzen praktischer Anwendung die Auswahl und die Gestaltung' des
Stoffes stark beeinflufit. Das Buch richtet sich vomehmlich an
Informatiker, die sich mit Grundlagen des Software-Entwurfs
auseinandersetzen wollen, und an Mathematiker, die sich fiir
Anwendungen der universellen Algebra und der Logik in der
Informatik interes sieren. Das Buch hat einfiihrenden Charakter.
Die verwendeten Begriffe und Bezeichnungen wer den systematisch
definiert und erl8.utert. Eine gewisse Vertrautheit mit allgemeinen
Grund lagen der Informatik sowie eine gewisse mathematische Reife
werden jedoch vorausgesetzt. Gelegentlich. wird zur illustration
von Zusammenhii.ngen auf Konzepte und Begriffe aus der Theorie der
formalen Sprachen und der Automatentheorie bezuggenommen, jedoch
konnen diese Passagen iibergangen werden, ohne daB der Zusammenhang
verlorengeht. Das Gebiet der algebraischen Spezifikation abstrakter
Datentypen ist heute - nach fast zwei Jahrzehnten Entwicklung -
umfungreich und in viele Spezialgebiete verzweigt. Auch gibt es
durchaus verschiedene Ansatze zur Gestaltung der Theorie und des
Zugangs zu ihr. Ziel dieses Buches ist es nicht, all diesen
Altemativen und Verastelungen nachzuspiiren, sondem einen
Kernbereich zu umreillen und diesen einheitlich und elementar
darzustellen."
|
You may like...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|