Del i serien Lecture Notes in Computer Science

Telecommunications and beyond: The Broader Applicability of SDL and MSC

Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers

Häftad, Engelska, 2003

719 kr

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

TheSDLandMSC(SAM)workshopisheldeverytwoyearstoprovideanopen discussionarenabetweentheSDLForummeetings. The3rdSAMWorkshopwas heldinAberystwyth,Wales,UKfromJune24toJune26,2002,toaddressthe theme Telecommunication and Beyond: the Broader Applicability of SDL and MSC. Participants included SDL forum members, tool vendors, standardizers, industrialusersandresearchers. TheworkshopwasorganizedbytheSDLForum Society,andtheUniversityofWales,Aberystwyth. The15paperscollectedherewereselectedforpresentationattheworkshop, andthenrevisedinthelightofdiscussions. TheworkshopalsofeaturedanSDL design contest, whose entries are accessible via the SDL Forum society website athttp://www. sdl-forum. org/SAMcontest/ The papers are divided into two parts, with the ?rst 11 papers focusing on SDL,andthe?nalfouronMSCandTTCN. December2002 EdelSherratt Organization SAM 2002 was organized by the Department of Computer Science, University ofWales,Aberystwyth,andtheSDLForumSociety.Executive Committee SDLForumSocietyCo-chair: RickReed,Chairman,SDLForumSociety LocalCo-chair: EdelSherratt,UniversityofWales, Aberystwyth Committeemembers: ChrisLoftus,UniversityofWales,Aberystwyth MoraMcCallum,UniversityofWales, Aberystwyth NealSnooke,UniversityofWales,Aberystwyth JonathonBell,UniversityofWales, Aberystwyth UweGl. asser,Treasurer,SDLForumSociety AndreasPrinz,Secretary,SDLForumSociety JeanneReed,Administration,SDLForum Society Program Committee ConferenceChair:RickReed ProgramChair:AndreasPrinz OrganizingChair:EdelSherratt Demonstrations: UweGl. asser ChrisLoftus Committeemembers: ReinhardGotzhein JoachimFischer DieterHogrefe EkkartRudolph RolvBraek SusanneGraf SjoukeMauw NikolaiMansurov CliveJervis DanielAmyot ThomasWeigert BobProbert VIII Organization Referees RickReed JoachimFischer NikolaiMansurov AndreasPrinz DieterHogrefe CliveJervis EdelSherratt EkkartRudolph DanielAmyot UweGl. asser RolvBraek ThomasWeigert ChrisLoftus SusanneGraf BobProbert ReinhardGotzhein SjoukeMauw Table of Contents SDL CoSDL-AnExperimentalLanguageforCollaborationSpeci?cation ...1 Frank R" o...ler, Birgit Geppert, Reinhard Gotzhein URN:TowardsaNewStandardfortheVisual DescriptionofRequirements...21 Daniel Amyot, Gunter Mussbacher ExpressionofTimeandDurationConstraintsinSDL ...38 Susanne Graf SDLTimeExtensionsfromaSemanticPointofView...53 Andreas Prinz MicroProtocolDesign:TheSNMPCaseStudy...61 Reinhard Gotzhein, Ferhat Khendek, Philipp Schaible ImplementationofUMTSProtocolLayersforthe RadioAccessInterface...74 Javier Col as, J. M. P erez, Javier Poncela, J. T. Entrambasaguas Object-OrientedSpeci?cationofProtocolsforReusability...90 Andreas Prinz, Mario Schwarz RapidDevelopmentofNetworkSoftwareviaSDL/SocketInterfaces ...103 Tae-Hyong Kim, Robert L. Probert, Igor Sales, Alan Williams UnderstandingExistingSoftwarewithUseCaseMapScenarios...124 Daniel Amyot, Nikolai Mansurov, Gunter Mussbacher TechniquesforAbstractingSDLSpeci?cations...141 Sergiy Boroday, Roland Groz, Alex Petrenko, Yves-Marie Quemener Model-BasedGenerationofSDLSpeci?cationsforthe EarlyPrototypingofReactiveSystems ...158 Andreas Metzger, Stefan Queins MSC and TTCN AutomaticGenerationofConformanceTestsfrom MessageSequenceCharts ...

Produktinformation

Utgivningsdatum2003-03-18
Mått155 x 233 x 15 mm
Vikt411 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor256
Upplaga2003
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540008774

Tillhör följande kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik

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.

Mer från samma författare

Del 11753

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

Häftad, 2019

739 kr

Mer från samma serie

Agent Mediated Electronic Commerce II

Alexandros Moukas, Carles Sierra, Fredrik Ygge

Häftad, 2000

739 kr

COLOG-88

Per Martin-Löf, Grigori Mints

Häftad, 1990

719 kr

Compiler Construction

Albert Cohen

Häftad, 2014

709 kr

Del 16375

Interactive Storytelling

María Cecilia Reyes, Frank Nack

Häftad, 2025

719 kr

Theory of Cryptography

Yehuda Lindell

Häftad, 2014

739 kr

Computer Science Logic

Dirk van Dalen, Marc Bezem

Häftad, 1997

739 kr

Reliable Software Technology – Ada-Europe 2005

Tullio Vardanega, Andy Wellings

Häftad, 2005

739 kr

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki - Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries, Häftad

Del 16376

Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries

Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki

Häftad, 2026

1 209 kr

Objects and Databases

Alan Dearle, Roberto V. Zicari

Häftad, 2010

739 kr

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi - Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops, Häftad

Del 15401

Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops

Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi

Häftad, 2025

959 kr

Du kanske också är intresserad av

Del 11753

System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0

Pau Fonseca i Casas, Maria-Ribera Sancho, Edel Sherratt

Häftad, 2019

739 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

Threshing Day (Limited Deluxe Edition)

Rebecca Yarros

Inbunden, 2026

339 kr

Nyhet

Jag såg hur vi var stjärnor

Laleh Pourkarim

Inbunden, 2026

329 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

Nyhet

Del 4

Sot

Sara Strömberg

Pocket, 2026

(2)

79 kr129 kr

Del 1

Sly

Sara Strömberg

Pocket, 2022

79 kr129 kr

Nyhet

Pixi adventskalender 2026 : med omslag av Maria Löfgren

Flera Författare

Häftad, 2026

299 kr

Del 3

Skinn

Sara Strömberg

Pocket, 2024

79 kr129 kr

Del i serien Lecture Notes in Computer Science

Telecommunications and beyond: The Broader Applicability of SDL and MSC

Third International Workshop, SAM 2002, Aberystwyth, UK, June 24-26, 2002. Revised Papers

Häftad, Engelska, 2003

AvEdel Sherratt

719 kr

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

Produktinformation

Utgivningsdatum2003-03-18
Mått155 x 233 x 15 mm
Vikt411 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor256
Upplaga2003
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540008774

Tillhör följande kategorier

Elektronik och kommunikationer inom Naturvetenskap och teknik

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.