SDL '97: Time for Testing

SDL, MSC and Trends

Inbunden, Engelska, 1997

3 679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum1997-08-18
Mått152 x 229 x 39 mm
Vikt1 300 g
FormatInbunden
SpråkEngelska
Antal sidor551
FörlagElsevier Science
ISBN9780444828163

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Programspråk inom Data och IT
Elektronik och kommunikationer inom Naturvetenskap och teknik

I. Applications (I). Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92 (C.G.N. Macario et al.). SDL-based modelling and design of IN/UMTS handover functionality (A. Alonistioti et al.). An SDL-based platform for the simulation of communication networks using dynamic block instantiations (A. Iselt, A. Autenrieth). II. Performance Analysis. SPEET SDL performance evaluation tool (M. Steppler, M. Lott). Performance analysis of TCP's flow control mechanisms using queueing SDL (J. Hintelmann, R. Westerfeld). Tuning development of distributed real-time systems with SDL: Current experience and future issues (R. Gerlich). III. Verification and Validation (I). Telephone feature verification: Translating SDL to TLA+ (D. Mery, P. Gibson). Simulation of IP mobility support: An experiment in mobile protocol specification with SDL (M. Toro). Experiences with ISDN validation models in SDL and proposal for new SDL features (N. Fischbeck). Design for testability of communication protocols based on SDL language (K. Karoui et al.). IV. MSC (I). The MSC-96 distillery (O. Haugen). Switching software test environment using MSC (S. Shiba et al.). Deriving an SDL specification with a given architecture from a set of MSCs (G. Robert et al.). MSC'96 and beyond - a critical look (S. Loidl et al.). V. SDL and MSC in International Organizations. SDL and MSC in international organizations: ITU-T (R. Reed). VI. Testing. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications (A. Ek et al.). Automating the process of test derivation from SDL specifications (G. v. Bochmann et al.). Test generation for the SSCOP-ATM networks protocol (A. Cavalli et al.). VII. MSC (II). High-level message sequence charts (S. Mauw, M. Reniers). An annotational extension of message sequence charts to support performance engineering (N. Faltin et al.). MSCs at Siemens A/S - towards the usage of MSC-96 (A. Nyeng, S. Gundersen). VIII. SDL and Other Languages (I). Automated iteration between OMT and SDL (K. Verschaeve). Introducing SDL in the development of CORBA-compliant applications (J. Carracedo et al.). A practical experience on validating GDMO-based information models with SDL'88 and SDL'92 (S. Tata et al.). IX. Code Generation. Combining SDL and C (P.-O. Haokansson et al.). Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads (R. Henke et al.). Industrial strength code generation from SDL (N. Mansurov et al.). X. SDL and Other Languages (II). Is open-EDI a potential area for use of SDL? (O. Troulet-Lambert). The unification of OMT, SDL and IDL for service creation (E. Inocencio et al.). Combining object-oriented and real-time programming from an OMT and SDL design (V. Perrier, N. Dervaux). XI. Verification and Validation (II). Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets (A. Kerbrat et al.). Specifying the steam-boiler case study with SDL (F.A. Boudjelalet al.). The SDL specification of the sliding window protocol revisited (C. Facchi et al.). XII. Applications (II). Configuring communication protocols using SDL patterns (B. Geppert et al.). Code generation using GEODE: A case study (R. Singh, J. Serviss). Author index.

Du kanske också är intresserad av

Protocol Test Systems VIII

Ana Cavalli, Stan Budkowski

Inbunden, 1996

2 859 kr

Formal Description Techniques and Protocol Specification, Testing and Verification

Stan Budkowski, Elie Najm, Stan Budkowski, Ana Cavalli, Elie Najm

Inbunden, 1998

2 859 kr

Protocol Test Systems VIII

Ana Cavalli, Stan Budkowski

Häftad, 2013

2 859 kr

Data Privacy Management and Autonomous Spontaneous Security

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre

Häftad, 2011

739 kr

Del 6

Formal Description Techniques and Protocol Specification, Testing and Verification

Stan Budkowski, Ana Cavalli, Elie Najm

Häftad, 2013

2 859 kr

Ruth Kvarnström-Jones - Systrarna på Sophiahemmet, Inbunden

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Sarah J. Maas - A Court of Splintered Harmony, Häftad

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

SDL '97: Time for Testing

SDL, MSC and Trends

Inbunden, Engelska, 1997

AvAna Cavalli,Amardeo Sarma

3 679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1997-08-18
Mått152 x 229 x 39 mm
Vikt1 300 g
FormatInbunden
SpråkEngelska
Antal sidor551
FörlagElsevier Science
ISBN9780444828163

Tillhör följande kategorier

Programvaruutveckling inom Data och IT
Programspråk inom Data och IT
Elektronik och kommunikationer inom Naturvetenskap och teknik

