Vor Ort
Merkzettel Warenkorb
  • Produktbild: SDL 2001: Meeting UML
  • Produktbild: SDL 2001: Meeting UML
Band 2078

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

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.06.2001

Abbildungen

XI, 439 p.

Herausgeber

Rick Reed + weitere

Verlag

Springer Berlin

Seitenzahl

439

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

686 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42281-5

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

18.06.2001

Abbildungen

XI, 439 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

439

Maße (L/B/H)

23,5/15,5/2,5 cm

Gewicht

686 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42281-5

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: SDL 2001: Meeting UML
  • Produktbild: SDL 2001: Meeting UML
  • Combining SDL with Synchronous Data Flow Modelling for Distributed Control Systems.- Using Message Sequence Charts to Accelerate Maintenance of Existing Systems.- From MSC-2000 to UML 2.0 – The Future of Sequence Diagrams.- SDL and Layered Systems: Proposed Extensions to SDL to Better Support the Design of Layered Systems.- Collaboration-Based Design of SDL Systems.- Using UML for Implementation Design of SDL Systems.- Deployment of SDL Systems Using UML.- ETSI Testing Activities and the Use of TTCN-3.- HyperMSCs with Connectors for Advanced Visual System Modelling and Testing.- Graphical Test Specification — The Graphical Format of TTCN-3.- Some Implications of MSC, SDL and TTCN Time Extensions for Computer-Aided Test Generation.- Verification of Quantitative Temporal Properties of SDL Specifications.- A General Approach for the Specification of Real-Time Systems with SDL.- Timed Extensions for SDL.- ASN.1 is Reaching Out!.- Distributed Systems: From Models to Components.- Deriving Message Sequence Charts from Use Case Maps Scenario Specifications.- An SDL Implementation Framework for Third Generation Mobile Communications System.- OSPF Efficient LSA Refreshment Function in SDL.- Using SDL in a Stateless Environment.- An MSC Based Representation of DiCons.- Some Pathological Message Sequence Charts, and How to Detect Them.- An Execution Semantics for MSC-2000.- Comparing TorX, Autolink, TGV and UIO Test Algorithms.- Verifying Large SDL-Specifications Using Model Checking.- Applying SDL Specifications and Tools to the Verification of Procedures.