|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Semantics for Timed MSC |
Zheng, Tong |
2002 |
65 | 7 |
p. 85-99 15 p. |
artikel |
|
| 2 | Formal Techniques for Analysing Scenarios using Message Sequence Charts |
Bhaduri, Purandar |
2002 |
65 | 7 |
p. 1-17 17 p. |
artikel |
|
| 3 | Implied Scenario Detection in the Presence of Behaviour Constraints 1 1 Partially supported by EPSRC Grant GR/M24493 (BEADS Project). |
Uchitel, Sebastian |
2002 |
65 | 7 |
p. 65-84 20 p. |
artikel |
|
| 4 | Message Sequence Charts in the Development Process — Roles and Limitations |
Broy, Manfred |
2002 |
65 | 7 |
p. 18-33 16 p. |
artikel |
|
| 5 | Preface |
Caillaud, Benoît |
2002 |
65 | 7 |
p. 100- 1 p. |
artikel |
|
| 6 | Specification and Verification using Message Sequence Charts |
Peled, Doron |
2002 |
65 | 7 |
p. 51-64 14 p. |
artikel |
|
| 7 | Specifying Services with UML and UML-RT |
Krüger, Ingolf H. |
2002 |
65 | 7 |
p. 34-50 17 p. |
artikel |
7 gevonden resultaten