SDL '97: Time for Testing

SDL '97: Time for Testing
Author :
Publisher : Elsevier
Total Pages : 565
Release :
ISBN-10 : 9780080541532
ISBN-13 : 0080541534
Rating : 4/5 (32 Downloads)

Book Synopsis SDL '97: Time for Testing by : Ana Cavalli

Download or read book SDL '97: Time for Testing written by Ana Cavalli and published by Elsevier. This book was released on 1997-08-18 with total page 565 pages. Available in PDF, EPUB and Kindle. Book excerpt: As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL itself. SDL '97 provides the opportunity to reflect the course SDL has taken and why it has been successful over two decades where other languages addressing the same market have failed. SDL now also has a permanent companion in MSC (Message Sequence Charts). MSC today 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. MSC has strong structuring concepts to specify message sequences for large systems and can be used to develop scenarios, which is extremely useful for test and design environments. The SDL Forum today really is the SDL and MSC Forum.


SDL '97: Time for Testing Related Books

SDL '97: Time for Testing
Language: en
Pages: 565
Authors: Ana Cavalli
Categories: Computers
Type: BOOK - Published: 1997-08-18 - Publisher: Elsevier

DOWNLOAD EBOOK

As Cavalli and Sarma astutely remarked in the introduction to this volume, it is quite remarkable that SDL '97 may have the first participant younger than SDL i
Formal Methods for Protocol Engineering and Distributed Systems
Language: en
Pages: 488
Authors: Jianping Wu
Categories: Computers
Type: BOOK - Published: 2013-06-05 - Publisher: Springer

DOWNLOAD EBOOK

Formal Methods for Protocol Engineering and Distributed Systems addresses formal description techniques (FDTs) applicable to distributed systems and communicati
SDL 2001: Meeting UML
Language: en
Pages: 450
Authors: Rick Reed
Categories: Technology & Engineering
Type: BOOK - Published: 2003-06-29 - Publisher: Springer

DOWNLOAD EBOOK

This volume contains the papers presented at the Tenth SDL Forum, Cop- hagen. SDL is the Speci?cation and Description Language ?rst standardized by the world te
Telecommunications and beyond: The Broader Applicability of SDL and MSC
Language: en
Pages: 263
Authors: Edel Sherratt
Categories: Technology & Engineering
Type: BOOK - Published: 2007-09-04 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on SDL and MSC, SAM 2002, held in Aberystwyth, UK in June 200
Formal Description Techniques and Protocol Specification, Testing and Verification
Language: en
Pages: 462
Authors: Stan Budkowski
Categories: Technology & Engineering
Type: BOOK - Published: 2013-04-17 - Publisher: Springer

DOWNLOAD EBOOK

Formal Description Techniques and Protocol Specification, Testing and Verification addresses formal description techniques (FDTs) applicable to distributed syst