Skip to main content
SpringerLink
Log in

Reliable Software Technologies - Ada-Europe '98

1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June 8-12, 1998, Proceedings

  • Conference proceedings
  • © 1998

Overview

Editors:
  1. Lars Asplund
    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 1411)

Included in the following conference series:

Conference proceedings info: Ada-Europe 1998.

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

Access this book

Log in via an institution
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 (25 papers)

  1. Front Matter

    Download chapter PDF

  2. Embedded opportunities

    • Franco Gasperoni
    Pages 1-13

  3. Ada+B the formula for safety critical software development

    • Pierre Chapront
    Pages 14-18

  4. Porting the GNAT tasking runtime system to the Java virtual machine

    • Laurent Millet, Ted Baker
    Pages 19-28

  5. Automating the Ada binding process for Java — How far can we go?

    • David E. Emery, Robert F. Mathis, Karl A. Nyberg
    Pages 29-40

  6. Synchronizing multiple clients and servers

    • Mordechai Ben-Ari
    Pages 41-52

  7. How to avoid the inheritance anomaly in Ada

    • Guido Schumacher, Wolfgang Nebel
    Pages 53-64

  8. Inside the distributed systems annex

    • Laurent Pautet, Samuel Tardieu
    Pages 65-77

  9. Integrating groups and transactions: A fault-tolerant extension of Ada

    • Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo
    Pages 78-89

  10. Implementing and using execution time clocks in Ada hard real-time applications

    • M. González Harbour, M. Aldea Rivas, J. J. Gutiérrez García, J. C. Palencia Gutiérrez
    Pages 90-101

  11. Programming hard real-time systems with optional components in Ada

    • Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes
    Pages 102-111

  12. Object oriented abstractions for real-time distributed systems

    • Scott Arthur Moody
    Pages 112-127

  13. (Astro)physical supercomputing: Ada95 as a safe, object oriented alternative

    • Martin J. Stift
    Pages 128-139

  14. Ada 95 for a distributed simulation system

    • Helge Hagenauer, Werner Pohlmann
    Pages 140-150

  15. PINROB: A portable API for industrial robots

    • M. González Harbour, R. Gómez Somarriba, A. Strohmeier, J. Jacot
    Pages 151-162

  16. Quality-for-ASIS: A portable testing facility for ASIS

    • Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey
    Pages 163-175

  17. Ten years of tool based Ada compiler validations an experience report

    • Michael Tonndorf
    Pages 176-187

  18. A two-level matching mechanism for object-oriented class libraries

    • S. Araban, A. S. M. Sajeev
    Pages 188-200

  19. Modern Avionics requirements for the Distributed Systems Annex

    • Bruce Lewis, Steve Vestal, David McConnell
    Pages 201-212

  20. A case study in quantitative evaluation of real-time software architectures

    • José L. Fernández, Bárbara álvarez, Francisco García, ángel Pérez, Juan A. de la Puente
    Pages 213-224
Back to top

Other volumes

  1. Reliable Software Technologies — Ada-Europe

Keywords

About this book

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998.
The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation