03357nam 2200625 a 450 991076755500332120200520144314.010.1007/b105884(CKB)1000000000212742(SSID)ssj0000320299(PQKBManifestationID)11263724(PQKBTitleCode)TC0000320299(PQKBWorkID)10348124(PQKB)10963690(DE-He213)978-3-540-31810-1(MiAaPQ)EBC3067704(PPN)123092027(EXLCZ)99100000000021274220041230d2005 uy 0engurnn#008mamaatxtccrSystem analysis and modeling 4th international SDL and MSC workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004 : revised selected papers /Daniel Amyot, Alan W. Williams (eds.)1st ed. 2005.Berlin ;New York Springerc20051 online resource (XII, 302 p.)Lecture notes in computer science,0302-9743 ;3319Bibliographic Level Mode of Issuance: MonographPrinted edition: 9783540245612 Includes bibliographical references and index.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.Lecture notes in computer science ;3319.SAM 2004TelecommunicationData processingCongressesTelecommunicationSecurity measuresCongressesSystem analysisCongressesCommunications softwareCongressesSDL (Computer program language)CongressesTelecommunicationData processingTelecommunicationSecurity measuresSystem analysisCommunications softwareSDL (Computer program language)621.382Amyot Daniel1970-1762573Williams Alan W1762574MiAaPQMiAaPQMiAaPQBOOK9910767555003321System analysis and modeling4202579UNINA