|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Design verification in model-based μ-controller development using an abstract component |
Choi, Yunja |
2010 |
10 | 1 |
p. 91-115 |
artikel |
|
| 2 | Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods |
Peña, Joaquin |
2009 |
10 | 1 |
p. 55-62 |
artikel |
|
| 3 | Semantics of trace relations in requirements models for consistency checking and inferencing |
Goknil, Arda |
2009 |
10 | 1 |
p. 31-54 |
artikel |
|
| 4 | Synthesis of test scenarios using UML activity diagrams |
Nayak, Ashalatha |
2009 |
10 | 1 |
p. 63-89 |
artikel |
|
| 5 | The 9th annual state of SoSyM report |
2010 |
10 | 1 |
p. 1-3 |
artikel |
||
| 6 | VbTrace: using view-based and model-driven development to support traceability in process-driven SOAs |
Tran, Huy |
2009 |
10 | 1 |
p. 5-29 |
artikel |
6 gevonden resultaten