Amazon cover image
Image from Amazon.com

Reliable software technologies : Ada-Europe 2001 : 6th Ada-Europe International Conference on Reliable Software Technologies, Leuven, Belgium, May 14-18, 2001 : proceedings / Dirk Craeynest, Alfred Strohmeier (eds.).

By: Contributor(s): Material type: TextTextSeries: Lecture notes in computer science ; 2043.Publication details: Berlin ; New York : Springer, 2001.Description: 1 online resource (xv, 404 pages) : illustrationsContent type:
  • text
Media type:
  • computer
Carrier type:
  • online resource
ISBN:
  • 9783540451365
  • 3540451366
  • 9788354045137
  • 8354045137
Subject(s): Genre/Form: Additional physical formats: Print version:: Reliable software technologies.DDC classification:
  • 005.13/3 21
LOC classification:
  • QA76.73.A16 A23 2001
Online resources:
Contents:
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 under Continuous Evolution -- Migrating Large Applications from Ada83 to Ada95 -- An Application Case for Ravenscar Technology: Porting OBOSS to GNAT/ORK.
Summary: 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.
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library eBook LNCS Available
Total holds: 0

Includes bibliographical references and index.

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.

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

English.

Powered by Koha