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 133 results:
RTF
Tagged
XML
BibTex
Sort by:
Author
Keyword
[
Title
]
Type
Year
Filters:
Author
is
Ehrich, H.-D.
[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
Z
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)
Conrad, S.
,
G. Denker
,
M. Gogolla
,
R. Herzig
,
N. Vlachantonis
, and
H. - D. Ehrich
,
"
Zur Entwicklung zuverlässiger Informationssysteme in KorSo
",
Informatik -- Wirtschaft -- Gesellschaft, Proc. 23. GI-Jahrestagung (GI'93)
: Springer, Informatik aktuell, pp. 464-469, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1993GI.pdf
(401.19 KB)
W
Sernadas, A.
, and
H. - D. Ehrich
,
"
What Is an Object, After All?
",
Object-Oriented Databases: Analysis, Design and Construction (Proc1 4th IFIP WG 2.6 Working Conference DS-4, Windermere (UK))
: North-Holland, pp. 39-70, 1991.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1991Windermere.pdf
(840.4 KB)
Ü
Ehrich, H. - D.
,
"
Überprüfung von Softwareskizzen und -entwürfen
",
Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft
: J Cramer Verlag, pp. 69-72, 2001.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2001BWG.pdf
(46.05 KB)
Ehrich, H. - D.
,
"
Über eine Reduktionsmöglichkeit gewisser Überdeckungsprobleme
",
Automatentheorie und Formale Sprachen, Bericht Nr. 3 einer Tagung des Mathematischen Forschungsinstituts Oberwolfach, Oktober 1969
: Bibliographisches Institut Mannheim, 1970.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1970MFO3.pdf
(725.62 KB)
T
Gogolla, M.
,
S. Conrad
,
G. Denker
,
R. Herzig
,
N. Vlachantonis
, and
H. - D. Ehrich
,
"
TROLL light --- The Language and Its Development Environment
",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report
: Springer, pp. 205-220, 1995.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1995TrollLight.pdf
(971.69 KB)
Grau, A.
,
K. Filipe
,
M. Kowsari
,
S. Eckstein
,
R. Pinger
, and
H. - D. Ehrich
,
"
The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools
",
Proc. of the 17th Int. Conference on Conceptual Modeling (ER'98)
, Singapore, Springer, LNCS 1507, pp. 277-290, 1998.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1998ER.pdf
(336.76 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
Vlachantonis, N.
,
R. Herzig
,
M. Gogolla
,
G. Denker
,
S. Conrad
, and
H. - D. Ehrich
,
"
Towards Reliable Information Systems: The KORSO Approach
",
Proc 5th Int Conf on Advanced Information Systems Engineering (CAiSE'93)
: Springer, Berlin, LNCS 685, pp. 463-482, 1993.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1993KorSo.pdf
(314.47 KB)
Ehrich, H. - D.
,
K. Drosten
, and
M. Gogolla
,
"
Towards an Algebraic Semantics for Database Specification
",
Proc 2nd IFIP WG 2.6 Working Conf on Database Semantics ``Data and Knowledge'' (DS-2)
, Albufeira, Portugal, North-Holland, Amsterdam, pp. 119-135, 1988.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1988Albufeira.pdf
(1.08 MB)
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)
Ehrich, H. - D.
,
"
Theory of Direct-Access Storage Functions
",
Proc. IFIP'74 Congress, pp 647-651
: North-Holland, 1974.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1974IFIP.pdf
(217.89 KB)
Ehrich, H. - D.
, and
P. Hartel
,
"
Temporal Specification of Information Systems
",
Logic and Software Engineering, Proc. Int. Workshop in Honor of C.S. Tang, Beijing, 14-15 August 1995
: World Scientific, pp. 43-71, 1996.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1996Beijing.pdf
(283.86 KB)
S
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
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1992ObjBankExpert.pdf
(1.72 MB)
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)
Denker, G.
, and
H. - D. Ehrich
,
"
Specifying Distributed Information Systems: Fundamentals of an Object-Oriented Approach Using Distributed Temporal Logic
",
Formal Methods for Open Object-Based Distributed Systems (FMOODS'97), Volume 2, IFIP TC6 WG6.1 Intern.\ Workshop, 21-23 July, Canterbury, Kent, UK
: Chapman & Hall, pp. 89-104, 1997.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1997DenkerEhrich.pdf
(548.39 KB)
Ehrich, H. - D.
, and
C. Caleiro
,
"
Specifying Communication in Distributed Information Systems
",
Acta Informatica
, vol. 36, no. Fasc1 8, pp. 591-616, 2000.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000Acta.pdf
(174.2 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)
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.
,
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)
Loeckx, J.
,
H. - D. Ehrich
, and
M. Wolf
,
Specification of abstract data types
,
: J. Wiley & Sons and B.G.Teubner Publishers, 1996.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Ehrich, H. - D.
,
K. - D. Schewe
, and
T. H. Tse(eds)
,
"
Special Issue Quality Software
",
Journal of Systems and Software
, vol. 79, no. 5: Elsevier B.V., 2006.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2006editorialSpecIssueJSS.pdf
(241.7 KB)
Lin, H.
,
H. - D. Ehrich
, and
T. H. Tse(eds)
,
"
Special Issue QSIC 2003
",
Information and Software Technology
, vol. 46, no. 15: Elsevier B.V., 2004.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2004EditorialSpecIssueIST.pdf
(243.64 KB)
Ehrich, H. - D.
,
U. Goltz
,
J. Meseguer
,
A. Pnueli
, and
(eds)
,
Specication of Distributed Information Systems. Dagstuhl Seminar 00081 Report
,
, Schloss Dagstuhl, IBFI GmbH, 2000.
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2000DagstuhlSemina00081.pdf
(187.18 KB)
R
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)
P
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.
, and
K. - D. Schewe(eds)
,
"
Proceedings QSIC 2004
",
QSIC 2004
, Braunschweig, IEEE CS Press, 2004.
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.
, and
(ed)
,
"
Proceedings
",
GI – 14. Jahrestagung
, Braunschweig, Informatik-Fachberichte Nr. 88, Springer, 1984.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
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
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)
O
Ehrich, H. - D.
,
"
Outline of an Algebraic Theory of Structured Objects
",
Proc. 3rd ICALP, pages 508-530
: Edinburgh University Press, 1976.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
1976EdinBurgh.pdf
(966.41 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)
Hon, Y. M.
,
J. - T. Tecker
, and
H. - D. Ehrich
,
"
OOLH: A formal framework for specifying system requirements
",
SIGSAND-EUROPE 2008
, Berlin, Springer LNI, Vol. 129, 2008.
Abstract
RTF
Tagged
XML
BibTex
Google Scholar
Download:
2008OOLH.pdf
(71.71 KB)
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)
1
2
3
4
next ›
last »