Reliable Software Technologies - Ada-Europe 2001

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

AvDirk Craeynest,Alfred Strohmeier

Häftad, Engelska, 2001

Del i serien Lecture Notes in Computer Science

561 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

This book constitutes the refereed proceedings of the 6th International Conference on Reliable Software Technologies, Ada-Europe 2001, held in Leuven, Belgium, in May 2001. The 27 revised full papers presented together with five invited papers were carefully reviewed and selected from a large number of submissions. The papers are organized in topical sections on program analysis, distributed systems, real-time systems, language and patterns, dependable systems, APIs and components, real-time kernels, standard formats: UML and XML, and system evolution.

Produktinformation

Utgivningsdatum:2001-05-02
Mått:155 x 235 x 24 mm
Vikt:645 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:412
Upplaga:2001
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540421238

Utforska kategorier

Innehållsförteckning

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.