|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
13 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Model-Based Approach to the Verification and Adaptation of WF/.NET Components |
Cubo, Javier |
2008 |
215 | C |
p. 39-55 17 p. |
article |
|
| 2 | An Open System Operational Semantics for an Object-Oriented and Component-Based Language |
Blanchette, Jasmin Christian |
2008 |
215 | C |
p. 151-169 19 p. |
article |
|
| 3 | Checking Equivalence for Reo Networks |
Blechmann, Tobias |
2008 |
215 | C |
p. 209-226 18 p. |
article |
|
| 4 | Formalization of Component Substitutability |
Belguidoum, Meriem |
2008 |
215 | C |
p. 75-92 18 p. |
article |
|
| 5 | Liveness in Interaction Systems |
Majster-Cederbaum, Mila |
2008 |
215 | C |
p. 57-74 18 p. |
article |
|
| 6 | Modular Functional Descriptions |
Schätz, Bernhard |
2008 |
215 | C |
p. 23-38 16 p. |
article |
|
| 7 | Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems |
Cámara, Javier |
2008 |
215 | C |
p. 111-130 20 p. |
article |
|
| 8 | Preface |
Lumpe, Markus |
2008 |
215 | C |
p. 1-3 3 p. |
article |
|
| 9 | Process Algebra with Local Communication |
van Weerdenburg, Muck |
2008 |
215 | C |
p. 191-208 18 p. |
article |
|
| 10 | Residual for Component Specifications |
Raclet, Jean-Baptiste |
2008 |
215 | C |
p. 93-110 18 p. |
article |
|
| 11 | Resource-Oriented Design Framework for Embedded System Components |
Kim, Jin-Hyun |
2008 |
215 | C |
p. 171-189 19 p. |
article |
|
| 12 | The STSLib Project: Towards a Formal Component Model Based on STS |
Fernandes, Fabricio |
2008 |
215 | C |
p. 131-149 19 p. |
article |
|
| 13 | Using Aspects for Enforcing Formal Architectural Invariants |
Kallel, Slim |
2008 |
215 | C |
p. 5-21 17 p. |
article |
13 results found