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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Sherratt, Edel (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2003.
• Έκδοση: 1st ed. 2003.
• Σειρά: Lecture Notes in Computer Science, 2599
• Θέματα: Electrical engineering.; Computer communication systems.; 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).

Πίνακας περιεχομένων:

• 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.