License: 
Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported license (CC BY-NC-ND 3.0)
When quoting this document, please refer to the following
DOI: 10.4230/DagRep.2.12.64
URN: urn:nbn:de:0030-drops-39951
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2013/3995/
Huismann, Marieke ;
Jobstmann, Barbara ;
Schaefer, Ina ;
Stoelinga, Marielle
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)
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 |
|
Collection: |
|
Dagstuhl Reports, Volume 2, Issue 12 |
|
Issue Date: |
|
2013 |
|
Date of publication: |
|
03.05.2013 |
