Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Huismann, Marieke; Jobstmann, Barbara; Schaefer, Ina; Stoelinga, Marielle http://www.dagstuhl.de/dagrep License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-39951
URL:

; ; ;
Weitere Beteiligte (Hrsg. etc.): Marieke Huisman and Barbara Jobstmann and Ina Schaefer and Marielle Stoelinga

Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)

pdf-format:


Abstract

On December 17 to 21, the Dagstuhl seminar "Divide and Conquer: the Quest for Compositional Design and Analysis" was organized. Topic was the compositionally, a central theme in computer science, but its applications, methods, techniques are scattered around many different disciplines. Therefore, this workshop brought together scientists from different disciplines, including deductive verification, model checking, software product lines, component interfaces.

BibTeX - Entry

@Article{huismann_et_al:DR:2013:3995,
  author =	{Marieke Huismann and Barbara Jobstmann and Ina Schaefer and Marielle Stoelinga},
  title =	{{Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511)}},
  pages =	{64--88},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2013},
  volume =	{2},
  number =	{12},
  editor =	{Marieke Huisman and Barbara Jobstmann and Ina Schaefer and Marielle Stoelinga},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2013/3995},
  URN =		{urn:nbn:de:0030-drops-39951},
  doi =		{10.4230/DagRep.2.12.64},
  annote =	{Keywords: Algorithms, Design, Languages, Theory, Verification}
}

Keywords: Algorithms, Design, Languages, Theory, Verification
Seminar: Dagstuhl Reports, Volume 2, Issue 12
Issue date: 2013
Date of publication: 2013


DROPS-Home | Fulltext Search | Imprint Published by LZI