Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
SDL 2001, meeting UML : 10th International SDL Forum Copenhagen, Denmark, June 27-29, 2001 : proceedings / / Rick Reed, Jeanne Reed (editors)
| 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)
| 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 | ||
| ||
