BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Greece
1 × Italy
1 × Singapore
1 × United Kingdom
2 × France
Collaborated with:
G.Denker A.Sernadas O.Pavlovic R.Pinger M.Gogolla V.G.Lohberger C.Sernadas U.W.Lipeck M.Krone M.Kowsari P.Hartel N.Vlachantonis R.Herzig S.Conrad
Talks about:
system (3) specif (3) object (3) construct (2) approach (2) databas (2) algebra (2) inform (2) check (2) constraint (1)

Person: Hans-Dieter Ehrich

DBLP DBLP: Ehrich:Hans=Dieter

Contributed to:

ICST 20102010
FASE 20012001
CAiSE 19961996
CAiSE 19931993
VLDB 19871987
VLDB 19841984
GG 19781978
ICALP 19761976

Wrote 9 papers:

ICST-2010-PavlovicE #diagrams #model checking
Model Checking PLC Software Written in Function Block Diagram (OP, HDE), pp. 439–448.
FASE-2001-PingerE #communication #composition
Compositional Checking of Communication among Observers (RP, HDE), pp. 32–44.
CAiSE-1996-KroneKHDE #case study #information management #using
Developing an Information System Using TROLL: An Application Field Study (MK, MK, PH, GD, HDE), pp. 136–159.
CAiSE-1993-VlachantonisHGDCE #approach #information management #reliability #towards
Towards Reliable Information Systems: The KorSo Approach (NV, RH, MG, GD, SC, HDE), pp. 463–482.
VLDB-1987-SernadasSE #algebra #approach #database #object-oriented #specification
Object-Oriented Specification of Databases: An Algebraic Approach (AS, CS, HDE), pp. 107–116.
VLDB-1984-EhrichLG #constraints #database #semantics #specification
Specification, Semantics, and Enforcement of Dynamic Database Constraints (HDE, UWL, MG), pp. 301–308.
GG-1978-EhrichL #data type #specification
Constructive Specifications of Abstract Data Types by Replacements (HDE, VGL), pp. 180–191.
ICALP-1976-Ehrich #algebra
Outline of an Algebraic Theory of Structured Objects (HDE), pp. 508–530.
TAPSOFT-1993-EhrichDS #community
Constructing Systems as Object Communities (HDE, GD, AS), pp. 453–467.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.