Home › Biblio

Biblio

Export 320 results:
Sort by: Author Keyword Title [ Type (Asc)] Year
Filters: Taxonomy Term is   [Clear All Filters]
Artwork
Grau, A., Computer-Aided Validation of Formal Conceptual Models, : Technical University Braunschweig, Germany, March, 2001. Abstract
Hohenstein, U., Ein Kalkül für ein erweitertes Entity-Relationship-Modell und seine Übersetzung in einen relationalen Kalkül, : Technische Universität Braunschweig, 1990. Abstract
Lohmann, F., Einbettung einer geowissenschaftlichen Datenbanksprache in eine höhere Programmiersprache, : Technische Universität Braunschweig, 1990. Abstract
Löhr-Richter, P., Generische Methoden für die frühen Entwurfsphasen von Informationssystemen, : Technische Universität Braunschweig, 1993. Abstract
Ahlbrecht, P., Impact of Mobility on Information Systems and Information System Design, : Technical University Braunschweig, 2004. Abstract
Pinger, R., Kompositionale Verifikation nebenläufiger Softwaremodelle durch Model Checking, : Technical University Braunschweig, Germany, February, 2002. Abstract
Kowsari, M., On the Development and Use of a Formal Object Oriented Methodology Based on an Application Case Study, : Technical University Braunschweig, Germany, January, 2003. Abstract
Saake, G., Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken, : Technische Universität Braunschweig, 1988. Abstract
Drosten, K., Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen, : Technische Universität Braunschweig, 1988. Abstract
Gogolla, M., Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen, : Technische Universität Braunschweig, 1986. Abstract
Book Chapter
Loeckx, J., H. - D. Ehrich, and M. Wolf, "Algebraic specification of abstract data types", Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Microcomputers, vol. 11: Marcel Dekker, Inc., pp. 173-187, 1993. Abstract
Saake, G., and R. Jungclaus, "Models and Languages for Abstract Objects", Encyclopedia of Computer Science and Technology, vol. 30: Marcel Dekker, Inc., pp. 241-255, 1994. Abstract
Crnkovic, I., J. Küster Filipe, M. Larsson, and K. - K. Lau, "Object-Oriented Design Frameworks: Formal Specification and Some Implementation Issues", Data Bases and Information Systems: Fourth International Baltic Workshop on DB and IS (Selected Papers): Kluwer Academic Publishers, 2000. Abstract
Denker, G., "Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen", GI Dissertationspreise, Ausgezeichnete Informatikdissertationen 1996: Teubner, pp. 9-28, 1998. Abstract
Conference Paper
Hartmann, T., and G. Saake, Abstract Specification of Object Interaction, , no. 93-08: Technische Universität Braunschweig, 1993. Abstract
Huhn, M., H. Wehrheim, and G. Denker, Action Refinement - An Application of Process Theory on Object-Oriented Specification, , no. 40/95: Universität Hildesheim, November, 1995. Abstract
Gogolla, M., Algebraic Specifications with Partially Ordered Sorts and Declarations, , no. 169: Abt1 Informatik, Universität Dortmund, 1983. Abstract
Hohenstein, U., Automatic Transformation of Entity-Relationship Schemas into Relational Schemas, , no. 88-10: Technische Universität Braunschweig, 1988. Abstract
Mathiak, B., and S. Eckstein, Automatische Lernverfahren zur Analyse von biomedizinischer Literatur, , no. 2004-2: Technische Universität Braunschweig, 2004. Abstract
Conrad, S., A Basic Calculus for Verifying Properties of Synchronously Interacting Objects, , no. 94-05: Technische Universität Braunschweig, 1994. Abstract
Jungclaus, R., and K. Neumann, Benutzerhandbuch zum ersten Prototypen des Braunschweiger Geo-Datenbanksystems, , no. 88-01: Technische Universität Braunschweig, 1988. Abstract
Cho, S. R., and W. - T. Balke, "Building an Efficient Preference XML Query Processor", 24th Annual ACM Symposium on Applied Computing, Honolulu, HI, USA, 2009. Abstract  Download: acmsac09.pdf (148.56 KB)
Tönnies, S., B. Köhncke, O. Koepler, and W. - T. Balke, "Building Chemical Information Systems - the ViFaChem II Project", 13. GI-Fachtagung Datenbanksysteme für Business, Technologie und Web, Münster, Germany, 03/2009. Abstract  Download: btw09.pdf (428.21 KB)
Küster Filipe, J., A Categorical Hiding Mechanism for Concurrent Object Systems, , no. 97-06: Technical University Braunschweig, 1997. Abstract
Neumann, K., W. Porscha, A. Koschel, and C. Müller, Charakterisierung eines aktuellen relationalen Datenbanksystems am Beispiel von Sybase, , no. 29: Technische Universität Braunschweig, 1992. Abstract
Engels, G., M. Gogolla, U. Hohenstein, K. Hülsmann, P. Löhr-Richter, G. Saake, and H. - D. Ehrich, Conceptual Modelling of Database Applications Using an Extended ER Model, , no. 90-05: Technische Universität Braunschweig, 1990. Abstract
Güntzer, U., and W. - T. Balke, "Consistently Adding Amalgamations to Preference Orders", 3rd Multidisciplinary Workshop on Advances in Preference Handling (M-Pref), Vienna, Austria, 2007. Abstract  Download: mpref07.pdf (154.24 KB)
Gogolla, M., Datalog - Eine deduktive Datenbanksprache, , no. 25: Technische Universität Braunschweig, 1990. Abstract
Neumann, K., C. Beer, and F. Lohmann, Datenbank-Anwendungsprogrammierung - eine einführende Übersicht, , no. 26: Technische Universität Braunschweig, 1991. Abstract
Neumann, K., Datenbank-Praktikum mit Sybase, , no. 31: Technische Universität Braunschweig, 1993. Abstract
Neumann, K., Datenbank-Technik für Anwender, , no. 32: Technische Universität Braunschweig, 1993. Abstract
Ehrich, H. - D., and K. Neumann, Datenbanksysteme II, , no. 34: Technische Universität Braunschweig, 1996. Abstract
Diederich, J., W. - T. Balke, and U. Thaden, "Demonstrating the Semantic GrowBag: Automatically Creating Topic Facets for FacetedDBLP", ACM IEEE Joint Conference on Digital Libraries (JCDL), Vancouver, BC, Canada, 2007. Abstract  Download: jcdl07.pdf (90.78 KB)
Feng, D. S., and U. W. Lipeck, Deterministische Überwachung temporaler Formeln, , no. 87-06: Technische Universität Braunschweig, 1987. Abstract