Ada-Europe 1998: Uppsala, Sweden

@proceedings{DBLP:conf/adaEurope/1998,
  editor    = {Lars Asplund},
  title     = {Reliable Software Technologies - Ada-Europe '98, 1998 Ada-Europe
               International Conference on Reliable Software Technologies, Uppsala,
               Sweden, June 8-12, 1998, Proceedings},
  booktitle = {Ada-Europe},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1411},
  year      = {1998},
  isbn      = {3-540-64536-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Invited Speaker

• Franco Gasperoni:
  Embedded Opportunities. 1-13
  Electronic Edition (Springer LINK) BibTeX
• Pierre Chapront:
  Ada+B The Formula for Safety Critical Software Development. 13-18
  Electronic Edition (Springer LINK) BibTeX

Ada 95 and Java

• Laurent Millet, Ted Baker:
  Porting the GNAT Tasking Runtime System to the Java Virtual Machine. 19-28
  Electronic Edition (Springer LINK) BibTeX
• David E. Emery, Robert F. Mathias, Karl A. Nyberg:
  Automating the Ada Binding Process for Java- How Far Can We Go? 29-40
  Electronic Edition (Springer LINK) BibTeX

Ada 95 Language and Tools

• Mordechai Ben-Ari:
  Synchronizing Multiple Clients and Servers. 41-52
  Electronic Edition (Springer LINK) BibTeX
• Guido Schumacher, Wolfgang Nebel:
  How to Avoid the Inheritance Anomaly in Ada. 53-64
  Electronic Edition (Springer LINK) BibTeX

Distributed Systems

• Laurent Pautet, Samuel Tardieu:
  Inside the Distributed Systems Annex. 65-77
  Electronic Edition (Springer LINK) BibTeX
• Marta Patiño-Martínez, Ricardo Jiménez-Peris, Sergio Arévalo:
  Integrating Groups and Transactions: A Fault-Tolerant Extension of Ada. 78-89
  Electronic Edition (Springer LINK) BibTeX

Real-Time Systems

• Michael González Harbour, Mario Aldea Rivas, J. J. Gutiérrez García, José C. Palencia Gutiérrez:
  Implementing and Using Execution Time Clocks in Ada Hard Real-Time Applications. 90-101
  Electronic Edition (Springer LINK) BibTeX
• Agustín Espinosa, Vicente Julián, Carlos Carrascosa, Andrés Terrasa, Ana García-Fornes:
  Programming Hard Real-Time Systems with Optional Components in Ada. 102-111
  Electronic Edition (Springer LINK) BibTeX
• Scott Arthur Moody:
  Object Oriented Abstractions for Real-Time Distributes Systems. 112-127
  Electronic Edition (Springer LINK) BibTeX

Case Studies and Experiments

• Martin J. Stift:
  (Astro)Physical Supercomputing: Ada95 as a Safe, Object Oriented Alternative. 128-139
  Electronic Edition (Springer LINK) BibTeX
• Helge Hagenauer, Werner Pohlmann:
  Ada 95 for a Distributed Simulation System. 140-150
  Electronic Edition (Springer LINK) BibTeX
• Michael González Harbour, R. Gómez Somarriba, Alfred Strohmeier, J. Jacot:
  PINROB: A Portable API for Industrial Robots. 151-162
  Electronic Edition (Springer LINK) BibTeX

Software Quality

• Alfred Strohmeier, Vasiliy Fofanov, Sergey Rybin, Stéphane Barbey:
  Quality-for-ASIS: A Portable Testing Facility for ASIS. 163-175
  Electronic Edition (Springer LINK) BibTeX
• Michael Tonndorf:
  Ten Years of Tool Based Ada Compiler Validations. An Experience Report. 176-187
  Electronic Edition (Springer LINK) BibTeX

Software Development Methods and Techniques

• Saeed Araban, A. S. M. Sajeev:
  A Two-Level Matching Mechanism for Object-Oriented Class Libraries. 188-200
  Electronic Edition (Springer LINK) BibTeX
• Bruce Lewis, Steve Vestal, David J. McConnell:
  Modern Avionics Requirements for the Distributed Systems Annex. 201-212
  Electronic Edition (Springer LINK) BibTeX

Software Architectures

• José L. Fernández, Bárbara Álvarez, Francisco José García Izquierdo, Ángel Pérez, Juan Antonio de la Puente:
  A Case Study in Quantitative Evaluation of Real-Time Software Architectures. 213-224
  Electronic Edition (Springer LINK) BibTeX
• Jesús M. González-Barahona, Pedro de las Heras Quirós, José Centeno-González, Francisco J. Ballesteros:
  Building Modular Communication Systems in Ada: The Simple_Com Approach. 225-237
  Electronic Edition (Springer LINK) BibTeX

High Integrity Systems

• Johann Blieberger, Bernd Burgstaller:
  Symbolic Reaching Definitions Analysis of Ada Programs. 238-250
  Electronic Edition (Springer LINK) BibTeX
• Ken Wong:
  Looking at Code With Your Safety Goggles On. 251-262
  Electronic Edition (Springer LINK) BibTeX
• Alan Burns, Brian Dobbing, G. Romanski:
  The Ravenscar Tasking Profile for High Integrity Real-Time Programs. 263-275
  Electronic Edition (Springer LINK) BibTeX
• Steve Michell, Mark Saaltink:
  Guidance on the Use of Ada95 in High Integrity Systems. 276-287
  Electronic Edition (Springer LINK) BibTeX
• Bo Frisberg:
  Ada in the JAS 39 Gripen Flight Control System. 288-296
  Electronic Edition (Springer LINK) BibTeX