SDL 2003: System Design
Editat de Rick Reed, Jeanne Reeden Limba Engleză Paperback – 26 iun 2003
Preț: 328.49 lei
Preț vechi: 410.62 lei
-20%
Puncte Express: 493
Carte tipărită la comandă
Livrare economică 13-27 iulie
Livrare prin curier în România Termenul estimat este afișat lângă disponibilitate.
Transport gratuit de la 400.00 lei Plată online sau ramburs, în funcție de opțiunile comenzii.
Retur gratuit în 14 zile Comandă securizată și suport în română.
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.