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

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

This book constitutes the refereed proceedings of the 5th International Conference on Tests and Proofs, TAP 2011, held in Zurich, Switzerland in June/July 2011.

The 12 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 27 submissions. Among the topics covered are model checking, testing systems, test generation, symbolic testing, SAT solvers, SMT solvers, property-based testing, automated test generation, learning-based testing, UML, OCL, specification-based testing, and network testing.

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