Vor Ort
Merkzettel Warenkorb
  • Produktbild: Reliable Software Technologies - Ada-Europe 2002
  • Produktbild: Reliable Software Technologies - Ada-Europe 2002
Band 2361

Reliable Software Technologies - Ada-Europe 2002 7th Ada-Europe International Conference on Reliable Software Technologies, Vienna, Austria, June 17-21, 2002, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.2002

Abbildungen

XIV, 370 p.

Herausgeber

Johann Blieberger + weitere

Verlag

Springer Berlin

Seitenzahl

370

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43784-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

05.06.2002

Abbildungen

XIV, 370 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

370

Maße (L/B/H)

23,5/15,5/2,1 cm

Gewicht

587 g

Auflage

2002

Sprache

Englisch

ISBN

978-3-540-43784-0

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Reliable Software Technologies - Ada-Europe 2002
  • Produktbild: Reliable Software Technologies - Ada-Europe 2002
  • 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.