Vor Ort
Merkzettel Warenkorb
  • Produktbild: Reliable Software Technologies - Ada-Europe 2001
  • Produktbild: Reliable Software Technologies - Ada-Europe 2001
Band 2043

Reliable Software Technologies - Ada-Europe 2001 6th Ada-Europe International Conference on Reliable Software Technologies Leuven, Belgium, May 14-18, 2001 Proceedings

Aus der Reihe Lecture Notes in Computer Science

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.05.2001

Abbildungen

XVI, 412 p.

Herausgeber

Dirk Craeynest + weitere

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

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

Gewicht

645 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42123-8

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

02.05.2001

Abbildungen

XVI, 412 p.

Herausgeber

Verlag

Springer Berlin

Seitenzahl

412

Maße (L/B/H)

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

Gewicht

645 g

Auflage

2001

Sprache

Englisch

ISBN

978-3-540-42123-8

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 2001
  • Produktbild: Reliable Software Technologies - Ada-Europe 2001
  • Invited Papers.- Building Formal Requirements Models for Reliable Software.- Using Ada in Interactive Digital Television Systems.- Testing from Formal Specifications, a Generic Approach.- Logic versus Magic in Critical Systems.- Can Java™ Meet Its Real-Time Deadlines?.- Program Analysis.- Parameter-Induced Aliasing in Ada.- Slicing Tagged Objects in Ada.- OASIS – An ASIS Secondary Library for Analyzing Object-Oriented Ada Code.- Distributed Systems.- Building Modern Distributed Systems.- Reliable Communication in Distributed Computer-Controlled Systems.- Building Robust Applications by Reusing Non-robust Legacy Software.- Real-Time Systems.- New Developments in Ada 95 Run-Time Profile Definitions and Language Refinements.- Complex Task Implementation in Ada.- Implementing a Flexible Scheduler in Ada.- Language and Patterns.- Expression Templates in Ada.- A Design Pattern for State Machines and Concurrent Activities.- Component Libraries and Language Features.- Dependable Systems.- Using the SPARK Toolset for Showing the Absence of Run-Time Errors in Safety-Critical Software.- Scenario-Based System Assessment.- Test Suite Reduction and Fault Detecting Effectiveness: An Empirical Evaluation.- APIs and Components.- JEWL: A GUI Library for Educational Use.- Object-Oriented Stable Storage Based on Mirroring.- Transaction Support for Ada.- Real-Time Kernels.- MaRTE OS: An Ada Kernel for Real-Time Embedded Applications.- Implementing Ada.Real Time.Clock and Absolute Delays in Real-Time Kernels.- Defining New Non-preemptive Dispatching and Locking Policies for Ada.- Standard Formats: UML & XML.- Modelling Communication Interfaces with ComiX.- Safe Web Forms and XML Processing with Ada.- Mapping UML to Ada.- System Evolution.- Ship System 2000, a Stable Architecture underContinuous Evolution.- Migrating Large Applications from Ada83 to Ada95.- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.