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 713 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
Title
Type
[
Year
]
1986
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
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)
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
1984
Gogolla, M.
,
K. Drosten
,
U. W. Lipeck
, and
H. - D. Ehrich
,
"
Algebraic and Operational Semantics of Specifications allowing Exceptions and Errors
",
Theoretical Computer Science
, vol. 34, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1984TCS-ExcErr.pdf
(728.49 KB)
Ehrich, H. - D.
, and
(ed)
,
"
Proceedings
",
GI – 14. Jahrestagung
, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
Neumann, K.
, and
I. Ramm
,
Lastabhängige Änderungen am internen Schema von relationalen Datenbanken
,
: Technische Universität Braunschweig, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
Partially Ordered Sorts in Algebraic Specifications
,
, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1983
Gogolla, M.
,
K. Drosten
,
U. Lipeck
, and
H. - D. Ehrich
,
"
Algebraic and operational semantics of exceptions and errors
",
Proc. 6. GI-Fachtagung für Theoretische Informatik
: Springer LNCS 145, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983ExceptErrors.pdf
(198.63 KB)
Ehrich, H. - D.
, and
U. Lipeck
,
"
Algebraic domain equations
",
Theoretical Computer Science
, vol. 27, pp. 167-196, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983TCS-ADE.pdf
(951.11 KB)
Gogolla, M.
, and
H. - D. Ehrich
,
"
Algebraic Specifications with Subsorts Using Declarations
",
EATCS Bulletin
, vol. 21, pp. 31-38, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983EATCSBull.pdf
(93.61 KB)
Engels, G.
,
U. Pletat
, and
H. - D. Ehrich
,
"
An operational semantics for specification of abstract data types with error handling
",
Acta Informatica
, vol. 19: Springer, pp. 235-253, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1983Acta.pdf
(667.18 KB)
Durchholz, R.
, and
H. - D. Ehrich
,
"
Proceedings
",
Workshop on Information and Data Structure Description
, München, Bericht der GMD Nr. 139, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Gogolla, M.
,
Algebraic Specifications with Partially Ordered Sorts and Declarations
,
, no. 169: Abt1 Informatik, Universität Dortmund, 1983.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
1982
Drosten, K.
,
M. Gogolla
,
H. - D. Ehrich
, and
U. Lipeck
,
"
A Hierarchical Approach to an Operational Semantics for Conditional Algebraic Specifications
",
Berichte der Abteilung Informatik
, vol. 144: Universität Dortmund, 1982.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
"
On the Theory of Specification, Implementation and Parameterization of Abstract Data Types
",
Journal of the ACM
, vol. 29, pp. 206-227, 1982.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1982JACM.pdf
(449.29 KB)
1981
Ehrich, H. - D.
,
"
On Realization and Implementation
",
MFCS
: Springer LNCS 118, 1981.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1981MFCS.pdf
(167.47 KB)
Ehrich, H. - D.
,
"
Implicit Specification by Algebraic Domain Equations
",
EATCS Bulletin
, vol. 13, pp. 45-51, 1981.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1981EATCS.pdf
(341.1 KB)
Ehrich, H. - D.
,
"
Specifying algebraic data types by domain equations
",
FCT
: Springer LNCS 117, 1981.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1981FCT-ADE.pdf
(485.92 KB)
1980
Ehrich, H. - D.
,
"
Proving Implementations Correct - Two Alternative Approaches
",
IFIP Congress 1980
: North-Holland Publ. Comp., 1980.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1980IFIP.pdf
(384.86 KB)
Ehrich, H. - D.
,
"
Zur Theorie abstrakter Datentypen
",
Wiss. Z. Techn. Univ. Dresden
, vol. 29,2, pp. 344-346, 1980.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1980Dresden.pdf
(326.3 KB)
1979
Ehrich, H. - D.
, and
V. G. Lohberger
,
"
Parametrie Specification of Abstract Data Types, Parameter Substitution, and Graph Replacements
",
Proceedings of the Workshop on "Graphentheoretische Konzepte in der Informatik"
: Hanser-Verlag, 1979.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1979Graphen4.pdf
(792.42 KB)
1978
Ehrich, H. - D.
,
"
Algebraische Spezifikation von Datenstrukturen
",
Datenstrukturen, Graphen, Algorithmen.
: Hanser Appl. Comp. Sc. 8, pp 48-61, 1978.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1978Graphen3.pdf
(419.04 KB)
Ehrich, H. - D.
, and
V. G. Lohberger
,
"
Constructing Specifications of Abstract Data Types by Replacements
",
Proc. Int. Colloquium on Graph Grammars
: Springer LNCS 73, pp 180-191, 1978.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1978SpecReplace.pdf
(214.4 KB)
Ehrich, H. - D.
,
"
Extensions and Implementations of Abstract Data Type Specifications
",
Proc. 7th MFCS
: Springer LNCS 64, pages 155–164, 1978.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1978MFCS.pdf
(217.71 KB)
1977
Ehrich, H. - D.
,
"
Algebraic Semantics of Type Definitions and Structured Variables
",
Proc. FCT’77
: Springer LNCS 56, 1977.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1977FCT.pdf
(283.25 KB)
« first
‹ previous
…
13
14
15
16
17
18
19
20
21
next ›
last »