Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig am 28.09.2026 auf fremdsprachige Bücher online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Ausgenommen sind preisgebundene Artikel & eBooks. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Geschenkkarten, Versandkosten und Services.
  • Produktbild: Reliable Software Technologies -- Ada-Europe 2003
  • Produktbild: Reliable Software Technologies -- Ada-Europe 2003
Band 2655

Reliable Software Technologies -- Ada-Europe 2003 8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16-20, 2003, Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.06.2003

Abbildungen

XIII, 432 p.

Herausgeber

Jean-Pierre Rosen + weitere

Verlag

Springer Berlin

Seitenzahl

432

Maße (L/B/H)

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

Gewicht

674 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40376-0

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.06.2003

Abbildungen

XIII, 432 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

432

Maße (L/B/H)

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

Gewicht

674 g

Auflage

2003

Sprache

Englisch

ISBN

978-3-540-40376-0

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

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 2003
  • Produktbild: Reliable Software Technologies -- Ada-Europe 2003
  • Invited Papers.- An Invitation to Ada 2005.- Modules for Crosscutting Models.- Software Fault Tolerance: An Overview.- Ravenscar.- High Integrity Ravenscar.- Adding Temporal Annotations and Associated Verification to the Ravenscar Profile.- Impact of a Restricted Tasking Profile: The Case of the GOCE Platform Application Software.- Language Issues.- Booch’s Ada vs. Liskov’s Java: Two Approaches to Teaching Software Design.- A Comparison of the Asynchronous Transfer of Control Features in Ada and the Real-Time Specification for Java™.- Exposing Memory Corruption and Finding Leaks: Advanced Mechanisms in Ada.- Static Analysis.- Busy Wait Analysis.- Eliminating Redundant Range Checks in GNAT Using Symbolic Evaluation.- Quasar: A New Tool for Concurrent Ada Programs Analysis.- Distributed Information Systems.- A Graphical Environment for GLADE.- The Use of Ada, GNAT.Spitbol, and XML in the Sol-Eu-Net Project.- Transactions and Groups as Generic Building Blocks for Software Fault Tolerance.- Metrics.- Getting System Metrics Using POSIX Tracing Services.- Some Architectural Features of Ada Systems Affecting Defects.- Evidential Volume Approach for Certification.- Software Components.- A Survey of Physical Unit Handling Techniques in Ada.- Charles: A Data Structure Library for Ada95.- A Quality Model for the Ada Standard Container Library.- Formal Specification.- Experiences on Developing and Using a Tool Support for Formal Specification.- A Behavioural Notion of Subtyping for Object-Oriented Programming in SPARK95.- Real-Time Kernel.- Running Ada on Real-Time Linux.- A Round Robin Scheduling Policy for Ada.- A Proposal to Integrate the POSIX Execution-Time Clocks into Ada 95.- Testing.- A Test Environment for High Integrity Software Development.- Normalized RestrictedRandom Testing.- Testing Safety Critical Ada Code Using Non Real Time Testing.- Real-time Systems Design.- The Standard UML-Ada Profile.- HRT-UML: Taking HRT-HOOD onto UML.- A Case Study in Performance Evaluation of Real-Time Teleoperation Software Architectures Using UML-MAST.