Reliable Software Technologies - Ada-Europe 2004

9th Ada-Europe International Conference on Reliable Software Technologies, Palma de Mallorca, Spain, June 14-18, 2004. Proceedings

  • Albert Llamosí
  • Alfred Strohmeier
Conference proceedings Ada-Europe 2004

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

Table of contents

  1. Front Matter
  2. Invited Papers

  3. Static Analysis

    1. Peter T. Breuer, Marisol García Valls
      Pages 52-64
    2. Bernd Burgstaller, Johann Blieberger, Bernhard Scholz
      Pages 78-90
  4. Distributed Systems

    1. Juan López Campos, J. Javier Gutiérrez, Michael González Harbour
      Pages 91-105
    2. Thomas Vergnaud, Jérôme Hugues, Laurent Pautet, Fabrice Kordon
      Pages 106-119
  5. Real-Time Systems

    1. Juan Zamorano, Alejandro Alonso, José Antonio Pulido, Juan Antonio de la Puente
      Pages 132-143
    2. Miguel Masmano, Jorge Real, Ismael Ripoll, Alfons Crespo
      Pages 144-155
    3. Alan Burns, Andy J. Wellings, S. Tucker Taft
      Pages 156-165
  6. Reflection and XML

    1. Patrick Rogers, Andy J. Wellings
      Pages 166-177
    2. Zdenko Vrandečić, Daniel Simon
      Pages 178-189
  7. Testing

    1. Sukant K. Giri, Atit Mishra, Yogananda V. Jeppu, Kundapur Karunakar
      Pages 190-199
    2. Kwok Ping Chan, Tsong Yueh Chen, Dave Towey
      Pages 200-212
    3. Bárbara Álvarez, Juan A. Pastor, Francisco Ortiz, Pedro Sánchez, Pedro Navarro
      Pages 213-224
  8. Critical Systems Modeling

    1. Peter Amey, Neil White
      Pages 225-236
    2. Helge Hagenauer, Norbert Martinek, Werner Pohlmann
      Pages 237-248
    3. Adrian J. Hilton, Jon G. Hall
      Pages 249-260
  9. Scheduling

    1. Jorge Real, Alan Burns, Javier Miranda, Edmond Schonberg, Alfons Crespo
      Pages 261-272
    2. Agustín Espinosa Minguet, Ana García-Fornes, Vicente Lorente Garcés, Andrés Terrasa Barrena
      Pages 273-282
    3. Mario Aldea, Javier Miranda, Michael González Harbour
      Pages 283-296
  10. Application Programming Interfaces

    1. Matthew Heaney
      Pages 309-320
    2. Franco Gasperoni
      Pages 321-331
  11. Back Matter

About these proceedings


The Ninth International Conference on Reliable Software Technologies, Ada- Europe 2004, took place in Palma, Spain, June 14–18, 2004. It was sponsored by Ada-Europe, the European federation of national Ada societies, and Ada- Spain, in cooperation with ACM SIGAda. It was organized by members of the University of the Balearic Islands (UIB). 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 the attendees had the opportunity to catch up on a variety of topics related to the ?eld, at both introductory and advanced levels. Furthermore, the conference was accompanied by an exhibition where vendors presented their products for supporting reliable-software development. Invited Speakers Theconferencepresentedfourdistinguishedspeakers,whodeliveredstate-of-t- art information on topics of great importance, both for now and for the future of software engineering: – S. Tucker Taft, SoftCheck Inc., USA Fixing software before it breaks: using static analysis to help solve the so- ware quality quagmire – Martin Gogolla, University of Bremen, Germany Bene?ts and problems of formal methods – Antoni Oliv´ e, Polytechnical University of Catalonia, Spain On the role of conceptual schemas in information systems’ development – Stephen Vinoski, IONA Technologies in Waltham, USA Can middleware be reliable? Wewouldliketoexpressoursinceregratitudetothesedistinguishedspeakers, well known to the community, for sharing their insights with the conference participants. Submitted Papers Alargenumberofpapersweresubmitted,fromasmanyas15di?erentcountries.


Linux Middleware UML Unified Modeling Language (UML) ada programming component-based systems dependable computing distributed systems embedded systems formal methods logic modeling object oriented design program analysis real-time systems

Editors and affiliations

  • Albert Llamosí
    • 1
  • Alfred Strohmeier
    • 2
  1. 1.Department of Mathematics and Computer ScienceThe University of the Balearic IslandsPalma de MallorcaSpain
  2. 2.School of Computer and Communication SciencesÉcole Polytechnique Fédérale de Lausanne (EPFL)LausanneSwitzerland

Bibliographic information

  • DOI
  • Copyright Information Springer-Verlag Berlin Heidelberg 2004
  • Publisher Name Springer, Berlin, Heidelberg
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-540-22011-4
  • Online ISBN 978-3-540-24841-5
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • Buy this book on publisher's site