Reliable Software Technologies - Ada-Europe 2002: 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings: Lecture Notes in Computer Science, cartea 2361
Editat de Johann Blieberger, Alfred Strohmeieren Limba Engleză Paperback – 5 iun 2002
The 24 revised full papers presented together with four invited papers were carefully reviewed and selected for inclusion in the proceedings. The papers are organized in topical sections on embedded systems, case studies, real-time systems, high-integrity systems, Ada language issues, program analysis, tools, distributed systems, and libraries and APIs.
Din seria Lecture Notes in Computer Science
- 20% Preț: 1061.55 lei
- 20% Preț: 307.71 lei
- 20% Preț: 438.69 lei
- 20% Preț: 645.28 lei
- Preț: 410.88 lei
- 15% Preț: 580.46 lei
- 17% Preț: 427.22 lei
- 20% Preț: 596.46 lei
- Preț: 381.21 lei
- 20% Preț: 353.50 lei
- 20% Preț: 1414.79 lei
- 20% Preț: 309.90 lei
- 20% Preț: 583.40 lei
- 20% Preț: 1075.26 lei
- 20% Preț: 310.26 lei
- 20% Preț: 655.02 lei
- 20% Preț: 580.93 lei
- 20% Preț: 340.32 lei
- 15% Preț: 438.59 lei
- 20% Preț: 591.51 lei
- 20% Preț: 649.49 lei
- 20% Preț: 337.00 lei
- Preț: 449.57 lei
- 20% Preț: 607.39 lei
- 20% Preț: 1024.44 lei
- 20% Preț: 579.30 lei
- 20% Preț: 763.23 lei
- 20% Preț: 453.32 lei
- 20% Preț: 575.48 lei
- 20% Preț: 585.88 lei
- 20% Preț: 825.93 lei
- 20% Preț: 763.23 lei
- 17% Preț: 360.19 lei
- 20% Preț: 1183.14 lei
- 20% Preț: 340.32 lei
- 20% Preț: 504.57 lei
- 20% Preț: 369.12 lei
- 20% Preț: 583.40 lei
- 20% Preț: 343.62 lei
- 20% Preț: 350.21 lei
- 20% Preț: 764.89 lei
- 20% Preț: 583.40 lei
- Preț: 389.48 lei
- 20% Preț: 341.95 lei
- 20% Preț: 238.01 lei
- 20% Preț: 538.29 lei
Preț: 336.86 lei
Preț vechi: 421.08 lei
-20% Nou
Puncte Express: 505
Preț estimativ în valută:
64.46€ • 66.89$ • 53.88£
64.46€ • 66.89$ • 53.88£
Carte tipărită la comandă
Livrare economică 17-31 martie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540437840
ISBN-10: 3540437843
Pagini: 388
Ilustrații: XIV, 370 p.
Dimensiuni: 155 x 233 x 20 mm
Greutate: 0.54 kg
Ediția:2002
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540437843
Pagini: 388
Ilustrații: XIV, 370 p.
Dimensiuni: 155 x 233 x 20 mm
Greutate: 0.54 kg
Ediția:2002
Editura: Springer Berlin, Heidelberg
Colecția Springer
Seria Lecture Notes in Computer Science
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
Invited Papers.- Embedded Systems Unsuitable for Object Orientation.- On Architectural Stability and Evolution.- Encapsulating Failure Detection: From Crash to Byzantine Failures.- Contextware: Bridging Physical and Virtual Worlds.- Embedded Systems.- Evaluating Performance and Power of Object-Oriented Vs. Procedural Programming in Embedded Processors.- OMC-INTEGRAL Memory Management.- Language Issues of Compiling Ada to Hardware.- Case Studies.- Software Development Reengineering — An Experience Report.- Development of a Control System for Teleoperated Robots Using UML and Ada95.- Using a Secure Java Micro-kernel on Embedded Devices for the Reliable Execution of Dynamically Uploaded Applications.- Real-Time Systems.- A POSIX-Ada Interface for Application-Defined Scheduling.- High-Integrity Systems.- Closing the Loop: The Influence of Code Analysis on Design.- High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.- Ada Language.- How to Use GNAT to Efficiently Preprocess New Ada Sentences.- Exposing Uninitialized Variables: Strengthening and Extending Run-Time Checks in Ada.- Adding Design by Contract to the Ada Language.- Program Analysis.- Static Dependency Analysis for Concurrent Ada 95 Programs.- DataFAN: A Practical Approach to Data Flow Analysis for Ada 95.- Prioritization of Test Cases in MUMCUT Test Sets: An Empirical Study.- Tools.- About the Difficulties of Building a Pretty-Printer for Ada.- A Tailorable Distributed Programming Environment.- Distributed Systems.- Modeling and Schedulability Analysis of Hard Real-Time Distributed Systems Based on Ada Components.- Transparent Environment for Replicated Ravenscar Applications.- Concurrency Control in Transactional Drago.- Libraries, APIs, and Bindings.- An Ada Binding to theIEEE 1003.1q (POSIX Tracing) Standard.- GNAT Ada Database Development Environment.- Object-Orientation.- Ada, Interfaces and the Listener Paradigm.- Using Object Orientation in High Integrity Applications: A Case Study.
Caracteristici
Includes supplementary material: sn.pub/extras