SDL '97: Time for Testing :SDL, MSC and Trends

Publication subTitle :SDL, MSC and Trends

Author: Cavalli   Ana;Sarma   Amardeo  

Publisher: Elsevier Science‎

Publication year: 1997

E-ISBN: 9780080541532

P-ISBN(Paperback): 9780444828163

P-ISBN(Hardback):  9780444828163

Subject: TP3 Computers;TP301.6 algorithm theory;TP31 computer software

Language: ENG

Access to resources Favorite

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Description

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.

Chapter

Front Cover

pp.:  1 – 4

Copyright Page

pp.:  5 – 8

Introduction

pp.:  6 – 14

Table of Contents

pp.:  8 – 6

Part I: Applications I

pp.:  14 – 64

Part II: Performance Analysis

pp.:  64 – 114

Part III: Verification and Validation I

pp.:  114 – 178

Part IV: MSC I

pp.:  178 – 242

Part V: SDL and MSC in International Oganizations

pp.:  242 – 256

Part VI: Testing

pp.:  256 – 302

Part VII: MSC II

pp.:  302 – 346

Part VIII: SDL and other languages I

pp.:  346 – 394

Part IX: Code generation

pp.:  394 – 444

Part X: SDL and other languages II

pp.:  444 – 486

Part XI: Verification and Validation II

pp.:  486 – 534

Part XII: Applications II

pp.:  534 – 564

Author Index

pp.:  564 – 566

The users who browse this book also browse


No browse record.