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
    2. Matthew Heaney
      Pages 271-282
    3. Xavier Franch, Jordi Marco
      Pages 283-296
  9. Formal Specification

  10. Real-Time Kernel

    1. Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
      Pages 322-333
    2. A. Burns, M. González Harbour, A. J. Wellings
      Pages 334-343
    3. Javier Miranda, M. González Harbour
      Pages 344-358
  11. Testing

    1. Alejandro Alonso, Juan Antonio de la Puente, Juan Zamorano
      Pages 359-367
    2. Kwok Ping Chan, Tsong Yueh Chen, Dave Towey
      Pages 368-381
    3. Y. V. Jeppu, K. Karunakar, P. S. Subramanyam
      Pages 382-393
  12. Real-time Systems Design

    1. Francis Thom
      Pages 394-404
    2. Silvia Mazzini, Massimo D’Alessandro, Marco Di Natale, Andrea Domenici, Giuseppe Lipari, Tullio Vardanega
      Pages 405-416
    3. Francisco Ortiz, Bárbara Álvarez, Juan Á. Pastor, Pedro Sánchez
      Pages 417-428
  13. Back Matter
    Pages 429-429

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

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2003
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-40376-0
  • Online ISBN 978-3-540-44947-8
  • Series Print ISSN 0302-9743
  • Buy this book on publisher's site
Industry Sectors
Chemical Manufacturing
Oil, Gas & Geosciences