2006
2004
2003
2002
Ehrich H -D.,
"Abstract Data Types",
The Concise Handbook of Algebra: Kluwer Academic Publishers, pp. 486-490, 2002.
Abstract
TaggedBibTexxml
2001
Pinger R., Ehrich H -D.,
"Compositional Checking of Communication among Observers",
Fundamental Approaches to Software Engineering (FASE), Part of the Joint European Conferences on Theory and Practice of Software (ETAPS 2001), Genova, vol. 2029, pp. 32-44, 2001.
Abstract
TaggedBibTexxml
Ehrich H -D.,
"Überprüfung von Softwareskizzen und -entwürfen",
Jahrbuch 2000 der Braunschweigischen Wissenschaftlichen Gesellschaft: J1 Cramer Verlag, pp. 69-72, 2001.
Abstract
TaggedBibTexxml
2000
Loeckx J., Ehrich H -D., Wolf M.,
"Algebraic specification of abstract data types",
Handbook of Logic in Computer Science, Volume 5: Oxford Science Publications, pp. 217-316, 2000.
Abstract
TaggedBibTexxml
Ehrich H -D., Pinger R.,
"Checking object systems via multiple observers",
International ICSC Congress on Intelligent Systems & Applications (ISA'2000) , vol. 1: International Computer Science Convetions (ICSC), Canada, pp. 242-248, 2000.
Abstract
TaggedBibTexxml
1999
Ehrich H -D.,
"Object Specification",
Algebraic Foundations of Systems Specification: Springer, pp. 435-465, 1999.
Abstract
TaggedBibTexxml
1998
Grau A., Küster Filipe J., Kowsari M., Eckstein S., Pinger R., Ehrich H -D.,
"The TROLL Approach to Conceptual Modelling: Syntax, Semantics and Tools",
Proc1 of the 17th Int. Conference on Conceptual Modeling (ER'98), Singapore: Springer, LNCS 1507, pp. 277-290, November, 1998.
Abstract
TaggedBibTexxml
1997
Hartel P., Denker G., Kowsari M., Krone M., Ehrich H -D.,
"Information systems modelling with TROLL formal methods at work",
Information Systems, vol. 22, no. 2-3, pp. 79-99, 1997.
Abstract
TaggedBibTexxml
Denker G., Ehrich H -D.,
"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
TaggedBibTexxml
1996
Krone M., Kowsari M., Hartel P., Denker G., Ehrich H -D.,
"Developing an Information System Using TROLL: an Application Field Study",
Proc1 8th Int1 Conf1 on Advanced Information Systems Engineerin1 (CAiSE'96): Springer, Berlin, LNCS 1080, pp. 136-159, 1996.
Abstract
TaggedBibTexxml
Ehrich H -D., Hartel P.,
"Temporal Specification of Information Systems",
Logic and Software Engineering, Proc1 Int1 Workshop in Honor of C.S. Tang,Beijing, 14-15 August 1995: World Scientific, pp. 43-71, 1996.
Abstract
TaggedBibTexxml
1995
Denker G., Ehrich H -D.,
"Action Reification In Object Oriented Specification",
Information Systems - Correctness and Reusability, Selected Papers from the IS-CORE Workshop: World Scientific, pp. 103-118, 1995.
Abstract
TaggedBibTexxml
Denker G., Ehrich H -D.,
"An Event-Based Semantics for Transactions",
Proc1 Intern. Workshop on Information Systems - Correctness and Reusability (IS-CORE'95), Technical Report, Evry, Sept. 1995: Universite d'Evry Val d'Essonne, Laboratoire de Mathematiques et d'Informatique, pp. 57-72, 1995.
Abstract
TaggedBibTexxml
Conrad S., Denker G., Gogolla M., Herzig R., Vlachantonis N., Ehrich H -D.,
"Entwicklung zuverlässiger Informationssysteme",
EMISA Forum, Mitteilungen der GI-Fachgruppe 2.5.2, vol. 2, pp. 25-33, 1995.
Abstract
TaggedBibTexxml
Ehrich H -D., Sernadas A.,
"Local Specification of Distributed Families of Sequential Objects",
Recent Trends in Data Types Specification, Proc1 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers: Springer, Berlin, LNCS 906, pp. 219-235, 1995.
Abstract
TaggedBibTexxml
Ehrich H -D.,
"\sc Korso Reference Languages -- Concepts and Application Domains",
KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Final Report: Springer, pp. 150-172, 1995.
Abstract
TaggedBibTexxml
1994
Conrad S., Ehrich H -D.,
"An Elementary Logic for Object Specification and Verification",
Workshop Formale Grundlagen für den Entwurf von Informationssystemen, Tutzing: Technical Report Univ1 Hannover, No1 03/94, pp. 197-206, 1994.
Abstract
TaggedBibTexxml
Ehrich H -D., Sernadas A., Saake G., Sernadas C.,
"Distributed Temporal Logic for Concurrent Object Families",
Working papers of the International Workshop on Information Systems - Correctness and Reusability: Vrije Universiteit Amsterdam, RapportNr. IR-357, pp. 22-30, 1994.
Abstract
TaggedBibTexxml
Ehrich H -D., Jungclaus R., Denker G., Sernadas A.,
"Object-Oriented Design of Information Systems: Theoretical Foundations",
Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 201-218, 1994.
Abstract
TaggedBibTexxml
Saake G., Hartmann T., Jungclaus R., Ehrich H -D.,
"Object-Oriented Design of Information Systems: \tt TROLL Language Features",
Advances in Database Systems, Implementations and Applications: Springer Verlag, Wien, CISM Courses and Lectures no. 347, pp. 219-245, 1994.
Abstract
TaggedBibTexxml
.gif)