SDL '97: Time for Testing

Provides the opportunity to reflect the course SDL has taken and why it has been successful. SDL also has a permanent companion in MSC (Message Sequence Charts), which is a language in its own right and has its areas of application both in conjunction with SDL and independently or in combination with other techniques.