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