|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An executable object-oriented semantics and its application to firewall verification |
Yatake, Kenro |
2010 |
10 | 4 |
p. 515-536 |
article |
|
| 2 | Model-based qualitative risk assessment for availability of IT infrastructures |
Zambon, Emmanuele |
2010 |
10 | 4 |
p. 553-580 |
article |
|
| 3 | Model-driven generative development of measurement software |
Monperrus, Martin |
2010 |
10 | 4 |
p. 537-552 |
article |
|
| 4 | On tracing reactive systems |
Maoz, Shahar |
2010 |
10 | 4 |
p. 447-468 |
article |
|
| 5 | Rigorous identification and encoding of trace-links in model-driven engineering |
Paige, Richard F. |
2010 |
10 | 4 |
p. 469-487 |
article |
|
| 6 | The many meanings of UML 2 Sequence Diagrams: a survey |
Micskei, Zoltán |
2010 |
10 | 4 |
p. 489-514 |
article |
|
| 7 | UML formal semantics: lessons learned |
Broy, Manfred |
2011 |
10 | 4 |
p. 441-446 |
article |
|
| 8 | Variability in UML language and semantics |
Rumpe, Bernhard |
2011 |
10 | 4 |
p. 439-440 |
article |
8 results found