| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Generic Framework for Connector Architectures based on Components and Transformations
|
Ehrig, H.
|
|
2004
|
108 |
C |
p. 53-67
15 p.
|
artikel
|
| 2 |
A Software Architecture-Based Approach for Formalising Middleware Behaviour
|
Rosa, Nelson Souto
|
|
2004
|
108 |
C |
p. 39-51
13 p.
|
artikel
|
| 3 |
Formally Specifying Dynamic Data Structures for Embedded Software Design: an Initial Approach
|
Daylight, Edgar G.
|
|
2004
|
108 |
C |
p. 99-112
14 p.
|
artikel
|
| 4 |
Formal Modeling Of Middleware-based Distributed Systems
|
Ray, Arnab
|
|
2004
|
108 |
C |
p. 21-37
17 p.
|
artikel
|
| 5 |
Generating Snapshots of a Component Setting
|
Moschoyiannis, Sotiris
|
|
2004
|
108 |
C |
p. 83-98
16 p.
|
artikel
|
| 6 |
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems
|
Aguirre, Nazareno
|
|
2004
|
108 |
C |
p. 69-81
13 p.
|
artikel
|
| 7 |
Managing Complexity in Software Development with Formally Based Tools
|
Heitmeyer, Constance
|
|
2004
|
108 |
C |
p. 11-19
9 p.
|
artikel
|
| 8 |
Preface
|
Küster-Filipe, Juliana
|
|
2004
|
108 |
C |
p. 1-2
2 p.
|
artikel
|
| 9 |
Time, Abstraction, Causality and Modularity in Interactive Systems
|
Broy, Manfred
|
|
2004
|
108 |
C |
p. 3-9
7 p.
|
artikel
|
Tijdschrift beschrijving