✦ LIBER ✦

[Lecture Notes in Computer Science] SDL 2001: Meeting UML Volume 2078 || A General Approach for the Specification of Real-Time Systems with SDL

✍ Scribed by Reed, Rick; Reed, Jeanne

Book ID: 115534598
Publisher: Springer Berlin Heidelberg
Year: 2001
Tongue: German
Weight: 285 KB
Edition: 2001
Category: Article
ISBN: 3540422811
DOI: 10.1007/3-540-48213-x_13

No coin nor oath required. For personal study only.

✦ Synopsis

This book constitutes the refereed proceedings of the 10th International SDL Forum, SDL 2001, held in Copenhagen, Denmark in June 2001.
The 26 revised full papers presented were carefully reviewed and selected for presentation. The book offers topical sections on tools, language evolution, combined SDL and UML, unified testing, timing, unified ITU-T languages, SDL applications, MSC, and test and verification.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Syst

[Lecture Notes in Computer Science] System Analysis and Modeling: Language Profiles Volume 4320 || SDL Design of a Radio Resource Control Protocol for 3G Evolution Systems with Two Different Approaches

✍ Gotzhein, Reinhard; Reed, Rick 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 424 KB

This book constitutes the refereed proceedings of the 5th International Workshop on System Analysis and Modelling, SAM 2006, held in Kaiserslautern, Germany in May/June 2006. The 14 revised full papers cover language profiles, evolution of development languages, model-driven development, and languag

[Lecture Notes in Computer Science] Syst

[Lecture Notes in Computer Science] System Analysis and Modeling: Language Profiles Volume 4320 || A Simulator Interconnection Framework for the Accurate Performance Simulation of SDL Models

✍ Gotzhein, Reinhard; Reed, Rick 📂 Article 📅 2006 🏛 Springer Berlin Heidelberg ⚖ 480 KB

[Lecture Notes in Computer Science] Adva

[Lecture Notes in Computer Science] Advanced Information Systems Engineering Volume 5565 || Using UML as a Domain-Specific Modeling Language: A Proposal for Automatic Generation of UML Profiles

✍ van Eck, Pascal; Gordijn, Jaap; Wieringa, Roel 📂 Article 📅 2009 🏛 Springer International Publishing 🌐 English ⚖ 378 KB

This book constitutes the refereed proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE 2009, held in Amsterdam, The Netherlands, on June 8-12, 2009. The 36 papers presented in this book together with 6 keynote papers were carefully reviewed and selecte

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Real-Time and Probabilistic Systems Volume 1601 || Probabilistic Linear-Time Model Checking: An Overview of the Automata-Theoretic Approach

✍ Katoen, Joost-Pieter 📂 Article 📅 1999 🏛 Springer Berlin Heidelberg ⚖ 272 KB

[Lecture Notes in Computer Science] Tool

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 1055 || Timed Condition/Event systems: A framework for modular discrete models of chemical plants and verification of their real-time discrete control

✍ Margaria, Tiziana; Steffen, Bernhard 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 738 KB