Skip to main content

Reliable Software Technologies – Ada-Europe 2011

16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

  • Conference proceedings
  • © 2011


  • Unique visibility
  • Fast-track conference proceedings
  • State-of-the-art survey

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

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: Ada-Europe 2011.

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

Access this book

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

About this book

This book constitutes the refereed proceedings of the 16th Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe 2011, held in Edinburgh, UK, on June 20-24, 2011. The revised 12 papers presented together with several invited contributions were carefully reviewed and selected from 30 submissions. Topics of interest to the conference are methods and techniques for software development and maintenance ; software architectures; enabling technologies; software quality; theory and practice of high-integrity systems; embedded systems; mainstream and emerging applications; experience reports; the future of Ada.

Similar content being viewed by others


Table of contents (21 papers)

  1. Multicore

  2. Architecture and Modelling

  3. Education and Mixed Criticality

  4. Panel: Language Paradigms for Multicore Programming

  5. Panel: DO178C and Object-Orientation for Critical Systems

Other volumes

  1. Reliable Software Technologies - Ada-Europe 2011

Editors and Affiliations

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Alexander Romanovsky

  • Department of Pure and Applied Mathematics, University of Padua, Padua, Italy

    Tullio Vardanega

Bibliographic Information

Publish with us