Skip to content

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

Spend $50 to get a free movie!

ISBN-10: 3540421238

ISBN-13: 9783540421238

Edition: 2001

Authors: Alfred Strohmeier, Dirk Craeynest

List price: $54.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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.
Customers also bought

Book details

List price: $54.99
Copyright year: 2001
Publisher: Springer Berlin / Heidelberg
Publication date: 5/2/2001
Binding: Paperback
Pages: 412
Size: 6.10" wide x 9.25" long x 0.75" tall
Weight: 2.904

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<sup>TM</sup> 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 under Continuous Evolution
Migrating Large Applications from Ada83 to Ada95
An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK
Author Index