SDL 2003: System Design [[electronic resource] ] : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / / edited by Rick Reed, Jeanne Reed |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 412 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45075-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Performance -- Looking for Better Integration of Design and Performance Engineering -- Scenario-Based Performance Engineering with UCMNAV -- Evolution -- Using SDL for Modeling Behavior Composition -- A Real-Time Profile for UML and How to Adapt It to SDL -- MSC Connectors — The Chamber of Secrets -- Development -- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment — -- Synthesizing SDL from Use Case Maps: An Experiment -- Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems -- Modeling -- Generating a Compiler for SDL from the Formal Language Definition -- Modelling and Evaluation of a Network on Chip Architecture Using SDL -- Formalizing Graphical Service Descriptions Using SDL -- Timing -- Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools -- RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol -- Refining Timed MSCs -- Validation -- Using Projections for the Detection of Anomalous Behaviors -- Applying Mutation Analysis to SDL Specifications -- Automatic Formal Model Generation and Analysis of SDL -- Design -- Applying SDL to Formal Analysis of Security Systems -- Development of Distributed Systems with SDL by Means of Formalized APIs -- Applications -- Validation of SIP/H.323 Interworking Using SDL/MSC -- Modeling IETF Session Initiation Protocol and Its Services in SDL -- Automated Generation of Marshaling Code from High-Level Specifications -- SAM 2002 Design Winner -- The Winning Entry of the SAM 2002 Design Contest. |
Record Nr. | UNISA-996466012003316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
SDL 2003: System Design : 11th International SDL Forum, Stuttgart, Germany, July 1-4, 2003, Proceedings / / edited by Rick Reed, Jeanne Reed |
Edizione | [1st ed. 2003.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 |
Descrizione fisica | 1 online resource (XII, 412 p.) |
Disciplina | 005.13/3 |
Collana | Lecture Notes in Computer Science |
Soggetto topico |
Computers
Computer communication systems Special purpose computers Software engineering Programming languages (Electronic computers) Computer logic Theory of Computation Computer Communication Networks Special Purpose and Application-Based Systems Software Engineering Programming Languages, Compilers, Interpreters Logics and Meanings of Programs |
ISBN | 3-540-45075-0 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Performance -- Looking for Better Integration of Design and Performance Engineering -- Scenario-Based Performance Engineering with UCMNAV -- Evolution -- Using SDL for Modeling Behavior Composition -- A Real-Time Profile for UML and How to Adapt It to SDL -- MSC Connectors — The Chamber of Secrets -- Development -- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment — -- Synthesizing SDL from Use Case Maps: An Experiment -- Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems -- Modeling -- Generating a Compiler for SDL from the Formal Language Definition -- Modelling and Evaluation of a Network on Chip Architecture Using SDL -- Formalizing Graphical Service Descriptions Using SDL -- Timing -- Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools -- RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol -- Refining Timed MSCs -- Validation -- Using Projections for the Detection of Anomalous Behaviors -- Applying Mutation Analysis to SDL Specifications -- Automatic Formal Model Generation and Analysis of SDL -- Design -- Applying SDL to Formal Analysis of Security Systems -- Development of Distributed Systems with SDL by Means of Formalized APIs -- Applications -- Validation of SIP/H.323 Interworking Using SDL/MSC -- Modeling IETF Session Initiation Protocol and Its Services in SDL -- Automated Generation of Marshaling Code from High-Level Specifications -- SAM 2002 Design Winner -- The Winning Entry of the SAM 2002 Design Contest. |
Record Nr. | UNINA-9910143851803321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2003 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
SDL 2005: Model Driven [[electronic resource] ] : 12th International SDL Forum, Grimstad, Norway, June 20-23, 2005, Proceedings / / edited by Andreas Prinz, Rick Reed, Jeanne Reed |
Edizione | [1st ed. 2005.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
Descrizione fisica | 1 online resource (XII, 364 p.) |
Disciplina | 005.13/3 |
Collana | Computer Communication Networks and Telecommunications |
Soggetto topico |
Computer organization
Software engineering Computer logic Management information systems Computer science Computer Systems Organization and Communication Networks Software Engineering Logics and Meanings of Programs Management of Computing and Information Systems |
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 -- ULF-Ware – An Open Framework for Integrated Tools for ITU-T Languages -- An Access Control Language for Dynamic Systems – Model-Driven Development and Verification -- Non-deterministic Constructs in OCL – What Does any() Mean -- Engineering Issues -- Integrating RT-CORBA in SDL -- Component Development: MDA Based Transformation from eODL to CIDL -- Service Discovery and Component Reuse with Semantic Interfaces -- ns+SDL – The Network Simulator for SDL Systems -- Message Sequence Charts -- Semantics of Message Sequence Charts -- Compositional Semantics for UML 2.0 Sequence Diagrams Using Petri Nets -- Applications and Tools (Short Papers) -- SDL Design of OSPF Protocol for the Wireless Private Network -- ASM and SDL Models of Geographic Routing in Mobile Ad Hoc Networks -- Modeling Route Change in Soft-State Signaling Protocols Using SDL: A Case of RSVP -- Experiences in Using SDL to Support the Design and Implementation of a Logical Link Layer Protocol -- Modeling, Verifying and Testing Mobility Protocol from SDL Language -- Cinderella SLIPPER: An SDL to C-Code Generator -- Model Driven Architecture (Short Papers) -- Model-Driven Development of Reactive Systems with SDL -- A UML-Compatible Formal Language for System Architecture Description -- Test and Validation -- UCM-Driven Testing of Web Applications -- Network Element Testing Using TTCN-3: Benefits and Comparison -- A Compositional Approach to Service Validation -- Consistency Checking of Concurrent Models for Scenario-Based Specifications -- Code Generation -- SDL Code Generation for Open Systems -- SDL Versus C Equivalence Checking -- Synthesizing State-Machine Behaviour from UML Collaborations and Use Case Maps. |
Record Nr. | UNISA-996465822803316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|