| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Adding Mobility to Software Architectures
|
Lopes, Antónia
|
|
2004
|
97 |
C |
p. 241-258
18 p.
|
artikel
|
| 2 |
A Logic with Temporal Glue for Mixed Specifications
|
Aiguie, Marc
|
|
2004
|
97 |
C |
p. 155-174
20 p.
|
artikel
|
| 3 |
A Type System for the Safe Instantiation of Components
|
Bezem, Marc
|
|
2004
|
97 |
C |
p. 197-217
21 p.
|
artikel
|
| 4 |
Correspondence Assertions for Process Synchronization in Concurrent Communications
|
Bonelli, Eduardo
|
|
2004
|
97 |
C |
p. 175-195
21 p.
|
artikel
|
| 5 |
Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems
|
de Alfaro, Luca
|
|
2004
|
97 |
C |
p. 3-23
21 p.
|
artikel
|
| 6 |
Modeling Component Connectors in Reo by Constraint Automata
|
Arbab, Farhad
|
|
2004
|
97 |
C |
p. 25-46
22 p.
|
artikel
|
| 7 |
On the Expressiveness of Relative-Timed Coordination Models
|
Linden, I
|
|
2004
|
97 |
C |
p. 125-153
29 p.
|
artikel
|
| 8 |
On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study
|
Menezes, Ronaldo
|
|
2004
|
97 |
C |
p. 97-124
28 p.
|
artikel
|
| 9 |
On the specification of software adaptation
|
Brogi, Antonio
|
|
2004
|
97 |
C |
p. 47-65
19 p.
|
artikel
|
| 10 |
Preface
|
Brogi, Antonio
|
|
2004
|
97 |
C |
p. 1-2
2 p.
|
artikel
|
| 11 |
Reasoning About Context-Awareness in the Presence of Mobility
|
Julien, Christine
|
|
2004
|
97 |
C |
p. 259-276
18 p.
|
artikel
|
| 12 |
Three Performance Models at Work: A Software Designer Perspective
|
Cortellessa, Vittorio
|
|
2004
|
97 |
C |
p. 219-239
21 p.
|
artikel
|
| 13 |
Verifying Properties of Coordination by Well-Structured Transition Systems
|
Viroli, Mirko
|
|
2004
|
97 |
C |
p. 67-96
30 p.
|
artikel
|
Tijdschrift beschrijving