Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Search this site:
Links
Home
Teaching
Staff
Publications
Posters
Contact
HMS
Login
Impressum / Site notice
Home
› Biblio
Biblio
List
Filter
Export 717 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
1984
Ehrich, H. - D.
, and
(ed)
,
"
Proceedings Fachgespräche
",
GI – 14. Jahrestagung
, Braunschweig, Springer, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
U. W. Lipeck
, and
M. Gogolla
,
"
Specification, Semantics, and Enforcement of Dynamic Database Constraints
",
Proc Int Conf on Very Large Databases VLDB '84
, pp. 301-308, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1984VLDB.pdf
(462.55 KB)
Drosten, K.
, and
H. - D. Ehrich
,
"
Translating algebraic specifications to PROLOG programs
",
Bericht Nr. 84-08, Institut für Informatik
: TU Braunschweig, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1985
Ramm, I.
,
K. Neumann
,
U. W. Lipeck
, and
H. - D. Ehrich
,
Eine Benutzerschnittstelle für geowissenschaftliche Datenbanken
,
: Technische Universität Braunschweig, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
"
A Final Algebra Semantics for Errors and Exceptions
",
Recent Trends in Data Type Specification, Proc1 3rd Workshop on Theory and Applications of Abstract Data Types (Selected Papers), Bremen (D)
: Springer, Berlin, IF1 116, pp. 89-103, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Neugebauer, L.
, and
K. Neumann
,
Schemagesteuerte Testdatengenerierung für relationale Datenbanken
,
: Technische Universität Braunschweig, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
"
Algebraic (?) specification of conceptual database schemata (extended abstract)
",
Recent Trends in Data Type Specification, Informatik-Fachberichte
, vol. 116: Springer, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1985AlgSpecDB.pdf
(349.23 KB)
Ramm, I.
, and
H. - D. Ehrich
,
"
Einführung in das Projekt: Entwurf einer Benutzerschnittstelle für eine graphisch-alphanumerische Datenbank
",
Nachrichten aus dem Karten- und Vermessungswesen
, vol. Reihe I, no. Heft 95, pp. 115-124, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1985Geo.pdf
(788.93 KB)
Lipeck, U. W.
,
H. - D. Ehrich
, and
M. Gogolla
,
"
Specifying Admissability of Dynamic Database Behaviour Using Temporal Logic
",
Proc IFIP Working Conf on Theoretical and Formal Aspects of Information Systems
: North-Holland, Amsterdam, pp. 145-157, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1985TFAIS.pdf
(602.54 KB)
Ehrich, H. - D.
,
"
Spezifikation konzeptioneller Schemata mit abstrakten Datentypen und Versionen
",
Proc. GI-Fachgespräch ``Entwurf von Informationssystemen - Methoden und Modelle''
, pp. 1-19, 1985.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1985Tutzing.pdf
(877.62 KB)
1986
,
Abstracts of the 4th Workshop on Specification of Abstract Data Types
,
: Technische Universität Braunschweig, Informatik-Bericht 86-09, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
G. Saake
, and
H. - D. Ehrich
,
Monitoring Dynamic Database Integrity by Transition Graphs
,
, no. 86-08: Technische Universität Braunschweig, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
"
Stepwise Specification of Dynamic Database Behaviour
",
Proc1 1986 ACM-SIGMOD Int1 Conf1 on Management of Data
, pp. 387-397, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen
,
: Technische Universität Braunschweig, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
K. Drosten
,
M. Gogolla
,
U. Lipeck
, and
(eds)
,
"
Abstracts of the 4th Workshop on Specification of Abstract Data Types
",
Abstracts of the 4th Workshop on Specification of Abstract Data Types
: Informatik-Bericht Nr. 86-09, Technische Universität Braunschweig, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
"
Key Extensions of Abstract Data Types, Final Algebras, and Database Semantics
",
Proc Workshop on Category Theory and Computer Programming
: Springer, Berlin, LNCS series, pp. 412-433, 1986.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1986KeyExtens.pdf
(277.5 KB)
1987
Feng, D. S.
, and
U. W. Lipeck
,
Deterministische Überwachung temporaler Formeln
,
, no. 87-06: Technische Universität Braunschweig, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lohmann, F.
,
Handling Geo-Scientific Database Objects in a Higher Level Programming Language
,
, no. 87-11: Technische Universität Braunschweig, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
,
L. Neugebauer
,
U. Hohenstein
, and
H. - D. Ehrich
,
Konzepte und Werkzeuge für eine Datenbank-Entwurfsumgebung
,
, no. 87-05: Technische Universität Braunschweig, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
, and
K. Neumann
,
"
Modelling and Manipulating Objects in Geoscientific Databases
",
Proc1 5th Int1 Conf1 on the Entity-Relationship Approach
: North-Holland, Amsterdam, pp. 67-86, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
, and
G. Saake
,
"
Monitoring Dynamic Integrity Constraints Based on Temporal Logic
",
Information Systems
, vol. 12, pp. 255-269, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
"
On Parametric Algebraic Specifications with Clean Error Handling
",
Proc1 TAPSOFT'87, Pisa (I), Vol1 I
: LNCS 249, Springer, Berlin, pp. 81-95, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lohmann, F.
,
Vorüberlegungen für den zweiten Prototyp eines geowissenschaftlichen Datenbanksystems
,
, no. 87-04: Technische Universität Braunschweig, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Sernadas, A.
,
C. Sernadas
, and
H. - D. Ehrich
,
"
Object-Oriented Specification of Databases: An Algebraic Approach
",
Proc 13th Int Conf on Very Large Databases VLDB'87
: VLDB Endowment Press, Saratoga (CA), pp. 107-116, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1987VLDB.pdf
(679.95 KB)
Drawin, M.
,
K. Neumann
, and
H. - D. Ehrich
,
"
Regelorientierte Erzeugung von Karten-Entwürfen auf geowissenschaftlichen Datenbanken
",
Proc Datenbanksysteme in Büro, Technik und Wissenschaft
: Informatik-Fachbericht 136, Springer, Berlin, pp. 231-246, 1987.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1987BTW.pdf
(739.81 KB)
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1987ThreeLevelSpec.pdf
(1.21 MB)
1988
Hohenstein, U.
,
Automatic Transformation of Entity-Relationship Schemas into Relational Schemas
,
, no. 88-10: Technische Universität Braunschweig, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Jungclaus, R.
, and
K. Neumann
,
Benutzerhandbuch zum ersten Prototypen des Braunschweiger Geo-Datenbanksystems
,
, no. 88-01: Technische Universität Braunschweig, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Hohenstein, U.
, and
M. Gogolla
,
"
A Calculus for an Extended Entity-Relationship Model Incorporating Arbitrary Data Operations and Aggregate Functions
",
Proc1 7th Int1 Conf1 on the Entity-Relationship Approach
: North-Holland, Amsterdam, pp. 129-148, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Küspert, K.
,
G. Saake
, and
L. Wegner
,
Duplicate Detection and Deletion in the Extended NF$^2$ Data Model
,
, no. TR 88.11.0: IBM Wissenschaftliches Zentrum Heidelberg, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ebert, J.
, and
G. Engels
,
"
Ein Konzept zur Beschreibung von Software-Architekturen
",
Fachberichte Informatik Nr. 11/88
, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
, and
G. Saake
,
"
Entwurf von Systemverhalten durch Spezifikation und Transformation temporaler Anforderungen
",
Proc1 GI Jahrestagung
, vol. 2: Informatik-Fachbericht 188, Springer, pp. 449-463, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
, and
U. W. Lipeck
,
"
Foundations of Temporal Integrity Monitoring
",
Proc1 IFIP Working Conf1 on Temporal Aspects in Information Systems
: North-Holland Publ1 Comp., Amsterdam, pp. 235-249, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Engels, G.
,
T. Janning
, and
W. Schäfer
,
"
A Highly Integrated Tool Set for Program Development Support
",
Proc1 ACM Symposium on Personal and Small Computers
: ACM, New York, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
« first
‹ previous
1
2
3
4
5
6
7
8
9
…
next ›
last »