Skip to main content
SpringerLink
Log in

Reliable Software Technologies - Ada-Europe '99

1999 Ada-Europe International Conference on Reliable Software Technologies, Santander, Spain, June 7-11, 1999, Proceedings

  • Conference proceedings
  • © 1999

Overview

Editors:
  1. Michael González Harbour

    1. Facultad de Ciencias, Universidad de Cantabria, Santander, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Juan A. Puente

    1. ETSI Telecommunicacion, Universidad Politécnica de Madrid, Madrid, Spain

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 1622)

Included in the following conference series:

Conference proceedings info: Ada-Europe 1999.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (37 papers)

  1. Front Matter

    Pages I-XIII
    Download chapter PDF

  2. Invited Paper

    1. An Architectural Perspective of Real-Time Ada Applications

      • C. Douglass Locke
      Pages 1-11

  3. Ravenscar Profile and High Integrity Systems

    1. A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects

      • Kristina Lundqvist, Lars Asplund, Stephen Michell
      Pages 12-25

    2. An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch

      • Mike Kamrad, Barry Spinney
      Pages 26-38

    3. Re-engineering a Safety-Critical Application Using SPARK 95 and GNORT

      • Roderick Chapman, Robert Dewar
      Pages 39-51

    4. An Ada95 Solution for Certification of Embedded Safety Critical Applications

      • Jacob Frost
      Pages 52-63

  4. Software Architectures and Design

    1. Architectural Frameworks: Defining the Contents of Architectural Descriptions

      • David E. Emery
      Pages 64-75

    2. Mapping Object-Oriented Designs to Ada

      • Alfred Strohmeier
      Pages 76-90

    3. Efficient and Extensible Multithreaded Remote Servers?

      • Ricardo Jiménez-Peris, M. Patiño-Martínez, F. J. Ballesteros, S. Arévalo
      Pages 91-102

  5. Testing

    1. Report on the VERA Experiment

      • Bruno Hémeury
      Pages 103-113

    2. Acceptance Testing of Object Oriented Systems

      • Jose L. Fernández
      Pages 114-123

  6. Formal Methods

    1. Environment for the Development and Specification of Real-Time Ada Programs

      • Apolinar González, Alfons Crespo
      Pages 124-135

    2. Interprocedural Symbolic Evaluation of Ada Programs with Aliases

      • J. Blieberger, B. Burgstaller, B. Scholz
      Pages 136-145

    3. Automatic Veri.cation of Concurrent Ada Programs

      • Eric Bruneton, Jean-François Pradat-Peyre
      Pages 146-157

    4. Translating Time Petri Net Structures in Ada 95 Statements

      • F. J. García, J. L. Villarroel
      Pages 158-169

  7. Education

    1. Railway Scale Model Simulator

      • Pierre Breguet, Luigi Zaffalon
      Pages 170-180

    2. Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine

      • Alexandr Korochkin
      Pages 181-186

  8. Distributed Systems

    1. yaRTI, a Ada 95 HLA Run-Time Infrastructure

      • Dominique Canazzi
      Pages 187-198

    2. An Ada95 Implementation of a Network Coordination Language with Code Mobility

      • Emilio Tuosto
      Pages 199-210

    3. CORBA & DSA: Divorce or Marriage?

      • Laurent Pautet, Thomas Quinot, Samuel Tardieu
      Pages 211-225
Back to top

Other volumes

  1. Reliable Software Technologies — Ada-Europe’ 99

Keywords

About this book

The Fourth International Conference on Reliable Software Technologies, Ada- Europe’99, took place in Santander, Spain, from June 7 to 11, 1999. It was sponsored by Ada Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda and Ada Spain, and it was organized by members of the University of Cantabria and the Technical University of Madrid, in Spain. This was the 19th consecutive year of Ada Europe conferences, which have always been the main Ada events in Europe, with their counterparts being the ACM SIGAda conferences in the USA (formerly Tri Ada). The conference is not just devoted to the Ada language, but rather to the more general area of reliable software technologies. In this sense, there are papers on formal methods, testing, software architectures and design, software engineering tools, etc. We believe that the role of reliable software technologies is becoming increasingly important, as computer applications control more and more of our everyday systems. The goal of our conference is to contribute to advancing the state of the art of all the technologies that help us in achieving better and more reliable software at a lower overall cost.

Editors and Affiliations

  • Facultad de Ciencias, Universidad de Cantabria, Santander, Spain

    Michael González Harbour

  • ETSI Telecommunicacion, Universidad Politécnica de Madrid, Madrid, Spain

    Juan A. Puente

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation