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 320 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
Filters:
Taxonomy Term
is
[Clear All Filters]
1989
Küspert, K.
,
G. Saake
, and
L. Wegner
,
"
Duplicate Detection and Deletion in the Extended NF$^2$ Data Model
",
Proc1 3rd Int1 Conf1 on Foundations of Data Organization and Algorithms (FOD1 '89), Paris
: LNCS 367, Springer, pp. 83-100, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ebert, J.
, and
G. Engels
,
"
Konzepte einer Software-Architektur-Beschreibungssprache
",
Tagungsband GI-Fachtagung ``Software-Entwicklung''
: Informatik-Fachbericht Nr. 212, Springer, Berlin, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
,
On First Order Temporal Logics with Changing Domains for Information System Specification
,
, no. 89-01: Technische Universität Braunschweig, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Engels, G.
, and
W. Schäfer
,
Programmentwicklungsumgebungen, Konzepte und Realisierung
,
: Teubner, Stuttgart, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
,
V. Linnemann
,
P. Pistor
, and
L. Wegner
,
"
Sorting, Grouping, and Duplicate Elimination in the Advanced Information Management Prototype
",
Proc1 15th Int1 Conf1 on Very Large Databases VLDB'89
: Morgan Kaufmann, Palo Alto, 1989, pp. 307-316, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Hülsmann, K.
, and
G. Saake
,
Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring
,
, no. 89-04: Technische Universität Braunschweig, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
, and
U. W. Lipeck
,
"
Using Finite-Linear Temporal Logic for Specifying Database Dynamics
",
Proc1 CSL'88 2nd Workshop Computer Science Logic
: Springer, Berlin, pp. 288-300, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung
,
: Springer, 1989.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
Engels, G.
, and
A. Schürr
,
"
A Hybrid Interpreter in a Software Development Environment
",
Proc. 1st European Software Engineering Conference
: LNCS 289, Springer, Berlin, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lohmann, F.
,
"
Processing Non-Standard-Database Objects in a Higher Level Programming Language - An Abstract Data Type Approach
",
Proc. Int. Workshop on Software Engineering and its Applications
, pp. 1141-1159, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Saake, G.
,
Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken
,
: Technische Universität Braunschweig, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Hohenstein, U.
, and
M. Gogolla
,
Towards a Semantic View of an Extended Entity-Relationship Model
,
, no. 88-02: Technische Universität Braunschweig, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Lipeck, U. W.
,
"
Transformation of Dynamic Integrity Constraints into Transaction Specifications
",
Proc1 2nd Int1 Conf1 on Database Theory
: LNCS 326, Springer, Berlin, pp. 322-337, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Drosten, K.
,
Über Erweiterungen in Termersetzungssystemen und deren Anwendung zur Prototyp-Generierung algebraischer Spezifikationen
,
: Technische Universität Braunschweig, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
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
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
« first
‹ previous
…
2
3
4
5
6
7
8
9
10
next ›
last »