283 | -- | 284 | Rick Reed. ITU-T system design languages (SDL) |
285 | -- | 301 | Daniel Amyot. Introduction to the User Requirements Notation: learning by example |
303 | -- | 322 | Tong Zheng, Ferhat Khendek. Time consistency of MSC-2000 specifications |
323 | -- | 342 | Peter Graubmann. Describing interactions between MSC components: the MSC connectors |
343 | -- | 358 | Uwe Glässer, Reinhard Gotzhein, Andreas Prinz. The formal semantics of SDL-2000: Status and perspectives |
359 | -- | 374 | W. Eric Wong, Tatiana Sugeta, J. Jenny Li, José Carlos Maldonado. Coverage testing software architectural design in SDL |
375 | -- | 403 | Jens Grabowski, Dieter Hogrefe, György Réthy, Ina Schieferdecker, Anthony Wiles, Colin Willcock. An introduction to the testing and test control notation (TTCN-3) |
405 | -- | 417 | Nam Hee Lee, Sung Deok Cha. Generating test sequences from a set of MSCs |