5 Search Results for "Ehrich, Hand-Dieter"

Abstract

Cite as

Hans-Dieter Ehrich, John-Jules Ch. Meyer, and Mark D. Ryan. Objects, Agents and Features (Dagstuhl Seminar 03081). Dagstuhl Seminar Report 367, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2003)

@TechReport{ehrich_et_al:DagSemRep.367,
  author =	{Ehrich, Hans-Dieter and Meyer, John-Jules Ch. and Ryan, Mark D.},
  title =	{{Objects, Agents and Features (Dagstuhl Seminar 03081)}},
  pages =	{1--6},
  ISSN =	{1619-0203},
  year =	{2003},
  type = 	{Dagstuhl Seminar Report},
  number =	{367},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.367},
  URN =		{urn:nbn:de:0030-drops-152472},
  doi =		{10.4230/DagSemRep.367},
}

Abstract

Cite as

Hans-Dieter Ehrich, Ursula Goltz, José Meseguer, and Amir Pnueli. Specification of Distributed Information Systems (Dagstuhl Seminar 00081). Dagstuhl Seminar Report 266, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)

@TechReport{ehrich_et_al:DagSemRep.266,
  author =	{Ehrich, Hans-Dieter and Goltz, Ursula and Meseguer, Jos\'{e} and Pnueli, Amir},
  title =	{{Specification of Distributed Information Systems (Dagstuhl Seminar 00081)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{266},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.266},
  URN =		{urn:nbn:de:0030-drops-151515},
  doi =		{10.4230/DagSemRep.266},
}

Abstract

Cite as

Hand-Dieter Ehrich, Ursula Goltz, and José Meseguer. Information Systems as Reactive Systems (Dagstuhl Seminar 98071). Dagstuhl Seminar Report 200, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)

@TechReport{ehrich_et_al:DagSemRep.200,
  author =	{Ehrich, Hand-Dieter and Goltz, Ursula and Meseguer, Jos\'{e}},
  title =	{{Information Systems as Reactive Systems (Dagstuhl Seminar 98071)}},
  pages =	{1--31},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{200},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.200},
  URN =		{urn:nbn:de:0030-drops-150860},
  doi =		{10.4230/DagSemRep.200},
}

Abstract

Cite as

Hans-Dieter Ehrich, Gregor Engels, Jan Paredaens, and Peter Wegner. Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434). Dagstuhl Seminar Report 95, pp. 1-47, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)

@TechReport{ehrich_et_al:DagSemRep.95,
  author =	{Ehrich, Hans-Dieter and Engels, Gregor and Paredaens, Jan and Wegner, Peter},
  title =	{{Fundamentals of Object-Oriented Languages, Systems, and Methods (Dagstuhl Seminar 9434)}},
  pages =	{1--47},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{95},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.95},
  URN =		{urn:nbn:de:0030-drops-149838},
  doi =		{10.4230/DagSemRep.95},
}

Abstract

Cite as

Hans-Dieter Ehrich, Joseph A. Goguen, and Amilcar Sernadas. Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212). Dagstuhl Seminar Report 35, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)

@TechReport{ehrich_et_al:DagSemRep.35,
  author =	{Ehrich, Hans-Dieter and Goguen, Joseph A. and Sernadas, Amilcar},
  title =	{{Foundations of Information Systems Specification and Design (Dagstuhl Seminar 9212)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{35},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemRep.35},
  URN =		{urn:nbn:de:0030-drops-149231},
  doi =		{10.4230/DagSemRep.35},
}