|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An executable object-oriented semantics and its application to firewall verification |
Yatake, Kenro |
2010 |
10 | 4 |
p. 515-536 |
artikel |
|
| 2 | Model-based qualitative risk assessment for availability of IT infrastructures |
Zambon, Emmanuele |
2010 |
10 | 4 |
p. 553-580 |
artikel |
|
| 3 | Model-driven generative development of measurement software |
Monperrus, Martin |
2010 |
10 | 4 |
p. 537-552 |
artikel |
|
| 4 | On tracing reactive systems |
Maoz, Shahar |
2010 |
10 | 4 |
p. 447-468 |
artikel |
|
| 5 | Rigorous identification and encoding of trace-links in model-driven engineering |
Paige, Richard F. |
2010 |
10 | 4 |
p. 469-487 |
artikel |
|
| 6 | The many meanings of UML 2 Sequence Diagrams: a survey |
Micskei, Zoltán |
2010 |
10 | 4 |
p. 489-514 |
artikel |
|
| 7 | UML formal semantics: lessons learned |
Broy, Manfred |
2011 |
10 | 4 |
p. 441-446 |
artikel |
|
| 8 | Variability in UML language and semantics |
Rumpe, Bernhard |
2011 |
10 | 4 |
p. 439-440 |
artikel |
8 gevonden resultaten