E-Book, Englisch, 302 Seiten, eBook
Reihe: Computer Communication Networks and Telecommunications
Amyot / Williams System Analysis and Modeling
2005
ISBN: 978-3-540-31810-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
4th International SDL and MSC Workshop, SAM 2004, Ottawa, Canada, June 1-4, 2004, Revised Selected Papers
E-Book, Englisch, 302 Seiten, eBook
Reihe: Computer Communication Networks and Telecommunications
ISBN: 978-3-540-31810-1
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.
