SDL 2003: System Design
Editat de Rick Reed, Jeanne Reeden Limba Engleză Paperback – 26 iun 2003
Preț: 327.49 lei
Preț vechi: 409.37 lei
-20% Nou
Puncte Express: 491
Preț estimativ în valută:
57.95€ • 67.95$ • 50.89£
57.95€ • 67.95$ • 50.89£
Carte tipărită la comandă
Livrare economică 02-16 februarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540405399
ISBN-10: 3540405399
Pagini: 424
Ilustrații: XII, 412 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.64 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540405399
Pagini: 424
Ilustrații: XII, 412 p.
Dimensiuni: 155 x 235 x 23 mm
Greutate: 0.64 kg
Ediția:2003
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Performance.- Looking for Better Integration of Design and Performance Engineering.- Scenario-Based Performance Engineering with UCMNAV.- Evolution.- Using SDL for Modeling Behavior Composition.- A Real-Time Profile for UML and How to Adapt It to SDL.- MSC Connectors — The Chamber of Secrets.- Development.- Industrial Application of the SDL-Pattern Approach in UMTS Call Processing Development — Experience and Quantitative Assessment —.- Synthesizing SDL from Use Case Maps: An Experiment.- Enhanced SDL Subset for the Design and Implementation of Java-Enabled Embedded Signalling Systems.- Modeling.- Generating a Compiler for SDL from the Formal Language Definition.- Modelling and Evaluation of a Network on Chip Architecture Using SDL.- Formalizing Graphical Service Descriptions Using SDL.- Timing.- Specification and Simulation of Real Time Concurrent Systems Using Standard SDL Tools.- RMTP2: Validating the Interval Timed Extension for SDL with an Industrial-Size Multicast Protocol.- Refining Timed MSCs.- Validation.- Using Projections for the Detection of Anomalous Behaviors.- Applying Mutation Analysis to SDL Specifications.- Automatic Formal Model Generation and Analysis of SDL.- Design.- Applying SDL to Formal Analysis of Security Systems.- Development of Distributed Systems with SDL by Means of Formalized APIs.- Applications.- Validation of SIP/H.323 Interworking Using SDL/MSC.- Modeling IETF Session Initiation Protocol and Its Services in SDL.- Automated Generation of Marshaling Code from High-Level Specifications.- SAM 2002 Design Winner.- The Winning Entry of the SAM 2002 Design Contest.