SDL 2001

Meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings

By: Rick Reed (Editor), Jeanne Reed (Editor)

Write A Review

Paperback | 18 June 2001

At a Glance

Paperback
456 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 7 to 10 business days

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 telecommunications body, the International Telecommunications Union (ITU), more than 20 years ago in 1976. While the original language and domain of application has evolved signi?cantly, the foundations of SDL as a graphical, state-transition and process-communication language for real-time systems have remained. Today SDL has also grown to be one notation in the set of uni?ed modelling languages recommended by the ITU (ASN.1, MSC, SDL, ODL, and TTCN) that can be used in methodology taking engineering of systems from requirements capture through to testing and operation. The SDL Forum is held every two years and has become the most imp- tant event in the calendar for anyone involved in SDL and related languages and technology. The SDL Forum Society that runs the Forum is a non-pro?t organization whose aim it is to promote and develop these languages.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Engineering & Technology Electronics & Communications Engineering Communications Engineering & Telecommunications Medicine Medicine in General Computer Networking & Communications Computer Science Systems Analysis & Design

Artificial Intelligence Expert Systems & Knowledge-Based Systems Computer Hardware Network Hardware Computer Architecture & Logic Design Energy Technology & Engineering Electrical Engineering

Tools
Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems	p. 1
Using Message Sequence Charts to Accelerate Maintenance of Existing Systems	p. 19
2001 and Beyond: Language Evolution
From MSC-2000 to UML 2.0 - The Future of Sequence Diagrams	p. 38
SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems	p. 52
Combined SDL and UML
Collaboration-Based Design of SDL Systems	p. 72
Using UML for Implementation Design of SDL Systems	p. 90
Deployment of SDL Systems Using UML	p. 107
Unified Testing
Invited Presentation: ETSI Testing Activities and the Use of TTCN-3	p. 123
HyperMSCs with Connectors for Advanced Visual System Modelling and Testing	p. 129
Graphical Test Specification - The Graphical Format of TTCN-3	p. 148
Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation	p. 168
Timing
Verification of Quantitative Temporal Properties of SDL Specifications	p. 182
A General Approach for the Specification of Real-Time Systems with SDL	p. 203
Timed Extensions for SDL	p. 223
UUnified ITU-T Language
ASN.1 Is Reaching Out!	p. 241
Distributed Systems: From Models to Components	p. 250
Deriving Message Sequence Charts from Use Case Maps Scenario Specifications	p. 268
SDL Application
An SDL Implementation Framework for Third Generation Mobile Communications System	p. 288
OSPF Efficient LSA Refreshment Function in SDL	p. 300
Using SDL in a Stateless Environment	p. 316
MSC
An MSC Based Representation of DiCons	p. 328
Some Pathological Message Sequence Charts, and How to Detect Them	p. 348
An Execution Semantics for MSC-2000	p. 365
Test and Verification
Comparing TorX, Autolink, TGV and UIO Test Algorithms	p. 379
Verifying Large SDL-Specifications Using Model Checking	p. 403
Applying SDL Specifications and Tools to the Verification of Procedures	p. 421
Author Index	p. 439
Table of Contents provided by Publisher. All Rights Reserved.

SDL 2001

Meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Programming & Scripting Languages

Python Crash Course

3rd Edition - A Hands-On, Project-Based Introduction to Programming

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Beginner's Step-by-Step Coding Course

Learn Computer Programming the Easy Way

Python Workout, Second Edition

200 ten-minute exercises

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Python All-in-One For Dummies

3rd Edition

The Practical Guide

Introduction to Programming Languages

Typesetting Mathematics With Latex

The Pragmatic Programmer 2nd edition

your journey to mastery, 20th Anniversary Edition

C# 12 in a Nutshell

The Definitive Reference

Learning Web Design

A Beginner's Guide to Html, Css, Javascript, and Web Graphics

Python for Excel

A Modern Environment for Automation and Data Analysis

Python Automation For Dummies

For Dummies (Computer/Tech)

Coding For Dummies, All New Edition

For Dummies (Computer/Tech)

Modern Data Analytics in Excel

Using Power Query, Power Pivot and More for Enhanced Data Analytics

Learning Go

An Idiomatic Approach to Real-World Go Programming

Typescript Cookbook

Real World Type-Level Programming

Apache Iceberg: The Definitive Guide

Data Lakehouse Functionality, Performance, and Scalability on the Data Lake

Learning Python

Powerful Object-Oriented Programming

C++ How to Program, Global Edition

10th Edition

Concurrency in C# Cookbook

2nd Edition - Asynchronous, Parallel, and Multithreaded Programming

Problem Solving and Program Design in C, Global Edition

8th Edition

Java

An Introduction to Problem Solving and Programming, 8th Global Edition

This product is categorised by