Software Engineering for Resilient Systems
Editat de Anatoliy Gorbenko, Alexander Romanovsky, Vyacheslav Kharchenkoen Limba Engleză Paperback – 13 sep 2013
Preț: 289.37 lei
Preț vechi: 361.70 lei
-20% Nou
Puncte Express: 434
Preț estimativ în valută:
51.21€ • 59.72$ • 44.96£
51.21€ • 59.72$ • 44.96£
Carte tipărită la comandă
Livrare economică 15-29 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783642408939
ISBN-10: 3642408931
Pagini: 212
Ilustrații: X, 199 p. 87 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642408931
Pagini: 212
Ilustrații: X, 199 p. 87 illus.
Dimensiuni: 155 x 235 x 12 mm
Greutate: 0.33 kg
Ediția:2013
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
The Mythical Man MonthFrederick P. Brooks-20%Preț: 236.42 lei295.53 lei -
Mastering ComputingWilliam J Buchanan-40%Preț: 233.61 lei388.97 lei -
-20%Preț: 266.23 lei332.79 lei -
-20%Preț: 242.86 lei303.57 lei -
-8%Preț: 470.76 lei511.70 lei -
-20%Preț: 256.72 lei320.90 lei -
Writing Scientific Software: A Guide to Good StyleSuely Oliveira-20%Preț: 400.50 lei500.62 lei -
Mastering Regular Expressions 3eJeffrey E F Friedl-20%Preț: 287.65 lei359.55 lei -
Ada for Software EngineersMordechai Ben-Ari-20%Preț: 533.01 lei666.27 lei -
-20%Preț: 578.03 lei722.54 lei -
Successful Test Management: An Integral ApproachIris Pinkster-20%Preț: 329.25 lei411.55 lei -
-20%Preț: 322.61 lei403.26 lei -
Model Driven Engineering and Ontology DevelopmentDragan Ga¿evic-20%Preț: 632.64 lei790.81 lei -
Assurances for Self-Adaptive SystemsJavier Cámara-20%Preț: 323.83 lei404.79 lei -
-20%Preț: 408.64 lei510.79 lei
Public țintă
ResearchCuprins
Empirical Assessment of Resilience.- Security-Informed Safety: If It’s Not Secure, It’s Not Safe.- Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors.- Towards Agile Development of Critical Software.- Supporting the Evolution of Free and Open Source Software Distributions.- Optimizing Verification of Structurally Evolving Algebraic Petri Nets.- A Case Study in Refinement-Based Modelling of a Resilient Control System.- Synthesis of Resilient Choreographies.- Formal Development and Quantitative Assessment of a Resilient Multi-robotic System.- The SafeCap Project on Railway Safety Verification and Capacity Simulation.- Modeling of Autonomous Vehicle Operation in Intelligent Transportation Systems.- Preliminary Contributions Towards Auto-resilience.- A New Approach to Software Reliability.- Static Analysis Approach for Defect Detection in Multithreaded C/C++ Programs.- Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning.
Textul de pe ultima copertă
This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.
Caracteristici
Fast track conference proceedings Unique visibility State of the art research