|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Agile MDA Approach for Service-Oriented Components |
Motogna, Simona |
2009 |
253 | 1 |
p. 95-110 16 p. |
artikel |
|
| 2 | Analyzing a Pattern-Based Model of a Real-Time Turntable System |
Slutej, Davor |
2009 |
253 | 1 |
p. 161-178 18 p. |
artikel |
|
| 3 | Automated Construction of Reasonable Environment for Java Components |
Parizek, Pavel |
2009 |
253 | 1 |
p. 145-160 16 p. |
artikel |
|
| 4 | Automatic, Model-Based Software Performance Improvement for Component-based Software Designs |
Martens, Anne |
2009 |
253 | 1 |
p. 77-93 17 p. |
artikel |
|
| 5 | From Architectural to Behavioural Specification of Services |
Bocchi, Laura |
2009 |
253 | 1 |
p. 3-21 19 p. |
artikel |
|
| 6 | Model-based Runtime Verification Framework |
Zhao, Yuhong |
2009 |
253 | 1 |
p. 179-193 15 p. |
artikel |
|
| 7 | On the Specification of Full Contracts |
Fenech, Stephen |
2009 |
253 | 1 |
p. 39-55 17 p. |
artikel |
|
| 8 | Parameter Dependencies for Component Reliability Specifications |
Koziolek, Heiko |
2009 |
253 | 1 |
p. 23-38 16 p. |
artikel |
|
| 9 | Preface |
Happe, Jens |
2009 |
253 | 1 |
p. 1-2 2 p. |
artikel |
|
| 10 | Refinement of Interface Automata Strengthened by Action Semantics |
Mouelhi, Sebti |
2009 |
253 | 1 |
p. 111-126 16 p. |
artikel |
|
| 11 | Using Heuristics to Automate Parameter Generation for Benchmarking of Java Methods |
Kuperberg, Michael |
2009 |
253 | 1 |
p. 57-75 19 p. |
artikel |
|
| 12 | Wrap Your Objects Safely |
Owe, Olaf |
2009 |
253 | 1 |
p. 127-143 17 p. |
artikel |
12 gevonden resultaten