Huhn, M., H. Wehrheim, and G. Denker,
"Action Refinement in System Specification: Comparing a Process Algebraic and an Object-Oriented Approach",
GI/ITG-Fachgespräch: ``Formale Beschreibungstechniken für verteilte Systeme'', 20/21. Juni 1996, Universität Erlangen, Germany, no. 29/9: Universität Erlangen, pp. 77-88, 1996.
Abstract
Hohenstein, U., L. Neugebauer, G. Saake, and H. - D. Ehrich,
"Three-Level Specification of Databases Using an Extended Entity-Relationship Model",
Proc GI-Fachtagung ``Informationsermittlung und -analyse für den Entwurf von Informationssystemen'': Informatik-Fachbericht 143, Springer, Berlin, 1987, pp. 58-88, 1987.
Abstract
Download: 1987ThreeLevelSpec.pdf (1.21 MB)
Herzig, R., H. Fischer, and M. Gogolla,
"Zur Gestaltung der Benutzungsschnittstelle bei der Animation von Objektspezifikationen",
Proc1 GI-Workshop ``Benutzungsschnittstellen für Datenbanken'', Kassel, 17.-18.3.94: GI-Datenbankrundbrief 13, pp. 43-45, Mai, 1994.
Abstract