Übersicht			Auf mobile öffnen

Lieferstatus:	Auf Bestellung (Lieferzeit unbekannt)
Veröffentlichung:	Februar 2005
Genre:	EDV / Informatik
	C / computer science / Computer Science, general / Computers / Distributed systems / formal specification / Mathematical theory of computation / network software development / process communication languages / protocol design / Requirements Engineering / systems modeling / systems security / Theory of Computation mehr...
ISBN:	9783540245612
EAN-Code:	9783540245612
Verlag:	Springer EN
Einband:	Kartoniert
Sprache:	English
Serie:	Computer Communication Networks and Telecommunications #3319 - Lecture Notes in Computer Science
Dimensionen:	H 235 mm / B 155 mm / D
Gewicht:	1000 gr
Seiten:	302
Illustration:	XII, 302 p.
Zus. Info:	EUDR exemption - product or manufacturing materials placed on the market prior to 31.12.2025.
Bewertung:	Titel bewerten / Meinung schreiben

Inhalt:

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.