000 03187nam a22005055i 4500
001 978-3-540-31810-1
003 DE-He213
005 20240730201538.0
007 cr nn 008mamaa
008 100715s2005 gw | s |||| 0|eng d
020 _a9783540318101
_9978-3-540-31810-1
024 7 _a10.1007/b105884
_2doi
050 4 _aQA75.5-76.95
072 7 _aUYA
_2bicssc
072 7 _aCOM014000
_2bisacsh
072 7 _aUYA
_2thema
082 0 4 _a004.0151
_223
245 1 0 _aSystem Analysis and Modeling
_h[electronic resource] :
_b4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers /
_cedited by Daniel Amyot, Alan W. Williams.
250 _a1st ed. 2005.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2005.
300 _aXII, 302 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v3319
505 0 _aSDL 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.
650 0 _aComputer science.
_99832
650 1 4 _aTheory of Computation.
_9167633
650 2 4 _aComputer Science.
_99832
700 1 _aAmyot, Daniel.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9167634
700 1 _aWilliams, Alan W.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9167635
710 2 _aSpringerLink (Online service)
_9167636
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783540245612
776 0 8 _iPrinted edition:
_z9783540807711
830 0 _aComputer Communication Networks and Telecommunications,
_x2945-9184 ;
_v3319
_9167637
856 4 0 _uhttps://doi.org/10.1007/b105884
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c96589
_d96589