Skip to main content
SpringerLink
Log in
Book cover

Reliable Software Technologies - Ada-Europe '97

1997 Ada-Europe International Conference on Reliable Software Technologies, London, UK, June 2-6, 1997. Proceedings

  • Conference proceedings
  • © 1997

Overview

Editors:
  1. Keith Hardy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Jim Briggs
    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 1251)

Included in the following conference series:

Conference proceedings info: Ada-Europe 1997.

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. Finite unions for Ada 95

    • Bernd Holzmüller, Erhard Plödereder
    Pages 1-12

  3. Ada bindings for C interfaces: Lessons learned from the florist implementation

    • T. P. Baker, Dong- Ik Oh
    Pages 13-22

  4. An Ada 95 sort race construction set

    • Michael B. Feldman
    Pages 23-34

  5. Computer aided teaching of programming languages

    • J. E. Cooling, N. Duff, J. Cooling
    Pages 35-45

  6. The SPIF project

    • Bertrand Dupouy, Olivier Hainque, Laurent Pautet, Samuel Tardieu
    Pages 46-55

  7. Developing scripting capabilities for an Ada-based simulator

    • Slobodan S. Jovanovic, Drasko M. Sotirovski, Pierre van Aswegen
    Pages 56-63

  8. Systematic unit-testing of Ada programs

    • Joachim Wegener, Ines Fey
    Pages 64-75

  9. Ada 95 as a base to architect systems in O4S™

    • Ingmar Ögren
    Pages 76-87

  10. Including non-functional issues in Anna/Ada programs for automatic implementation selection

    • Xavier Franch
    Pages 88-99

  11. Semantics-based support tools for high integrity Ada software

    • W. L. Yeung
    Pages 100-111

  12. An alternative toolset for analysis of Ada programs

    • Alex E. Bell
    Pages 112-124

  13. Implementing application-level sporadic server schedulers in Ada 95

    • M. González Harbour, J. J. Gutiérrez García, J. C. Palencia Gutiérrez
    Pages 125-136

  14. Capturing and verifying performance requirements for hard real time systems

    • R. H. Pierce, Sandra Ayache, R. Ward, J. Stevens, Helen Clifton, J. Galle
    Pages 137-148

  15. Task termination in Ada 95

    • A. J. Wellings, A. Burns, O. Pazy
    Pages 149-160

  16. Parameter-induced aliasing and related problems can be avoided

    • Wolfgang Gellerich, Erhard Ploedereder
    Pages 161-172

  17. Towards an integration of syntactic constructs and structural features for formalised object-oriented methods

    • K. S. Cheung, K. O. Chow, T. Y. Cheung
    Pages 173-184

  18. The dangers of inheritance

    • John English
    Pages 185-195

  19. CCO-MARS'96 integrating HOOD, Ada, and XInAda in a full Ada operational software project

    • Philippe Pichon
    Pages 196-208

  20. Code-data consistency in Ada

    • Vincent M. Celier, Drasko Sotirovski, Christopher J. Thompson
    Pages 209-217
Back to top

Other volumes

  1. Reliable Software Technologies — Ada-Europe '97

Keywords

About this book

This book constitutes the refereed proceedings of the 1997 Ada-Europe International Conference on Reliable Software Technologies, held in London, UK, in June 1997.
The 25 revised full papers presented were carefully selected for inclusion by the program committee. All current issues explored in the Ada community are addressed; beyond the Ada language aspects, software engineering technologies for reliable and for reactive systems are discussed in a more general context.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation