| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Boolean Algebra of Contracts for Assume-guarantee Reasoning
|
Glouche, Yann
|
|
2010
|
263 |
C |
p. 111-127
17 p.
|
artikel
|
| 2 |
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata
|
Lumpe, Markus
|
|
2010
|
263 |
C |
p. 179-195
17 p.
|
artikel
|
| 3 |
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation
|
Cansado, Antonio
|
|
2010
|
263 |
C |
p. 95-110
16 p.
|
artikel
|
| 4 |
A Lightweight Approach to Customizable Composition Operators for Java-like Classes
|
Lagorio, Giovanni
|
|
2010
|
263 |
C |
p. 161-177
17 p.
|
artikel
|
| 5 |
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems
|
Kloos, Johannes
|
|
2010
|
263 |
C |
p. 145-160
16 p.
|
artikel
|
| 6 |
Automated Formalisation for Verification of Diagrammatic Models
|
Williams, James R.
|
|
2010
|
263 |
C |
p. 211-226
16 p.
|
artikel
|
| 7 |
Behaviour Protocols for Interacting Stateful Components
|
Bauer, Sebastian S.
|
|
2010
|
263 |
C |
p. 47-66
20 p.
|
artikel
|
| 8 |
Composition of Services with Constraints
|
Balbiani, Philippe
|
|
2010
|
263 |
C |
p. 31-46
16 p.
|
artikel
|
| 9 |
Model Checking of Component Protocol Conformance – Optimizations by Reducing False Negatives
|
Both, Andreas
|
|
2010
|
263 |
C |
p. 67-94
28 p.
|
artikel
|
| 10 |
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems
|
Khakpour, Narges
|
|
2010
|
263 |
C |
p. 129-143
15 p.
|
artikel
|
| 11 |
Preface
|
Meng, Sun
|
|
2010
|
263 |
C |
p. 1-3
3 p.
|
artikel
|
| 12 |
Reachability in Tree-Like Component Systems is PSPACE-Complete
|
Majster-Cederbaum, Mila
|
|
2010
|
263 |
C |
p. 197-210
14 p.
|
artikel
|
| 13 |
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies
|
André, Pascal
|
|
2010
|
263 |
C |
p. 5-30
26 p.
|
artikel
|
Tijdschrift beschrijving