| |
|
| Artikel-Nr.: 5667A-9783540245612 Herst.-Nr.: 9783540245612 EAN/GTIN: 9783540245612 |
| |
|
| | |
| 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. Weitere Informationen: | | Author: | Daniel Amyot; Alan W. Williams | Verlag: | Springer Berlin | Sprache: | eng |
|
| | |
| | | |
| Weitere Suchbegriffe: allgemeine technikbücher - englischsprachig, Kommunikation (Technik) / Telekommunikation, Telekommunikation, SDL, SDL specifications, Text, UML, description languages, distributed systems, formal specification, network software development, process communication languages |
| | |
| |