Biblio

Export 72 results:
Sort by: [ Author  (Asc)] Keyword Title Type Year
Filters: Author is Saake, G.  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
D
E
Ehrich, H. - D., G. Engels, M. Gogolla, G. Saake, and (eds), "Abstracts des Workshops "Grundlagen von Datenbanken"", Abstracts des Workshops "Grundlagen von Datenbanken": Informatik-Bericht Nr. 89-02, Technische Universität Braunschweig, 1989. Abstract
Ehrich, H. - D., A. Sernadas, G. Saake, and C. Sernadas, "Distributed Temporal Logic for Concurrent Object Families", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994. Abstract
Ehrich, H. - D., G. Saake, and A. Sernadas, "Concepts of Object-Orientation", Proc of the 2nd Workshop of ``Informationssysteme und Künstliche Intelligenz: Modellierung'', Ulm (Germany): Springer IF 303, pp. 1-19, 1992. Abstract  Download: 1992ConcObjOr.pdf (208.55 KB)
Engels, G., U. Hohenstein, L. Neugebauer, G. Saake, and H. - D. Ehrich, "Konzeption einer integrierten Datenbank-Entwurfsumgebung", Proc1 DBTA/SI Conf1 ``Data Dictionaries und Entwicklungswerkzeuge für Datenbankanwendungen'': Verlag der Fachvereine an den Schweiz1 Hochschulen und Techniken, Zürich, pp. 151-157, 1988. Abstract  Download: 1988DBEntwUmg1.pdf (692.07 KB)
Engels, G., U. Hohenstein, G. Saake, and H. - D. Ehrich, "Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung", Proc GI-Workshop ``Sprachspezifische Programmierumgebungen'', pp. 38-51, 1988. Abstract  Download: 1988DBEntwUmg2.pdf (564.82 KB)
F
Fiadeiro, J., C. Sernadas, T. Maibaum, and G. Saake, "Proof-Theoretic Semantics of Object-Oriented Specification Constructs", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK)): North-Holland, pp. 243-284, 1991. Abstract
H
Hartel, P., T. Hartmann, J. Kusch, and G. Saake, "Specifying Information System Dynamics in \sc TROLL", Proc1 Workshop Formal Methods for Information System Dynamics, Utrecht (NL): Univ. of Twente, Technical Report, pp. 53-64, 1994. Abstract
Hartmann, T., J. Kusch, G. Saake, and P. Hartel, "Revised Version of the Conceptual Modeling and Design Language \sc Troll", Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, pp. 89-103, 1994. Abstract
Hartmann, T., R. Jungclaus, G. Saake, and H. - D. Ehrich, "Spezifikation von Objektsystemen", Objektbanken für Experten: Springer, Berlin, Reihe Informatik aktuell, pp. 220-242, 1992. Abstract  Download: 1992ObjBankExpert.pdf (1.72 MB)
Hartmann, T., and G. Saake, Abstract Specification of Object Interaction, , no. 93-08: Technische Universität Braunschweig, 1993. Abstract
Hartmann, T., and G. Saake, "Prototypische Ausführung von Objektinteraktionen für die Spezifikationssprache \sc Troll", Workshop Deklarative Programmierung und Spezifikation, Bad Honnef: Bericht Nr. 9412, Univ. Kiel, pp. 56-59, 1994. Abstract
Hartmann, T., R. Jungclaus, and G. Saake, "Spezifikation von Informationssystemen als Objektsysteme", EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 1, pp. 2-18, 1993. Abstract
Hartmann, T., R. Jungclaus, and G. Saake, "Animation Support for a Conceptual Modelling Language", Proc1 4th Int1 Conf1 on Database and Expert Systems Applications (DEXA), Prague: LNCS 720, Springer, Berlin, pp. 56-67, 1993. Abstract
Hartmann, T., R. Jungclaus, and G. Saake, "Aggregation in a Behavior Oriented Object Model", Proc1 European Conference on Object-Oriented Programming (ECOOP'92): Springer, LNCS 615, Berlin, pp. 57-77, 1992. Abstract
Hohenstein, U., L. Neugebauer, and G. Saake, "An Extended Entity-Relationship Model for Non-Standard Databases", Proc1 Workshop ``Relationale Datenbanken'', Bericht Nr1 3-86: Inst1 für Informatik, TU Clausthal-Zellerfeld, pp. 185-211, 1986. 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)
Hülsmann, K., and G. Saake, "Representation of the Historical Information Necessary for Temporal Integrity Monitoring", Proc1 Int1 Conf1 on Extending Database Technology EDBT'90: LNCS 416, Springer, Berlin, 1990, pp. 378-392, 1990. Abstract
J
Jungclaus, R., R. J. Wieringa, P. Hartel, G. Saake, and T. Hartmann, "Combining \sc Troll with the Object Modeling Technique", Innovationen bei Rechen- und Kommunikationssystemen. GI-Fachgespräch F1 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software: Springer, Informatik aktuell, pp. 35-42, 1994. Abstract
Jungclaus, R., T. Hartmann, and G. Saake, "Relationships between Dynamic Objects", Information Modelling and Knowledge Bases IV: Concepts, Methods and Systems (Proc1 2nd European-Japanese Seminar, Hotel Ellivuori (SF)): IOS Press, Amsterdam, pp. 425-438, 1993. Abstract
Jungclaus, R., G. Saake, and C. Sernadas, "Formal Specification of Object Systems", Proc. TAPSOFT'91, Brighton: Springer, Berlin, LNCS 494, pp. 60-82, 1991. Abstract
Jungclaus, R., T. Hartmann, G. Saake, and C. Sernadas, "Introduction to TROL1 -1 A Language for Object-Oriented Specification of Information Systems", Information Systems - Correctness and Reusability: TU Braunschweig, Informatik Bericht 91-03, pp. 97-128, 1991. Abstract
Jungclaus, R., G. Saake, and C. Sernadas, "Using Active Objects for Query Processing", Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK), 1990): North-Holland, pp. 285-304, 1991. Abstract
K
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects (Extended Abstract)", Proc1 4th International Workshop on Modelling Database Dynamics, Volkse, Oct1 1992: Informatik-Bericht 90/3, TU Clausthal, pp. 125-142, 1992. Abstract
Kramer, M., G. Lausen, and G. Saake, "Updates in a Rule-Based Language for Objects", Proc1 18th Int1 Conf1 on Very Large Databases, Vancouver, pp. 251--262, 1992. Abstract
Kusch, J., P. Hartel, T. Hartmann, and G. Saake, "Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment", Proc1 6th Int1 Conf1 on Database and Expert Systems Application1 (DEXA'95): Springer Verlag, Berlin, LNC1 978, pp. 38-47, 1995. Abstract