My Account Log in

1 option

Telecommunications and beyond: The Broader Applicability of SDL and MSC : Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers / edited by Edel Sherratt.

LIBRA Q341 .P7 2004
Loading location information...

Available from offsite location This item is stored in our repository but can be checked out.

Log in to request item
Format:
Book
Contributor:
Sherratt, Edel, 1958- editor.
SpringerLink (Online service)
Series:
Computer Science (Springer-11645)
Lecture notes in computer science 0302-9743 ; 2599.
Lecture Notes in Computer Science, 0302-9743 ; 2599
Language:
English
Subjects (All):
Electrical engineering.
Computer networks.
Software engineering.
Programming languages (Electronic computers).
Computer logic.
Application software.
Communications Engineering, Networks.
Computer Communication Networks.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet).
Local Subjects:
Communications Engineering, Networks.
Computer Communication Networks.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Information Systems Applications (incl. Internet).
Physical Description:
1 online resource (IX, 256 pages).
Edition:
First edition 2003.
Contained In:
Springer eBooks
Place of Publication:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
System Details:
text file PDF
Contents:
SDL
CoSDL - An Experimental Language for Collaboration Specification
URN: Towards a New Standard for the Visual Description of Requirements
Expression of Time and Duration Constraints in SDL
SDL Time Extensions from a Semantic Point of View
Micro Protocol Design: The SNMP Case Study1
Implementation of UMTS Protocol Layers for the Radio Access Interface
Object-Oriented Specification of Protocols for Reusability
Rapid Development of Network Software via SDL/Socket Interfaces
Understanding Existing Software with Use Case Map Scenarios
Techniques for Abstracting SDL Specifications
Model-Based Generation of SDL Specifications for the Early Prototyping of Reactive Systems
MSC and TTCN
Automatic Generation of Conformance Tests from Message Sequence Charts
MSC Connectors - The Philosopher's Stone
An Extension for MSC-2000 and Its Application
The Graphical Format of TTCN-3 in the Context of MSC and UML.
Other Format:
Printed edition:
ISBN:
978-3-540-36573-0
9783540365730
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

Find

Home Release notes

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Find catalog Using Articles+ Using your account