System Analysis and Modeling [[electronic resource] ] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / / edited by Daniel Amyot, Alan W. Williams
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Titolo: |
System Analysis and Modeling [[electronic resource] ] : 4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers / / edited by Daniel Amyot, Alan W. Williams
|
| Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2005 |
| Edizione: | 1st ed. 2005. |
| Descrizione fisica: | 1 online resource (XII, 302 p.) |
| Disciplina: | 621.382 |
| Soggetto topico: | Computers |
| Computer science | |
| Theory of Computation | |
| Computer Science, general | |
| Persona (resp. second.): | AmyotDaniel <1970-> |
| WilliamsAlan W | |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di bibliografia: | Includes bibliographical references and index. |
| Nota di contenuto: | SDL and eODL -- Deployment and Configuration of Distributed Systems -- eODL and SDL in Combination for Components -- Applying eODL and SDL-Patterns for Developing TMN Managed Systems -- SPT – The SDL Pattern Tool -- Evolution of Languages -- Comparing UML 2.0 Interactions and MSC-2000 -- Data Encoding for SDL in ITU-T Rec. Z.104 -- SDL in a Changing World -- Requirements and MSC -- Early Validation of Deployment and Scheduling Constraints for MSC Specifications -- Scenario Synthesis from Imprecise Requirements -- Applying Reduction Techniques to Software Functional Requirement Specifications -- Security -- Proving a Soundness Property for the Joint Design of ASN.1 and the Basic Encoding Rules -- Checking Secrecy by Means of Partial Order Reduction -- Finding Covert Channels in Protocols with Message Sequence Charts: The Case of RMTP2 -- SDL and Modelling -- A Metamodel for SDL-2000 in the Context of Metamodelling ULF -- A Flexible Micro Protocol Framework -- ICT Convergence: Modeling Issues -- Experience -- Dealing with Non-local Choice in IEEE 1073.2’s Standard for Remote Control -- Guidelines for Using SDL in Product Development -- Validating Wireless Protocol Conformance Test Cases. |
| Titolo autorizzato: | System Analysis and Modeling |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466041003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Computer Communication Networks and Telecommunications ; ; 3319