I. Applications (I). Designing a multi-user software environment for development and analysis using a combination of OMT and SDL92 (C.G.N. Macario et al.). SDL-based modelling and design of IN/UMTS handover functionality (A. Alonistioti et al.). An SDL-based platform for the simulation of communication networks using dynamic block instantiations (A. Iselt, A. Autenrieth). II. Performance Analysis. SPEET SDL performance evaluation tool (M. Steppler, M. Lott). Performance analysis of TCP's flow control mechanisms using queueing SDL (J. Hintelmann, R. Westerfeld). Tuning development of distributed real-time systems with SDL: Current experience and future issues (R. Gerlich). III. Verification and Validation (I). Telephone feature verification: Translating SDL to TLA+ (D. Mery, P. Gibson). Simulation of IP mobility support: An experiment in mobile protocol specification with SDL (M. Toro). Experiences with ISDN validation models in SDL and proposal for new SDL features (N. Fischbeck). Design for testability of communication protocols based on SDL language (K. Karoui et al.). IV. MSC (I). The MSC-96 distillery (O. Haugen). Switching software test environment using MSC (S. Shiba et al.). Deriving an SDL specification with a given architecture from a set of MSCs (G. Robert et al.). MSC'96 and beyond - a critical look (S. Loidl et al.). V. SDL and MSC in International Organizations. SDL and MSC in international organizations: ITU-T (R. Reed). VI. Testing. Towards the industrial use of validation techniques and automatic test generation methods for SDL specifications (A. Ek et al.). Automating the process of test derivation from SDL specifications (G. v. Bochmann et al.). Test generation for the SSCOP-ATM networks protocol (A. Cavalli et al.). VII. MSC (II). High-level message sequence charts (S. Mauw, M. Reniers). An annotational extension of message sequence charts to support performance engineering (N. Faltin et al.). MSCs at Siemens A/S - towards the usage of MSC-96 (A. Nyeng, S. Gundersen). VIII. SDL and Other Languages (I). Automated iteration between OMT and SDL (K. Verschaeve). Introducing SDL in the development of CORBA-compliant applications (J. Carracedo et al.). A practical experience on validating GDMO-based information models with SDL'88 and SDL'92 (S. Tata et al.). IX. Code Generation. Combining SDL and C (P.-O. Haokansson et al.). Derivation of efficient implementations from SDL specifications employing data referencing, integrated packet framing and activity threads (R. Henke et al.). Industrial strength code generation from SDL (N. Mansurov et al.). X. SDL and Other Languages (II). Is open-EDI a potential area for use of SDL? (O. Troulet-Lambert). The unification of OMT, SDL and IDL for service creation (E. Inocencio et al.). Combining object-oriented and real-time programming from an OMT and SDL design (V. Perrier, N. Dervaux). XI. Verification and Validation (II). Interconnecting the ObjectGeode and Caesar-Alderbaran toolsets (A. Kerbrat et al.). Specifying the steam-boiler case study with SDL (F.A. Boudjelalet al.). The SDL specification of the sliding window protocol revisited (C. Facchi et al.). XII. Applications (II). Configuring communication protocols using SDL patterns (B. Geppert et al.). Code generation using GEODE: A case study (R. Singh, J. Serviss). Author index.

Du kanske också är intresserad av

Protocol Test Systems VIII

Ana Cavalli, Stan Budkowski

Inbunden, 1996

2 859 kr

Formal Description Techniques and Protocol Specification, Testing and Verification

Stan Budkowski, Elie Najm, Stan Budkowski, Ana Cavalli, Elie Najm

Inbunden, 1998

2 859 kr

Protocol Test Systems VIII

Ana Cavalli, Stan Budkowski

Häftad, 2013

2 859 kr

Data Privacy Management and Autonomous Spontaneous Security

Joaquin Garcia-Alfaro, Guillermo Navarro-Arribas, Ana Cavalli, Jean Leneutre

Häftad, 2011

739 kr

Del 6

Formal Description Techniques and Protocol Specification, Testing and Verification

Stan Budkowski, Ana Cavalli, Elie Najm

Häftad, 2013

2 859 kr

Nyhet

Del 3

Systrarna på Sophiahemmet

Ruth Kvarnström-Jones

Inbunden, 2026

299 kr329 kr

Nyhet

Del 11

Medusa

Lars Kepler

Inbunden, 2026

289 kr319 kr

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

79 kr129 kr

Nyhet

Del 6

A Court of Splintered Harmony

Sarah J. Maas

Häftad, 2026

259 kr

Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

SDL '97: Time for Testing

SDL, MSC and Trends

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

SDL '97: Time for Testing

SDL, MSC and Trends

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av

SDL '97: Time for Testing

SDL, MSC and Trends

Produktinformation

Tillhör följande kategorier

Innehållsförteckning

Du kanske också är intresserad av