|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
15 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Calculus of Components with Dynamic Type-Checking |
Fagorzi, Sonia |
2007 |
182 | C |
p. 73-90 18 p. |
article |
|
| 2 | An Adaptation-based Approach to Incrementally Build Component Systems |
Poizat, Pascal |
2007 |
182 | C |
p. 155-170 16 p. |
article |
|
| 3 | Applications = Components + GLoo |
Lumpe, Markus |
2007 |
182 | C |
p. 123-138 16 p. |
article |
|
| 4 | Combining Product Lines and Model-Based Development |
Schätz, Bernhard |
2007 |
182 | C |
p. 171-186 16 p. |
article |
|
| 5 | Component Substitutability via Equivalencies of Component-Interaction Automata |
Černá, Ivana |
2007 |
182 | C |
p. 39-55 17 p. |
article |
|
| 6 | Component Updates as a Boolean Optimization Problem |
Stuckenholz, Alexander |
2007 |
182 | C |
p. 187-200 14 p. |
article |
|
| 7 | Dependency Management in Software Component Deployment |
Belguidoum, Meriem |
2007 |
182 | C |
p. 17-32 16 p. |
article |
|
| 8 | From Theory to Practice in Distributed Component Systems |
Caromel, Denis |
2007 |
182 | C |
p. 33-38 6 p. |
article |
|
| 9 | Model-checking Distributed Components: The Vercors Platform |
Barros, Tomás |
2007 |
182 | C |
p. 3-16 14 p. |
article |
|
| 10 | Modeling Environment for Component Model Checking from Hierarchical Architecture |
Parizek, Pavel |
2007 |
182 | C |
p. 139-153 15 p. |
article |
|
| 11 | Parametric Performance Contracts for Software Components with Concurrent Behaviour |
Happe, Jens |
2007 |
182 | C |
p. 91-106 16 p. |
article |
|
| 12 | Preface |
Mencl, Vladimir |
2007 |
182 | C |
p. 1-2 2 p. |
article |
|
| 13 | Safety-Oriented Design of Component Assemblies using Safety Interfaces |
Elmqvist, Jonas |
2007 |
182 | C |
p. 57-72 16 p. |
article |
|
| 14 | SAT-based Abstraction Refinement for Real-time Systems |
Kemper, Stephanie |
2007 |
182 | C |
p. 107-122 16 p. |
article |
|
| 15 | Self Management and the Future of Software Design |
Van Roy, Peter |
2007 |
182 | C |
p. 201-217 17 p. |
article |
15 results found