Conceptual Modeling - ER 2002 Daniel W Specifi cation and Verification ofInteractive

Specifi cation and Verification ofInteractive Systems

Veranstaltung: Philipp II

da es Potentiale wie Kostenreduzierung

neue Funde -- Litteraturberichte

In der Arbeit soll am Beispiel des Andromedamythos exemplarisch gezeigt werden

Conceptual Modeling - ER 2002 Daniel W Specifi cation and Verification ofInteractiveFor more than 20 years, the series of Conceptual Modeling ER conferences has provided a forum for research communities and practitioners to present and change research results and practical experiences in the ? elds of database design and conceptual modeling. Throughout the years, the scope of these conferences has extended from database design and speci? c topics of that area to more u versal or re? ned conceptual modeling, organizing originally weak