Skip to main content
SpringerLink
Log in
Book cover

Reliable Software Technologies - Ada Europe 96

1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June (10-14), 1996. Proceedings

  • Conference proceedings
  • © 1996

Overview

Editors:
  1. Alfred Strohmeier
    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 1088)

Included in the following conference series:

Conference proceedings info: Ada-Europe 1996.

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 (39 papers)

  1. Front Matter

    Download chapter PDF

  2. Programming the Internet in Ada 95

    • S. Tucker Taft
    Pages 1-16

  3. Reliability modeling for safety critical software

    • Norman F. Schneidewind
    Pages 17-37

  4. Fault-tolerance by replication in distributed systems

    • Rachid Guerraoui, André Schiper
    Pages 38-57

  5. Ada95: An effective concurrent programming language

    • A. Burns, A. J. Wellings
    Pages 58-77

  6. Mapping HRT-HOOD® designs to Ada 95 hierarchical libraries

    • Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez
    Pages 78-88

  7. An approach to increasing software component reusability in Ada

    • Hyoseob Kim, Cornelia Boldyreff
    Pages 89-100

  8. Iterative software development for large Ada programs

    • Philippe Krachten, Christopher J. Thompson
    Pages 101-110

  9. HCSD unit development process: Step-wise process improvement

    • David Emery, Jas Madhur
    Pages 111-122

  10. Testing Ada 95 programs for conformance to rapide architectures

    • Neel Madhav
    Pages 123-134

  11. Tasking deadlocks in Ada 95 programs and their detection

    • Jingde Cheng, Kazuo Ushijima
    Pages 135-146

  12. On some characterisation problems of subdomain testing

    • T. Y. Chen, Y. T. Yu
    Pages 147-158

  13. A framework for testing object oriented software using formal specifications

    • Rohan Fletcher, A. S. M. Sajeev
    Pages 159-170

  14. Ada95 and critical systems: An analytical approach

    • Dan Craigen, Mark Saaltink, Steve Michell
    Pages 171-182

  15. Use of a static analysis tool for safety-critical Ada applications

    • Alfred Rosskopf
    Pages 183-197

  16. Secure communication in distributed Ada

    • Jörg Kienzle, Thomas Wolf, Alfred Strohmeier
    Pages 198-210

  17. Using object oriented methods in Ada 95 to implement Linda

    • Kristina Lundqvist, Göran Wall
    Pages 211-222

  18. Shared packages through Linda

    • Göran Wall, Kristina Lundqvist
    Pages 223-234

  19. Drago: An Ada extension to program fault-tolerant distributed applications

    • J. Miranda, A. Alvarez, S. Arévalo, F. Guerra
    Pages 235-246

  20. The dining philosophers in Ada 95

    • Benjamin M. Brosgol
    Pages 247-261
Back to top

Other volumes

  1. Reliable Software Technologies — Ada-Europe '96

Keywords

About this book

This book constitutes the refereed proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies, held in Montreux, Switzerland, in June 1996.
The 35 revised full papers selected for inclusion in the volume, along with four attractive invited papers, were contributed by researchers, developers, and users; they cover numerous aspects of the Ada 95 programming language and address various current topics of reliable software in general. Among the issues addressed are software development methods, verification and validation, safety and security, distributed systems, real-time systems, compilers and tools, the Ada 95 language, and interfaces to other worlds.

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation