© 2003

Reliable Software Technologies — Ada-Europe 2003

8th Ada-Europe International Conference on Reliable Software Technologies, Toulouse, France, June 16–20, 2003 Proceedings

  • Jean-Pierre Rosen
  • Alfred Strohmeier
Conference proceedings Ada-Europe 2003

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

Table of contents

  1. Front Matter
    Pages I-XIII
  2. Invited Papers

    1. Pascal Leroy
      Pages 1-23
    2. Mira Mezini, Klaus Ostermann
      Pages 24-44
    3. Jörg Kienzle
      Pages 45-67
  3. Ravenscar

  4. Language Issues

    1. Emmanuel Briot, Franco Gasperoni, Robert Dewar, Dirk Craeynest, Philippe Waroquiers
      Pages 129-141
  5. Static Analysis

    1. Johann Blieberger, Bernd Burgstaller, Bernhard Scholz
      Pages 142-152
    2. Johann Blieberger, Bernd Burgstaller
      Pages 153-167
    3. Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau
      Pages 168-181
  6. Distributed Information Systems

    1. Ernestina Martel, Francisco Guerra, Javier Miranda, Luis Hernández
      Pages 182-195
    2. Mário Amado Alves, Alípio Jorge, Matthew Heaney
      Pages 196-207
    3. Marta Patiño-Martínez, Ricardo Jiménez-Peris, Alexander Romanovsky
      Pages 208-219
  7. Metrics

    1. Agustín Espinosa Minguet, Vicente Lorente Garcés, Ana García Fornes, Alfons Crespo i Lorente
      Pages 220-231
    2. William M. Evanco, June Verner
      Pages 232-245
    3. Silke Kuball, Gordon Hughes
      Pages 246-257
  8. Software Components

    1. Christoph Grein, Dmitry A. Kazakov, Fraser Wilson
      Pages 258-270

About these proceedings


The8thInternationalConferenceonReliableSoftwareTechnologies,Ada-Europe 2003,tookplaceinToulouse,France,June18–20,2003.ItwassponsoredbyAda- Europe, the European federation of national Ada societies, and Ada-France, in cooperation with ACM SIGAda. It was organized by members of Adalog, CS, UPS/IRIT and ONERA. Toulouse was certainly a very appropriate place for this conference. As the heart of the European aeronautic and space industry, it is a place where so- ware development leaves no place for failure. In the end, reliability is a matter of human skills. But these skills build upon methods, tools, components and c- trolled practices. By exposing the latest advances in these areas, the conference contributed to ful?lling the needs of a very demanding industry. As in past years, the conference comprised a three-day technical program, during which the papers contained in these proceedings were presented, along with vendor presentations. The technical program was bracketed by two tutorial days, when attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. On Friday, a workshopon“QualityofServiceinComponent-BasedSoftwareEngineering”was held. Further, the conference was accompanied by an exhibition where vendors presented their reliability-related products.


Software design formal specification information system real-time testing

Editors and affiliations

  • Jean-Pierre Rosen
    • 1
  • Alfred Strohmeier
    • 2
  1. 1.AdalogArcueilFrance
  2. 2.Software Engineering LaboratorySwiss Federal Institute of Technology LausanneLausanne EPFLSwitzerland

Bibliographic information