|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
23 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Component-based Approach to Embedded Software Design |
Polato, Ivanilton |
2006 |
160 | C |
p. 255-273 19 p. |
artikel |
|
| 2 | A Component Model for Architectural Programming |
Baumeister, Hubert |
2006 |
160 | C |
p. 75-96 22 p. |
artikel |
|
| 3 | Algebraic Specification and Coalgebraic Synthesis of Mealy Automata |
Rutten, J.J.M.M. |
2006 |
160 | C |
p. 305-319 15 p. |
artikel |
|
| 4 | Architecture Normalization for Component-based Systems |
Wen, Lian |
2006 |
160 | C |
p. 335-348 14 p. |
artikel |
|
| 5 | A Theory of Reactive Components |
He, Jifeng |
2006 |
160 | C |
p. 173-195 23 p. |
artikel |
|
| 6 | Building Components from Functions |
Schäz, Bernhard |
2006 |
160 | C |
p. 321-334 14 p. |
artikel |
|
| 7 | Component-Based Specification of Distributed Systems |
Malcolm, Grant |
2006 |
160 | C |
p. 211-224 14 p. |
artikel |
|
| 8 | Component Identification Through Program Slicing |
Rodrigues, Nuno F. |
2006 |
160 | C |
p. 291-304 14 p. |
artikel |
|
| 9 | Cooperation-based Invariants for OO Languages |
Middelkoop, Ronald |
2006 |
160 | C |
p. 225-237 13 p. |
artikel |
|
| 10 | Coordination for Component Composition |
Arbab, Farhad |
2006 |
160 | C |
p. 15-40 26 p. |
artikel |
|
| 11 | Deriving Available Behavior All Out from Incompatible Component Compositions |
Zhang, Yan |
2006 |
160 | C |
p. 349-361 13 p. |
artikel |
|
| 12 | Model Checking of Component Behavior Specification: A Real Life Experience |
Jezek, Pavel |
2006 |
160 | C |
p. 197-210 14 p. |
artikel |
|
| 13 | On the Contribution of a τ-simulation in the Incremental Modeling of Timed Systems |
Bellegarde, Françoise |
2006 |
160 | C |
p. 97-111 15 p. |
artikel |
|
| 14 | On the Impact of Formal Methods in the SOA |
Bocchi, Laura |
2006 |
160 | C |
p. 113-126 14 p. |
artikel |
|
| 15 | Preface |
Liu, Zhiming |
2006 |
160 | C |
p. 1-2 2 p. |
artikel |
|
| 16 | Proving Component Interoperability with B Refinement |
Chouali, Samir |
2006 |
160 | C |
p. 157-172 16 p. |
artikel |
|
| 17 | Reo Based Interaction Model |
Amaro, Silvia |
2006 |
160 | C |
p. 3-14 12 p. |
artikel |
|
| 18 | SaveCCM: An Analysable Component Model for Real-Time Systems |
Carlson, Jan |
2006 |
160 | C |
p. 127-140 14 p. |
artikel |
|
| 19 | Semantics of UML 2.0 Interactions with Variabilities |
Cengarle, María Victoria |
2006 |
160 | C |
p. 141-155 15 p. |
artikel |
|
| 20 | Software Components: a Formal Semantics Based on Coloured Petri Nets |
Bastide, Remi |
2006 |
160 | C |
p. 57-73 17 p. |
artikel |
|
| 21 | Stepwise Refinement of Processes |
Reeves, Steve |
2006 |
160 | C |
p. 275-289 15 p. |
artikel |
|
| 22 | Towards an Automated Deployment Planner for Composition of Web Services as Software Components |
Heydarnoori, Abbas |
2006 |
160 | C |
p. 239-253 15 p. |
artikel |
|
| 23 | Verification of Distributed Hierarchical Components |
Barros, Tomás |
2006 |
160 | C |
p. 41-55 15 p. |
artikel |
23 gevonden resultaten