Reliable Software Technologies - Ada-Europe 2009
Editat de Fabrice Kordon, Yvon Kermarrecen Limba Engleză Paperback – 25 mai 2009
Preț: 322.16 lei
Preț vechi: 402.70 lei
-20%
Puncte Express: 483
Preț estimativ în valută:
56.97€ • 65.33$ • 49.23£
56.97€ • 65.33$ • 49.23£
Carte tipărită la comandă
Livrare economică 27 aprilie-11 mai
Specificații
ISBN-13: 9783642019234
ISBN-10: 3642019234
Pagini: 300
Ilustrații: XIV, 283 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2009
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3642019234
Pagini: 300
Ilustrații: XIV, 283 p.
Dimensiuni: 155 x 235 x 17 mm
Greutate: 0.46 kg
Ediția:2009
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
V-ar putea interesa
-
-20%Preț: 588.91 lei736.14 lei -
Modern C, Third EditionJens Gustedt-20%Preț: 330.13 lei412.65 lei -
Ada for Software EngineersMordechai Ben-Ari-20%Preț: 534.34 lei667.93 lei -
Formal Techniques for Distributed Objects, Components, and SystemsMohammad Reza Mousavi-20%Preț: 424.40 lei530.50 lei -
-20%Preț: 391.77 lei489.72 lei -
-20%Preț: 620.33 lei775.42 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 320.24 lei400.30 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 330.54 lei413.16 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 326.10 lei407.63 lei -
-20%Preț: 330.98 lei413.73 lei -
-20%Preț: 322.61 lei403.26 lei -
-20%Preț: 329.74 lei412.17 lei -
-20%Preț: 319.42 lei399.28 lei -
-20%Preț: 318.67 lei398.33 lei -
-20%Preț: 326.72 lei408.40 lei -
-20%Preț: 319.42 lei399.28 lei -
-20%Preț: 317.85 lei397.31 lei
Public țintă
ResearchCuprins
Requirements on the Target Programming Language for High-Integrity MDE.- A Restricted Middleware Profile for High-Integrity Distributed Real-Time Systems.- Validating Safety and Security Requirements for Partitioned Architectures.- On Comparing Testing Criteria for Logical Decisions.- Model Checking Techniques for Test Generation from Business Process Models.- An Experience on Ada Programming Using On-Line Judging.- Weak Fairness Semantic Drawbacks in Java Multithreading.- Implementation of the Ada 2005 Task Dispatching Model in MaRTE OS and GNAT.- Combining EDF and FP Scheduling: Analysis and Implementation in Ada 2005.- Predicated Worst-Case Execution-Time Analysis.- Implementing Reactive Systems with UML State Machines and Ada 2005.- Modelling and Evaluating Real-Time Software Architectures.- A Formal Foundation for Metamodeling.- Modeling AADL Data Communication with BIP.- Formal Verification of AADL Specifications in the Topcased Environment.- Process-Algebraic Interpretation of AADL Models.- Ocarina : An Environment for AADL Models Analysis and Automatic Code Generation for High Integrity Applications.- Conceptual Modeling for System Requirements Enhancement.- Coloured Petri Nets for Chronicle Recognition.
Textul de pe ultima copertă
This book constitutes the proceedings of the 14th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2009, held in Brest, France, on June 8-12, 2009.
The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.
The 19 papers presented were carefully reviewed and selected from numerous submissions. Topics of interest to the conference are methods and techniques for software development and maintenance; software architecture; enabling technology; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; ada language and technology; ada and education.