Reliable Software Technologies – Ada-Europe 2006

11th Ada-Europe International Conference on Reliable Software Technologies, Porto, Portugal, June 5-9, 2006. Proceedings

  • Luís Miguel Pinho
  • Michael González Harbour
Conference proceedings Ada-Europe 2006

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

Table of contents

  1. Front Matter
  2. Real-Time Systems

    1. José A. Pulido, Santiago Urueña, Juan Zamorano, Tullio Vardanega, Juan A. de la Puente
      Pages 1-12
    2. Benjamin M. Brosgol, Andy Wellings
      Pages 13-26
    3. Filipe Valpereiro, Luís Miguel Pinho
      Pages 27-39
  3. Static Analysis

    1. Bernd Burgstaller, Johann Blieberger, Robert Mittermayr
      Pages 40-55
    2. Aoun Raza, Gunther Vogel, Erhard Plödereder
      Pages 71-82
  4. Verification

    1. Damian Curtis
      Pages 83-93
    2. Li Xuandong, Wang Linzhang, Qiu Xiaokang, Lei Bin, Yuan Jiesong, Zhao Jianhua et al.
      Pages 94-105
  5. Applications

    1. S. H. K. Narayanan, M. T. Kandemir, R. R. Brooks, I. Kolcu
      Pages 106-118
    2. Diego Alonso, Pedro Sánchez, Bárbara Álvarez, Juan A. Pastor
      Pages 119-130
    3. G. Aranda, J. Palanca, A. Espinosa, A. Terrasa, A. García-Fornes
      Pages 131-142
  6. Reliability

  7. Compilers

    1. Javier Miranda, Edmond Schonberg
      Pages 179-190
    2. Ward Douglas Maurer
      Pages 191-202
  8. Distributed Systems

    1. Santiago Urueña, Juan Zamorano, Daniel Berjón, José A. Pulido, Juan A. de la Puente
      Pages 215-226
    2. Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
      Pages 227-240

About these proceedings

Introduction

The 11th International Conference on Reliable Software Technologies, Ada- Europe 2006, took place in Porto, Portugal, June 5-9, 2006. It was as usual sponsored by Ada-Europe, the European federation of national Ada societies, in cooperation with ACM SIGAda. It was organized by members of the School of Engineering of the Polytechnic Institute of Porto, in collaboration with several colleagues from di?erent institutions in Europe. Following the usual style, the conference included a three-day technical p- gram, during which the papers contained in these proceedings were presented, bracketed by two tutorial days where attendants had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Continuing the success achieved in the previous year, the technical p- gramalso included an industrial track, with contributions illustrating challenges facedandsolutionsencounteredbyindustrialists frombothsides ofthe Atlantic. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development.

Keywords

Ada programming Ada programming language C++ programming language Java Linux UML Unified Modeling Language (UML) XML dependable computing distributed systems embedded systems formal methods middleware real-time system verification

Editors and affiliations

  • Luís Miguel Pinho
    • 1
  • Michael González Harbour
    • 2
  1. 1.Polytechnic Institute of PortoPortoPortugal
  2. 2.Departamento de Electrónica y ComputadoresUniversidad de CantabriaSPAIN

Bibliographic information

  • DOI https://doi.org/10.1007/11767077
  • Copyright Information Springer-Verlag Berlin Heidelberg 2006
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Computer Science
  • Print ISBN 978-3-540-34663-0
  • Online ISBN 978-3-540-34664-7
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book