Abstract
| Original language | English |
|---|---|
| Pages (from-to) | 64-88 |
| Number of pages | 25 |
| Journal | Dagstuhl reports |
| Volume | 2 |
| Issue number | 12 |
| DOIs | |
| Publication status | Published - 2013 |
| Event | Dagstuhl Seminar 2012: Divide and Conquer: the Quest for Compositional Design and Analysis - Schloss Dagstuhl, Wadern, Germany Duration: 16 Dec 2012 → 21 Dec 2012 Conference number: 12511 https://www.dagstuhl.de/en/program/calendar/semhp/?semnr=12511 |
Fingerprint
Keywords
- EC Grant Agreement nr.: FP7/318490
- EC Grant Agreement nr.: FP7/2007-2013
- EC Grant Agreement nr.: FP7/287767
- EWI-24801
- Design
- Algorithms
- Languages
- Theory
- METIS-305904
- IR-91467
- Verification
Cite this
}
Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511). / Huisman, Marieke; Jobstmann, B.; Schaefer, I; Stoelinga, Mariëlle Ida Antoinette.
In: Dagstuhl reports, Vol. 2, No. 12, 2013, p. 64-88.Research output: Contribution to journal › Article › Academic
TY - JOUR
T1 - Divide and conquer: the quest for compositional design and analysis (Dagstuhl Seminar 12511)
AU - Huisman, Marieke
AU - Jobstmann, B.
AU - Schaefer, I
AU - Stoelinga, Mariëlle Ida Antoinette
PY - 2013
Y1 - 2013
N2 - 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.
AB - 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.
KW - EC Grant Agreement nr.: FP7/318490
KW - EC Grant Agreement nr.: FP7/2007-2013
KW - EC Grant Agreement nr.: FP7/287767
KW - EWI-24801
KW - Design
KW - Algorithms
KW - Languages
KW - Theory
KW - METIS-305904
KW - IR-91467
KW - Verification
U2 - 10.4230/DagRep.2.12.64
DO - 10.4230/DagRep.2.12.64
M3 - Article
VL - 2
SP - 64
EP - 88
JO - Dagstuhl reports
JF - Dagstuhl reports
SN - 2192-5283
IS - 12
ER -