SDL 2001, meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / / Rick Reed, Jeanne Reed (editors) |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
Descrizione fisica | 1 online resource (XI, 439 p.) |
Disciplina | 005.133 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
SDL (Computer program language)
Telecommunication - Switching systems - Design and construction - Data processing |
ISBN | 3-540-48213-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNISA-996465882703316 |
Berlin, Germany : , : Springer, , [2001] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
SDL 2001, meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / / Rick Reed, Jeanne Reed (editors) |
Edizione | [1st ed. 2001.] |
Pubbl/distr/stampa | Berlin, Germany : , : Springer, , [2001] |
Descrizione fisica | 1 online resource (XI, 439 p.) |
Disciplina | 005.133 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
SDL (Computer program language)
Telecommunication - Switching systems - Design and construction - Data processing |
ISBN | 3-540-48213-X |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 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. |
Record Nr. | UNINA-9910143599703321 |
Berlin, Germany : , : Springer, , [2001] | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
SDL 2005 : model driven : 12th international SDL Forum, Grimstad, Norway, June 20-23, 2005 : proceedings / / Andreas Prinz, Rick Reed, Jeanne Reed (eds.) |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin ; ; New York, : Springer, c2005 |
Descrizione fisica | 1 online resource (XII, 364 p.) |
Disciplina | 005.13/3 |
Altri autori (Persone) |
PrinzAndreas
ReedRick ReedJeanne <1948-> |
Collana | Lecture notes in computer science |
Soggetto topico |
SDL (Computer program language)
Telecommunication - Switching systems - Design and construction - Data processing |
ISBN |
3-540-31539-X
3-540-26612-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Language issues -- Engineering issues -- Message sequence charts -- Applications and tools (short papers) -- Model driven architecture (short papers) -- Test and validation -- Code generation. |
Altri titoli varianti | SDL Forum |
Record Nr. | UNINA-9910484247703321 |
Berlin ; ; New York, : Springer, c2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|