![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Date: Wed, 22 May 1996 16:20:20 +0200
From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier)
Subject: FINAL PROGRAM of Ada-Europe'96
FINAL PROGRAM
International Conference on Reliable Software Technologies
(Ada-Europe'96)
http://lglwww.epfl.ch/Ada-Europe/Conference/1996/
[ You can get a Postscript version of the Final Program from the
Ada-Europe server in Switzerland, or from the Ada-Belgium server
via WWW or via anonymous ftp. -- dc ]
Dates: June 10-14, 1996
Location: Montreux, Switzerland
Sponsored by Ada-Europe, in cooperation with ACM SIGAda.
--------------------------------------------------------------------------
PART A: TECHNICAL SESSIONS
Monday
------
Opening Session (Session chair: Alfred Strohmeier)
---------------
(Monday, June 10, 1996, 18:00 - 19:30)
John Barnes, President of Ada-Europe: Welcome address.
Alfred Strohmeier, Conference Chair: Welcome address.
Programming the Internet in Ada 95 1
S. Tucker Taft
Followed at 19:30 by the GNAT-Tail Party, cocktail sponsored by ACT-Europe.
----------------------------------------------------------------------------
Tuesday
-------
Invited Speech (Session chair: Alfred Strohmeier)
--------------
(Tuesday, June 11, 8h30-9h30)
Reliability Modeling for Safety Critical Software 17
Norman F. Schneidewind
*******
Break and Exhibition Opening (9:30 - 10:30)
----------------------------
*******
Software Development Methods (Session chair: Ed Colbert)
----------------------------
(Tuesday, June 11, 10h30-12h30)
Iterative Software Development for Large Ada Programs 101
Philippe Kruchten, Christopher J. Thompson
HCSD Unit Development Process: Step-Wise Process Improvement 111
David Emery, Jaswinder S. Madhur
An Approach to Increasing Software Component Reusability in Ada 89
Hyoseob Kim, Cornelia Boldyreff
Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries 78
Juan Antonio de la Puente, Alejandro Alonso, Angel Alvarez
*******
Lunch (12:30 - 14:00)
-----
*******
Compilers and Tools (Session chair: Michael Gonzalez Harbour)
-------------------
(Tuesday, June 11, 14h00-15h30)
ASIS for GNAT: From the Prototype to the Full Implementation 298
Sergey Rybin, Alfred Strohmeier, Alexey Kuchumov, Vasily Fofanov
Handling Irregular Grammars in Ada 312
Drasko Sotirovski, Philippe Kruchten
Interprocedural Call Optimization 319
Tim Birus, Christine Cipriani, Dean Sutherland
Experience Reports I (Session chair: Mark S. Gerhardt)
--------------------
(Tuesday, June 11, 14h00-15h30)
The Funds Management Modernization: Experiences with Developing an Object-Oriented, Client-Server Management Information System in Ada 95 427
Chad Bremmon
Converting the Part Task Nautical Simulator to Ada 95 439
Kor Molenmaker
Visibility Control and Migration of Interfaces in Large Ada Systems 451
Vincent Celier
*******
Break and Vendor Session (15:30 - 16:30)
------------------------
*******
Interfacing with Other Worlds (Session chair: Erhard Ploedereder)
-----------------------------
(Tuesday, June 11, 16h30-18h00)
Ada/O2 Coupling: A Solution for an Efficient Management of Persistence in Ada 83 396
Thierry Millan, Pierre Bazex
Interoperability of C++ Classes and Ada Tagged Types (extra notes)
Robert Dewar, Cyrille Comar
An Ada 95 Harness for Converting Legacy Fortran Applications 413
Bernd Gliss
Experience Reports II (Session chair: Charlene Roberts-Hayden)
---------------------
(Tuesday, June 11, 16h30-18h00)
Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question! 460
Philippe Waroquiers
Experiences Applying a Practical Architectural Method 471
David E. Emery, Richard F. Hilliard II, Timothy B. Rice
A Decade of Development and Deployment of Distributed Ada Systems 485
John D. Smart
*******
Ada-Europe General Assembly (18:00 - 19:00)
*******
Vendor Hospitality Suites (19:00 - late)
----------------------------------------------------------------------------
Wednesday
---------
Invited Speech (Session chair: Alfred Strohmeier)
--------------
(Wednesday, June 12, 8h30-9h30)
Fault-Tolerance by Replication in Distributed Systems 38
André Schiper
*******
Break and Vendor Session (9:30 - 10:30)
------------------------
*******
Distributed Systems (Session chair: Laurent Pautet)
-------------------
(Wednesday, June 12, 10h30-12h30)
Secure Communication in Distributed Ada 198
Jörg Kienzle, Thomas Wolf, Alfred Strohmeier
Using Object-Oriented Methods in Ada 95 to Implement Linda 211
Kristina Lundqvist, Göran Wall
Shared Packages Through Linda 223
Göran Wall, Kristina Lundqvist
Drago: An Ada Extension to Program Fault-Tolerant Distributed Applications 235
Francisco J. Miranda, Angel Alvarez, Sergio Averalo, Francisco J. Guerra
Verification and Validation (Session chair: Stephane Barbey)
---------------------------
(Wednesday, June 12, 10h30-12h30)
A Framework for Testing Object-Oriented Software Using Formal Specifications 159
Rohan Fletcher, A.S.M. Sajeev
On Some Characterisation Problems of Subdomain Testing 147
T. Y. Chen, Y. T. Yu
Testing Ada 95 Programs for Conformance to Rapide Architectures 123
Neel Madhav
Tasking Deadlocks in Ada 95 Programs and Their Detection 135
Jingde Cheng, Kazuo Ushijima
*******
Lunch (12:30 - 14:00)
-----
*******
Safety & Security (Session chair: Lars Asplund)
-----------------
(Wednesday, June 12, 14h00-15h30)
Ada 95 and Critical Systems: An Analytical Approach 171
Dan Craigen, Mark Saaltink, Steve Michell
The Use of Ada in Critical Systems, such as the TGV
Hervé Legall, Gilles Legoff, Marc Richard-Foy (Extra notes)
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A Critical Assessment 183
Alfred Rosskopf
Asis Panel (Co-chairs: Currie Colket and Sergey Rybin) (Extra notes)
----------
(Wednesday, June 12, 14h00-15h30)
*******
Break and Vendor Session (15:30 - 16:30)
------------------------
*******
The Ada 95 Programming Language I (Session chair: Stef Van Vlierberghe)
---------------------------------
(Wednesday, June 12, 16h30-18h00)
Beyond Ada 95: The Addition of Persistence and Its Consequences 342
Michael J. Oudshoorn, Stephen C. Crawley
An Ada 95 View of Some Difficult or Controversial Points in Object-Oriented Programming 370
Patrick de Bondeli
Extending the Object-Orientedness of Ada 95 357
Bernd Holzmueller
Asis Panel (continued) (Co-chairs: Currie Colket and Sergey Rybin) (Extra notes)
----------
(Wednesday, June 12, 16h30-18h00)
******
Bus departure for the Banquet (18:45 SHARP)
Banquet at the Chateau du Chatelard (19:00 - 23:30)
----------------------------------------------------------------------------
Thursday
-------
Invited Speech (Session chair: Alfred Strohmeier)
--------------
(Thursday, June 13, 8h30-9h30)
Ada 95: An Effective Concurrent Programming Language 58
Alan Burns
*******
Break and Vendor Session (9:30 - 10:30)
------------------------
*******
Real-Time Systems (Session chair: Jean-Pierre Rosen)
-----------------
(Thursday, June 13, 10h30-12h30)
The Dining Philosophers in Ada 95 247
Benjamin M. Brosgol
Using Ada 95 for Prototyping of Real-Time Systems 262
Jorge Real, Agustin Espinosa, Alfons Crespo
The GNARL Implementation of POSIX/Ada Signal Services 275
Dong-Ik Oh, Ted P. Baker, Seung-Jin Moon
Implementing Protected Types on Embedded Targets 287
David Mundie, John Fardo, Ed Kuzemchak
*******
Lunch (12:30 - 14:00) (Exhibition closes)
-----
*******
The Ada 95 Programming Language II (Session chair: Angel Alvarez)
----------------------------------
(Thursday, June 13, 14h00-15h30)
Where Does GOTO Go to? 385
Wolfgang Gellerich, Markus Kosiol, Erhard Ploedereder
Augmenting Ada 95 with Additional Real-Time Features 330
Johann Blieberger, Roland Lieger, Bernd Burgstaller
Planning the Transition to Ada 95 for a Large Real-Time Project 500
Roland Feith, Michael Tonndorf
The Business Case of Ada
------------------------
(Thursday June 13, 14h00-15h30
panel chaired by Bob Mathis, Director of ARA
*******
Break (15:30 - 16:30)
-----
*******
Closing Session (Session chair: Alfred Strohmeier)
---------------
(Thursday, June 13, 1996, 16:30 - 17:30)
Transitioning the AJPO
Dr. Charles Engle,
Director of the Ada Joint Program Office
John Barnes, President of Ada-Europe: Best paper and best presentation awards.
John Barnes, President of Ada-Europe: Farewell address.
**********************************************************************
PART B: TUTORIALS, WORKSHOPS AND JOINT EVENTS
---------------------------------------------
TUTORIALS (all at hotel Montreux Palace)
(8:30 - 12:00, and 13:30 - 17:00)
Monday, June 10, Full Day
o OOP with Ada 95 and other gOODies, John Barnes
o Object Technology Project Management, Richard T. Due
o Real-Time and Distributed Features of Ada 95, Joyce L. Tokar
Friday, June 14, Full Day
o Software Architecture and Iterative Development Process,
Philippe Kruchten
Friday, June 14, Morning
o Task Schedulability Analysis, Vance Christiaanse
o Writing Java(tm)-Compatible Applets in Ada 95, S. Tucker Taft
Friday, June 14, Afternoon
o Information Systems Programming in Ada 95, Benjamin M. Brosgol
o Real-Time POSIX, Michael Gonzalez Harbour
WORKSHOPS
---------
Monday, June 10, Afternoon (13:30 - 17:00):
Design Patterns for Active Objects (Location to be announced)
Organizer: Mark Gerhardt, Gerhardt_Mark@srs.loral.com
Thursday, June 13, Afternoon (14:00 - 17:30):
Design and Coding Guidelines for Ada 95
Organizer: Philippe Kruchten, pkruchten@rational.com
JOINT EVENTS (by invitation only)
------------
ASIS Working Group (Monday, June 10, Eurotel Riviera)
ISO WG9 (Friday, June 14, Eurotel Riviera)
ARG Meeting (Sat-Mon, June 15-17, Eurotel Riviera)
Date: Thu, 11 Apr 1996 09:23:07 +0200 From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier) Subject: Conference on Reliable Software Technologies, REMINDER Conference on Reliable Software Technologies in Montreux, June 10 - 14, 1996 Dear all, May I recall you some highlights of the forthcoming conference, so you don't forget to register before the early registration deadline, i.e. May 10, 1996: 1. 500-page proceedings in Springer's famous Lecture Notes of Computer Science available at the start of the conference. 2. GREAT KEYNOTE SPEAKERS, ABOUT HOT TOPICS Programming the Internet in Ada 95 S. Tucker Taft Reliability Modeling for Safety Critical Software Norman F. Schneidewind Fault-Tolerance by Replication in Distributed Systems André Schiper Ada 95: An Effective Concurrent Programming Language Alan Burns 3. A great TUTORIAL PROGRAM 4. and much more in more than 40 technical presentations, workshops, and panels... but all this you can discover by having a look on the Advance Program, in all possible forms. See below for more information. Please spread this announcement, and don't forget to register yourself :-) Best regards, -- Alfred Strohmeier, Program Chair --------------------------------------------------------------------------- June 10-14, 1996 International Conference on Reliable Software Technologies (Ada-Europe'96) -------------------------------------------------------------------------- Location: Montreux, Switzerland The conference is sponsored by Ada-Europe in cooperation with ACM SIGAda. WEB SITE: URL: http://lglwww.epfl.ch/Ada-Europe/Conference/1996/ ADVANCE PROGRAM The Ada-Europe'96 Advance Program is an extract of the WWW pages. You can get its Postscript version from the Net: http://lglwww.epfl.ch/Ada-Europe/Conference/1996/Documents/ or by anonymous ftp ftp://lglftp.epfl.ch/pub/AE96/advance.ps [ A copy is also available on the Ada-Belgium server via WWW or via anonymous ftp. -- dc ] You get its ASCII version by sending an e-mail message to: ae96-info@lglsun.epfl.ch You can also receive a paper copy of the advance program. Please send your postal address by e-mail to: ae96-booklet@lglsun.epfl.ch, or send it by postal mail or by fax to the "Convention and Tourist Office". INFO BY E-MAIL You can register your e-mail address by sending a message to ae96-info@lglsun.epfl.ch. You will get up-to-date information by e-mail whenever available; right now, you will get as a reply the Advance Program in ASCII. REGISTRATION FORMS The advance program in its various forms contains always registration and hotel reservation forms. Conference Logistics are handled by: Convention and Tourist Office Ada-Europe'96 Rue du Théâtre 5 Case postale 1451 CH-1820 Montreux Switzerland Phone +41 21 962 84 84 Fax +41 21 963 78 95 See you in Montreux, -- Alfred Strohmeier, program chair
Date: Tue, 12 Mar 1996 12:25:22 +0100 From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier) Subject: Reliable Software Technologies (Ada-Europe'96) RE: Advance Program and WEB site The Advance Program is now available in various forms, including Postscript. You may also have a look on the WEB pages. Please spread this announcement to interested parties. Best regards, -- Alfred Strohmeier, Program Chair [ 76 lines deleted; see above -- dc ]
Date: Tue, 20 Feb 1996 19:39:51 +0100
From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier)
Subject: LONG: Reliable Software Technologies (Ada-Europe'96)
Advance Program
International Conference on
Reliable Software Technologies
(Ada-Europe'96)
-------------------------------
http://lglwww.epfl.ch/Ada-Europe/Conference/1996/
Dates: June 10-14, 1996
Location: Montreux, Switzerland
Sponsored by Ada-Europe, in cooperation with ACM SIGAda.
Organized by the Software Engineering Lab of the Swiss Federal
Institute of Technology in Lausanne, Prof. Alfred Strohmeier
and Stéphane Barbey; conference logistics by the Convention and
Tourism Office of Montreux, Switzerland.
GENERAL INFORMATION
-------------------
The international conference of Ada-Europe, the European
federation of national Ada societies, will take place this year
at the Montreux Palace Hotel, Montreux, Switzerland, on the edge
of beautiful lake Geneva, from June 10 to 14, 1996.
The conference provides an international forum for researchers,
developers and users of reliable software technologies to
share current research, academic and industrial experiences.
Presentations and discussions cover applied and theoretical work
currently conducted to support the development and maintenance
of reliable software systems. An exhibition will also showcase
the latest products related to Ada and to the technologies for
reliable software systems.
The conference comprises a three-day technical program and
exhibition from Monday evening to Thursday, with workshops and
tutorials scheduled on Monday and Friday.
In this document, you will find information about
- organization and program committees,
- the tutorials,
- the invited speeches,
- the technical program (accepted submissions, panels),
- the workshops,
- the joint events,
- the exhibition (including vendor application form),
- the social events,
- travel information,
- conference registration (including form),
- hotel registration (including form),
- ... and information on how to get more information.
THE WEEK AT A GLANCE
--------------------
* MONDAY, JUNE 10
8h30-17h00 Tutorials and Workshop
18h00-19h15 Conference Opening and Invited Speech
* TUESDAY, JUNE 11, TO THURSDAY, JUNE 13
8h30- 9h30 Invited Speeches
10h30-12h30 Technical Program
14h00-18h00 Technical Program
* WEDNESDAY JUNE 12
18h45 Bus Departure for Banquet
19h00-23h30 Banquet at the "Chateau du Chatelard"
* FRIDAY, JUNE 14
8h30-17h00 Full Day Tutorial
8h30-12h00 Half Day Tutorials
13h30-17h00 Half Day Tutorials
* CONFERENCE DESK OPENING HOURS
Sunday 17h00-19h00
Monday 8h00-20h00
Tuesday to Thursday 8h00-18h00
Friday 8h00-14h00
ORGANIZATION & PROGRAM COMMITTEEES
----------------------------------
* ORGANIZATION
- Conference Logistics
Convention and Tourist Office
Ada-Europe'96
Rue du Théâtre 5
Case postale 1451
CH-1820 Montreux
Switzerland
Phone +41 21 962 84 84
Fax +41 21 963 78 95
- Alfred Strohmeier
Programme Chair, alfred.strohmeier@di.epfl.ch
- Stéphane Barbey
Tutorial Chair, stephane.barbey@di.epfl.ch
Swiss Federal Institute of
Technology in Lausanne (EPFL)
Department of Computer Science
Software Engineering Lab
CH-1015 Lausanne
Switzerland
Fax : +41 21 693 5079
- Björn Källberg
PR Officer, bjkae@celsiustech.se
- Peter E. Obermayer
Exhibition Organizer, obermayer@cci.de
Competence Center Informatik GmbH
Lohberg 10
P.O. Box 1225
D-49716 Meppen
Germany
Fax : +49 5931 805 100
* PROGRAM COMMITTEE
- Angel Alvarez, Technical University of Madrid
- Lars Asplund, Uppsala University
- Stéphane Barbey, Swiss Federal Institute of Technology in
Lausanne, Tutorial Chair
- Mark S. Gerhardt, LORAL Space & Range Systems
- Charlene Roberts-Hayden, GTE Systems
- Bjorn Kallberg, CelsiusTech Systems AB
- Jan van Katwijk, Delft University of Technology
- Philippe Kruchten, Rational
- Peter E. Obermayer, Competence Center Informatik Gmbh,
Exhibition Organizer
- Laurent Pautet, Telecom Paris
- Erhard Ploedereder, University of Stuttgart
- Jean-Pierre Rosen, ADALOG
- Sergey Rybin, Moscow State University
- Edmond Schonberg, New York University
- Alfred Strohmeier, Swiss Federal Institute of Technology in
Lausanne, Program Chair
- Bill Taylor, Transition Technology Limited
- Stef Van Vlierberghe, OFFIS N.V./S.A.
- Peter Wehrum, Rational
- Brian Wichmann, National Physical Laboratory
* ADVISORY BOARD
- John Barnes, John Barnes Informatics
- Luc Bernard, OFFIS N.V./S.A.
- Alan Burns, University of York
- Dirk Craeynest, OFFIS N.V./S.A.
- Xavier Cusset, CS Defense
- Albert Llamosi, Universitat Rovira i Virgili
- Karlotto Mangold, ATM Computer GmbH
- Jim Moore, MITRE Corp
- Kiyoshi Ishihata, Meiji University
TUTORIALS
---------
The tutorial program covers a broad spectrum of topics. The
tutorials have been selected to appeal to practitioners, managers,
and researchers alike. They are all presented by renowned speakers
from academia and industry.
* TUTORIALS AT A GLANCE
- Monday, June 10, Full Day
o OOP with Ada 95 and other gOODies, John Barnes
o Object Technology Project Management, Richard T. Due
o Real-Time and Distributed Features of Ada 95, Joyce L. Tokar
- Friday, June 14, Full Day
o Software Architecture and Iterative Development Process,
Philippe Kruchten
- Friday, June 14, Morning
o Task Schedulability Analysis, Vance Christiaanse
o Writing Java(tm)-Compatible Applets in Ada 95, S. Tucker Taft
- Friday, June 14, Afternoon
o Information Systems Programming in Ada 95, Benjamin M. Brosgol
o Real-Time POSIX, Michael Gonzalez Harbour
* SHORT ABSTRACTS
- OOP WITH ADA 95 AND OTHER GOODIES (full day, Monday)
John Barnes (JB Informatics)
This example-driven tutorial will cover the main features of the
core of Ada 95 with strong emphasis on OOP and other interesting
areas.
- OBJECT TECHNOLOGY PROJECT MANAGEMENT (full day, Monday)
Richard T. Dué (Thomsen Dué and Associates, Ltd.)
This tutorial presents a overview of proven, practical
approaches to the full-time job of managing Object Technology
systems development projects.
- REAL-TIME AND DISTRIBUTED FEATURES OF ADA 95 (full day, Monday)
Joyce L. Tokar (Tartan)
This tutorial will present an overview of features and
programming techniques for real-time and distributed systems
with Ada 95.
- SOFTWARE ARCHITECTURE AND ITERATIVE DEVELOPMENT PROCESS (full
day, Friday)
Philippe Kruchten (Rational Software)
This tutorial introduces the concept and a model of software
architecture and describes an iterative process to develop and
validate the architecture of software-intensive systems.
- TASK SCHEDULABILITY ANALYSIS (half day, Friday morning)
Vance Christiaanse (Lockheed Martin)
This tutorial presents the principles of multi-tasking software
design on a monoprocessor. It will cover the major Ada 95
scheduling disciplines and help your tasks meet hard deadline
time requirements.
- WRITING JAVA(TM)-COMPATIBLE APPLETS IN ADA 95 (half day, Friday
morning)
S. Tucker Taft (Intermetrics)
This tutorial will introduce the attendees to writing
Java(tm)-compatible applets in Ada 95.
- INFORMATION SYSTEMS PROGRAMMING IN ADA 95 (half day, Friday
afternoon)
Benjamin M. Brosgol (Thomson Software Products) This tutorial
will cover the information systems-related facilities of Ada
95, such as exact decimal arithmetic a la Cobol, picture-driven
edited output, character handling, string processing, and
interfacing with other software systems.
- REAL-TIME POSIX (half day, Friday afternoon)
Michael Gonzalez Harbour (EE & CS Dept, Cantabria University)
This tutorial discusses the main real-time operating system
services defined in the POSIX standards and the different
options and services suitable for developing real-time
applications in Ada.
Full abstracts are available on the WWW site of the conference.
INVITED SPEECHES
----------------
Invited speakers will discuss the state of the art and what the
future will offer in the area of reliable software development for
real-time systems, distributed systems, and Internet applications.
Those selected presentations will feature the four following
talks:
- PROGRAMMING THE INTERNET IN ADA 95 (Monday 10 June, 18:15 - 19:15)
S. Tucker Taft, Intermetrics chief scientist and lead designer
of Ada 95
The Internet and the World Wide Web is considered as one of the
nineties' major shift in the computer industry. S. Tucker Taft
will present Sun's Java programming language and discuss how the
full power of Ada 95 can benefit the Internet by programming
Java(tm)-compatible programs in Ada 95 and assuring efficient
and secure transmission over the Internet.
- RISK AND RELIABILITY ANALYSIS FOR SAFETY CRITICAL SOFTWARE (Tuesday 11
June, 8:30 - 9:30)
Norman F. Schneidewind,Professor of Information Sciences, Naval
Postgraduate School, Monterey
It is feasible to predict the software reliability and increase
management's confidence in the reliability of safety critical software
such as the NASA Space Shuttle Primary Avionics Software System. These
objective were achieved with our novel approach of integrating software
safety criteria, risk analysis, reliability prediction, and a stopping
rule for testing. This approach is applicable to other safety critical
software. We encourage practitioners to apply this approach.
- FAULT-TOLERANCE BY REPLICATION IN DISTRIBUTED SYSTEMS (Wednesday 12
June, 8:30 - 9:30)
André Schiper, Professor of Computer Science at the Swiss Federal
Institute of Technology
Reliable software technology considers it unacceptable when services
become unavailable because of failures. A. Schiper's talk will
concentrate on the techniques that have been developed to implement
software-based replicated services.
- ADA 95: AN EFFECTIVE CONCURRENT PROGRAMMING LANGUAGE (Thursday 13
June, 8:30 - 9:30)
Alan Burns, Professor of Real-Time Systems in the Department of
Computer Science, University of York, U.K.
Through a discussion of three case studies, this presentation shows how
the language abstractions supported by Ada can be combined to build
effective higher-level abstractions. The three examples concern a
concurrency problem, a fault tolerance requirement and a scheduling
issue.
Full abstracts are available on the WWW site of the conference.
TECHNICAL PROGRAM
-----------------
Besides the invited speeches, the Ada-Europe'96 technical program
contains more than thirty presentations on the most important trends in
software technologies, and more specifically on reliable systems. There
will be sessions on
- Software Development Methods
- Verification and Validation
- Safety & Security
- Real-Time Systems
- Distributed Systems
- The Ada 95 Programming Language
- Compilers and Tools
- Interfacing with Other Worlds
- Experiences Reports
Among the presentations, some will describe the use of object-oriented
methods for specific problems such as the implementation of distributed
systems, or testing.
Moreover, you will hear experience reports and case studies describing
the problems encountered and the solution found for the development of
large software, and the application of software development methods to
enhance software quality. There will also be a session about ASIS, the
Ada Semantic Interface Specification.
* ACCEPTED SUBMISSIONS
- Software Development Methods
Mapping HRT-HOOD Designs to Ada 95 Hierarchical Libraries
Juan A. de la Puente, Alejandro Alonso, Angel Alvarez
An Approach to Increasing Software Component Reusability in Ada
Hyoseob Kim, Cornelia Boldyreff
Iterative Development in Large Ada Systems
Philippe Kruchten, Christopher J. Thompson
HCSD Unit Developement Process: Step-Wise Process Improvement
David Emery, Jaswinder S. Madhur
- Verification and Validation
Testing Ada 95 Programs for Conformance to Software Architectures
Neel Madhav
Tasking Deadlocks in Ada 95 Programs and Their Detection
Jingde Cheng, Kazuo Ushijima
On Some Characterisation Problems of Subdomain Testing
T. Y. Chen, Y. T. Yu
A Framework for Testing Object-Oriented Software Using Formal
Specifications
R. Fletcher, A. S. M. Sajeev
- Real-Time Systems
The Dining Philosophers in Ada 95
Benjamin M. Brosgol
Using Ada 95 for Prototyping of Real-Time Systems
Jorge Real, Agustin Espinosa, Alfons Crespo
The GNARL Implementation of POSIX/Ada Signal Services
Ted Baker, Dong-Ik Oh, Seung-Jin Moon
Implementing Protected Types on Embedded Targets
David Mundie, John Fardo
- Distributed Systems
Secure Communication in Distributed Ada
Jörg Kienzle, Thomas Wolf, Alfred Strohmeier
Using Object-Oriented Methods in Ada 95 to Implement Linda
Kristina Lundqvist, Göran Wall
Shared Packages Through Linda
Göran Wall, Kristina Lundqvist
Drago: An Ada Extension to Program Fault-Tolerant Distributed
Applications
Angel Alvarez, Francisco J. Miranda, Sergio Averalo, Francisco J.
Guerra
- The Ada 95 Programming Language
Augmenting Ada 95 With Additional Real-Time Features
Johann Blieberger, Roland Lieger, Bernd Burgstaller
Beyond Ada 95: The Addition of Persistence and its Consequences
Michael Oudshoorn, Stephen Crawley
Flexible Typing in Ada
Bernd Holzmueller
An Ada 95 View of Some Difficult or Controversal Points in
Object-Oriented Programming
Patrick de Bondeli
Where does GOTO go to?
Wolfgang Gellerich, Markus Kosiol, Erhard Ploedereder
- Compilers and Tools
ASIS-for-GNAT: From the Prototype to the Full Implementation
Sergey Rybin, Alfred Strohmeier, Eugene Zueff, Vasily Fofanov, Alexey
Kuchumov
Parsing Irregular Grammars in Ada
Drasko Sotirovski, Philippe Kruchten
Interprocedural Call Optimization
Tim Birus, Christine Cipriani, Dean Sutherland
- Safety & Security
The Use of Ada in Critical Systems, such as the TGV
Marc Richard-Foy, Gilles Le Goff, Hervé Legall
Ada 95 and Critical Systems: An Analytical Approach
Dan Craigen, Steve Michell, Mark Saaltink
Use of a Static Analysis Tool for Safety-Critical Ada Applications: A
Critical Assessment
Alfred Rosskopf
- Interfacing with Other Worlds
Ada/O2 Coupling: A Solution for Efficient Management of Persistence in
Ada 83
Thierry Millan, Pierre Bazex
Interoperability of C++ Classes and Ada Tagged Types
Robert Dewar, Cyrille Comar
An Ada 95 Harness for Converting Legacy Fortran Applications
B. Gliss
- Experience Reports
The Funds Management Modernization: Experiences with Developing an
Object-Oriented, Client-Server Management Information System in Ada 95
Chad Bremmon
Converting the Part Task Nautical Simulator to Ada 95
Kor Molenmaker
Visibility Control and Migration of Interfaces in Large Ada Systems
Vincent Celier
Ada Tasking and Dynamic Memory: To Use or Not To Use, That's a Question
Philippe Waroquiers
Experiences Applying a Practical Architecture Method
David E. Emery, Richard F. Hilliard II, Timothy B. Rice
A Decade of Development and Deployment of Distributed Ada Systems
John D. Smart
Planning the Transition to Ada 95 for a Large Real-Time Project
Michael Tonndorf, Roland Feith
* PANELS
- ASIS PANEL
Co-chaired by Mr. Currie Colket, Chairman ASIS Working
Group/Chairman ASIS Rapporteur Group and Dr. Sergey Rybin,
Moscow State University
The ASIS Panel will address the new ASIS specification to
support Ada 95, its use in developing CASE tools, and ASIS
resources available. It will provide an opportunity to discuss
issues and technical solutions concerning the building of CASE
tools using ASIS with those who have already done so.
- THE BUSINESS CASE FOR ADA
Chaired by Bob Mathis, Executive Director, Ada Resource
Association with Robert Dewar, President, Ada Core Technologies,
USA Rudolf Landwehr, CCI, Germany Nasser Kettani, Rational
Software, France
Ada has proven itself in many situations, but it is still not
being used in many other situations where its proponents think
it would provide a superior technology and an improved solution.
This panel will discuss some of the different factors that go
into evaluating programming languages for use in different
business contexts. The panelists will also discuss the different
perspectives that exist in different countries.
Specific factors to be discussed include when and why software
development managers make decisions about programming languages,
level of familiarity with different programming languages, and
importance of factors like reliability, ability to handle large
programs, speed of running programs, language standardization,
clarity of source code, reuse of code or designs, maintenance
and support costs, portability of programs, client-server
support, support for modern software engineering methods,
object-oriented programming support, life cycle costs, initial
costs, compile speed, global acceptance, popularity in an
industry segment, and government use.
* PROCEEDINGS
The proceedings will be printed in the famous Lecture Notes of
Springer (LNCS), and be available at the start of the conference.
WORKSHOPS
---------
- Design Patterns for Active Objects (full day, Monday)
Organizers: Mark Gerhardt, Loral Space and Range Systems,
Gerhardt_Mark@srs.loral.com and Rich Hilliard, The MITRE
Corporation, rh@mitre.org
Active objects are objects that have or use a thread of control
as a part of their state. The purpose of this workshop is to
provide a forum for workers interested in formulating and
discussing design patterns using active object techniques in
Ada 95 (its features for full object-oriented programming,
concurrency, and distribution). Prospective attendees are
required to submit a position paper.
- Design and Coding Guidelines for Ada 95 (half-day, Thursday
afternoon)
Organizer: Philippe Kruchten, Rational Software,
pkruchten@rational.com
The objective of this workshop is to present and discuss
guidelines for the use of Ada features, and preferably Ada 95
features. Attendance to the workshop is by invitation only. The
selection of participants will be based on the submission by
candidates of 2 proposed guidelines.
Full abstracts are available on the WWW site of the conference.
* PARTICIPATION
For participation in a workshop, please contact the workshop
organizer.
JOINT EVENTS
------------
* ARG Meeting (June 15-17 (Sat-Mon), Eurotel Riviera 4*)
* ISO WG9 (Friday, June 14)
* ASIS Working Group (Monday, June 10)
* Ada-Europe General Assembly (Tuesday, June 11, 18:00-19:00)
EXHIBITION
----------
The conference will be accompanied by a three-day commercial
exhibition on June 11, 12 and 13. Vendors of software products and
services should contact the Exhibition Organizer at the earliest
convenience for further information and to ensure their inclusion.
* EXHIBITION LOCATION
The exhibition will take place in the Montreux Palace Hotel in
Room Léman A during the Conference from Tuesday to Thursday. It
will be opened Tuesday morning in the first coffee break and be
closed Thursday afternoon.
* PROSPECT EXHIBITORS
- Addison-Wesley
- ACT Europe
- AJPO
- Cadre Technologies
- Competence Center Informatik GmbH
- CRI
- Dassault Electronique
- DDC-I
- Intermetrics
- GSE Gesellschaft für Software-Engineering mbH
- CISI
- Mark V
- OCS
- OIS
- Prentice-Hall
- Rational
- Sema Group
- SGI
- Springer Verlag
- Tartan
- TLD Systems Ltd.
- Thomson Software Products
If your company, or a company that you would like to meet at
Ada-Europe'96 , does not figure in this list, and you want to
be present at Ada-Europe'96, please contact the exhibition
organizer. See also the vendor exhibition form at the end of this
program.
SOCIAL EVENTS
-------------
A banquet will be held at the "Château du Chatelard".
The castle Châtelard has been built in 1441 as a defence tower
during the Burgundy wars. This private property is a famous
wine-growing center. The terrace with its view over the whold Lake
of Geneva is an ideal place for Aperitives. The banquets, with
Trumpets and Candlelight, are an unforgettable Event!
The Banquet package includes:
* Transportation to and from the Castle,
* The aperitive, with the "Vin du fût" and "pains aux greubons, au
cumin et au lard".
* The meal (fine french cooking, including cheese and dessert)
* unlimited wine
* coffee and liqueur (à volonté)
TRAVEL INFORMATION
------------------
Montreux is situated on the shores of the Lac Léman - Lake Geneva-
in the French-speaking part of Switzerland, less than 40 km from
Lausanne. Surrounded by mountains, protected from cold winds, and
with palms and other exotic trees and plants lining its shores,
Montreux is known as the "Pearl of the Swiss Riviera".
* Access Routes and Links
- By Air
Geneva is the nearest airport. Direct trains to Montreux depart
every hour from the train station within the airport. Travel time
is approximately one hour. Montreux can also be reached by train
from Zürich International Airport in about 3 hours.
- By Rail
Direct trains from Paris, Milan, Rome. Connections in Basel,
Bern or Zürich with intercity lines from Germany, Benelux and
Scandinavia via Lausanne.
- By Road
Freeway, Montreux exit.
CONFERENCE REGISTRATION
-----------------------
To register, please fill out the form below and return it by
postal mail or fax it to the Convention and Tourist Office of
Montreux.
Convention and Tourist Office
Ada-Europe'96
Rue du Théâtre 5
Case postale 1451
CH-1820 Montreux
Switzerland
Phone +41 21 962 84 84
Fax +41 21 963 78 95
Please note that the conference organizers will not answer
questions regarding the conference registration. Direct your
questions to the Conference and Tourism Office.
All prices are given in CHF (Swiss francs).
-----------------------------------------------------------------------
ADA-EUROPE'96 REGISTRATION FORM
* IDENTIFICATION
Name : ________________________ Surname : __________________________
Company : __________________________________________________________
Address : __________________________________________________________
Postal Code : _____ City : _________________________________________
Country : __________________________________________________________
Phone : ___________________________ Fax : __________________________
Email: _____________________________________________________________
Badge: _____________________________________________________________
* EVENTS
- CONFERENCE
Name Normal Price On or before
May 10, 1996
[ ] Full Conference CHF 800 CHF 700
[ ] Academics CHF 800 CHF 500
[ ] One Day Tuesday CHF 400 CHF 400
[ ] One Day Wednesday CHF 400 CHF 400
[ ] One Day Thursday CHF 400 CHF 400
- BANQUET
number of banquet tickets (each CHF 130): ___
- ADDITIONAL CONFERENCE PROCEEDINGS:
number of extra proceedings (each CHF 80): ___
- WORKSHOPS
Name Schedule Price
[ ] Design Patterns for Active Objects Monday all-day CHF 150
[ ] Design and Coding Guidelines for Ada 95
(free for conference attendees Thursday afternoon CHF 100
registered for Thursday, June 13)
- TUTORIALS
Name Schedule Normal On or before
Price May 10, 1996
[ ] John Barnes
OOP with Ada 95 and other Monday CHF 500 CHF 400
gOODies all-day
[ ] Richard T. Dué
Object Technology Project Monday CHF 500 CHF 400
Management all-day
[ ] Joyce Tokar
Real-Time and Distributed Monday CHF 500 CHF 400
Features of Ada 95 all-day
[ ] Philippe Kruchten
Software Architecture and Friday CHF 500 CHF 400
Iterative Development all-day
[ ] Vance Christiansee Friday
Task Schedulability Analysis Morning CHF 250 CHF 200
[ ] S. Tucker Taft
Writing Java(tm)-compatible Friday CHF 250 CHF 200
applets in Ada 95 Morning
[ ] Ben Brosgol
Information Systems Friday CHF 250 CHF 200
Programming in Ada 95 Afternoon
[ ] Michael Gonzalez-Harbour Friday
Real-Time Posix Afternoon CHF 250 CHF 200
* TOTAL (Conference + Banquet + Proceedings + Workshops + Tutorials)
= CHF ______________
- PAYEMENT
[ ] Cheque in CHF (Swiss Francs) drawn on a Swiss bank is attached
[ ] Bank transfer to
Banque Cantonale Vaudoise, CH-1820 Montreux, Switzerland -
Clearing 767.222 Account : Ada-Europe'96 No 909'29.13.
Kindly ensure that your name and your company are clearly
indicated.
[ ] Credit card
[ ] American Express [ ] Eurocard/Mastercard [ ] Visa
Card number _ _ _ _ / _ _ _ _ / _ _ _ _ / _ _ _ _
Cardholder name _________________________________
Expiring date ____-____
- REMARKS
(presentation of paper/tutorial, special conditions, vegetarian
meals, ...)
- CANCELLATION
MUST be in writing; an administrative fee of CHF 100.- will
be applied to ALL cancellations. All refunds will be made
following the conference. NO REFUND WILL BE MADE FOR CANCELLATIONS
POSTMARKED AFTER MAY 17, 1996
Date: ___________________ Signature: ___________________________
--------------------------------------------------------------------------
HOTEL RESERVATION
-----------------
Please fill out the above form and return it by postal mail or fax
it to the Convention and Tourist Office of Montreux.
Convention and Tourist Office
Ada-Europe'96
Rue du Théâtre 5
Case postale 1451
CH-1820 Montreux
Switzerland
Phone +41 21 962 84 84
Fax +41 21 963 78 95
Please note that the conference organizers will not answer
questions regarding the hotel reservation. Direct your questions
to the Conference and Tourism Office.
All rooms include breakfast and hotels are within walking distance
(10 mins max.) of the conference facilities. Prices are in CHF
(Swiss Francs), per room and per night, VAT and service included.
(Please make your reservation as soon as possible. After May 24,
some categories may be sold out.)
* OFFICIAL HOTELS
The conference will be held at the Montreux Palace. The ARG
meeting will take place in the Eurotel Riviera.
-----------------------------------------------------------------------
ADA-EUROPE'96 HOTEL RESERVATION FORM
* IDENTIFICATION
Name : ________________________ Surname : __________________________
Company : __________________________________________________________
Address : __________________________________________________________
Postal Code : _____ City : _________________________________________
Country : __________________________________________________________
Phone : ___________________________ Fax : __________________________
Email: _____________________________________________________________
Badge: _____________________________________________________________
* HOTEL
Hotel Single room Double room
[ ] Montreux Palace 5* CHF 280.-- CHF 400.--
[ ] Eurotel Riviera 4* CHF 190.-- CHF 250.--
[ ] Bon Accueil 3* CHF 150.-- CHF 180.--
[ ] Bon-Port 3* CHF 130.-- CHF 180.--
[ ] Inexpensive accommodation CHF 60.-- to 110.-- CHF 120.--
Single/Double:_____________________________
(After May 24, some categories may be sold out.)
Arrival Date : _____________________________
Departure Date :_____________________________
* GUARANTEE
The Convention & Tourist Office of Montreux will confirm your
reservation. No deposit required. Please indicate the full details of
your credit card in order to guarantee your room :
[ ] American Express [ ] Eurocard/Mastercard [ ] Visa
Card number _ _ _ _ / _ _ _ _ / _ _ _ _ / _ _ _ _
Cardholder name _________________________________
Expiring date ____-____
Place and date :_______________ Signature :____________________________
-----------------------------------------------------------------------
ADDITIONAL INFORMATION AND MAILING LISTS
----------------------------------------
If you have access to the World Wide Web, please access the
conference home page at
http://lglwww.epfl.ch/Ada-Europe/Conference/1996/
You can register your e-mail address by sending a message to
ae96-info@lglsun.epfl.ch. You will get up-to-date information by
e-mail whenever available.
* ORDERING PAPER COPIES OF THE ADVANCE PROGRAM
You can also receive a paper copy of the advance program as soon
as it is available. (It is an extract of the WWW pages and similar
in content to this ascii program.)
Please send your postal address by e-mail to
ae96-booklet@lglsun.epfl.ch, or send it by postal mail or by fax
to the "Convention and Tourist Office" by filling out the form
below.
Convention and Tourist Office
Ada-Europe'96
Rue du Théâtre 5
Case postale 1451
CH-1820 Montreux
Switzerland
Phone +41 21 962 84 84
Fax +41 21 963 78 95
-----------------------------------------------------------------------
ADA-EUROPE'96 ADVANCE PROGRAM FORM
Please send me a paper copy of the advance program as soon as it is
available.
First Name: ________________________ Last Name: ________________________
Company:
_________________________________________________________________
Street:
_________________________________________________________________
City: __________________________ Zip: ________ Country: _______________
Phone: _________________________ Fax: __________________________________
--------------------------------------------------------------------------
VENDOR EXHIBITION APPLICATION FORM
----------------------------------
Please send your application to the exhibition organizer
Dr. Peter E. Obermayer
Competence Center Informatik GmbH
Lohberg 10
D-49716 Meppen
Germany
Tel. : +49 (5931) 805 469
Fax : +49 (5931) 805 100
email: obermaye@cci.de
-----------------------------------------------------------------------
ADA-EUROPE'96 EXHIBIT APPLICATION FORM
* IDENTIFICATION
Organization name: ____________________________________________
Contact person: _______________________________________________
Address: ______________________________________________________
______________________________________________________
______________________________________________________
Phone: ________________________________________________________
Fax: ________________________________________________________
Email: ________________________________________________________
URL: ________________________________________________________
* BOOTH
We wish to exhibit a
[ ] Tool [ ] Technique [ ] Environment [ ] Product [ ] Book/Journal
Name of item(s) exhibited:
Description of item(s), software engineering problem(s) they address:
Contribution of item(s) to solving the problem:
Amount of space for exhibition booth requested, equipment provided and
price (please mark your choice):
[ ] 9 square meter exhibition space
with one table and two chairs 5000 CHF
[ ] 12 square meter exhibition space
with two tables and four chairs 6250 CHF
[ ] 15 square meter exhibition space
with three tables and six chairs 7500 CHF
* PAYEMENT
[ ] Cheque in CHF (Swiss Francs) drawn on a Swiss bank is attached
[ ] Bank transfer to
Banque Cantonale Vaudoise, CH-1820 Montreux, Switzerland -
Clearing 767.222 Account : Ada-Europe'96 No 909'29.13.
Kindly ensure that your name and your company are clearly
indicated.
[ ] Credit card
[ ] American Express [ ] Eurocard/Mastercard [ ] Visa
Card number _ _ _ _ / _ _ _ _ / _ _ _ _ / _ _ _ _
Cardholder name _________________________________
Expiring date ____-____
Title of Vendor's Presentation:
_____________________________________________________________________
Presentor: ______________________________________________
Date: ___________________ Signature: ___________________________
--------------------------------------------------------------------------
From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier)
Newsgroups: comp.lang.ada,comp.object,comp.lang,comp.lang.ada,
comp.programming,comp.realtime,comp.software,comp.software-eng,
comp.sw,comp.sw.components,comp.object,ch.general,ch.si.general,
epfl.general,di.general
Subject: CfP Reliable Software Technologies, SECOND ANNOUNCEMENT
Date: 12 Oct 1995 08:19:06 GMT
Organization: Ecole Polytechnique Federale de Lausanne
CALL FOR PAPERS
Ada-Europe'96 Conference:
---------------------------
Reliable Software Technologies
-------------------------------
http://lglwww.epfl.ch/Ada-Europe/Conference/1996/
Dates: June 10-14, 1996
Location: Montreux, Switzerland
Sponsored by Ada-Europe, in co-operation with ACM SIGAda.
General Information
-------------------
The international conference of Ada-Europe, the European federation of
national Ada societies, will take place next year at the Montreux
Palace Hotel, Montreux, Switzerland, on the edge of beautiful lake
Geneva, from June 10 to 14, 1996. The full conference will comprise a
three-day technical programme and exhibition from Tuesday to Thursday,
and parallel workshops and tutorials on Monday and Friday.
Schedule
--------
20 November 1995: Submission of extended abstracts and
tutorial/workshop proposals
20 December 1995: Notification to authors
20 Febuary 1995: Final papers (camera-ready) required
10-14 June 1996: Conference
Contacts
--------
Prof. Alfred Strohmeier (Programme Chair)
Mr. Stephane Barbey (Tutorial Chair)
Swiss Federal Institute of Technology in Lausanne (EPFL)
Department of Computer Science
Software Engineering Lab
CH-1015 Lausanne
Switzerland
Fax +41 21 693 5079
{alfred.strohmeier | stephane.barbey}@di.epfl.ch
Topics
------
The conference will provide an international forum for researchers,
developers and users of reliable software technologies. Presentations
and discussions will cover applied and theoretical work currently
conducted to support the development and maintenance of software
systems. Participants will include practitioners and researchers from
industry, academia and government.
For papers, tutorials, and workshop proposals, the topics of interest
include, but are not limited to:
Management of Software Development and Maintenance
Methods, Techniques and Tools
Software Quality
Quality Management and Assurance, Verification, Validation and
Testing of Software Systems
Software Development Methods and Techniques
Requirements Engineering, Object-Oriented Technologies, Formal Methods,
Software Management Issues, Re-engineering and Reverse
Engineering, Reuse
Software Architectures
Patterns for Software Design and Composition, Frameworks,
Component and Class Libraries, Component Design
Tools
CASE Tools, Software Development Environments, Compilers,
Browsers, Debuggers
Kinds of Systems
Real-Time Systems, Distributed Systems, Fault-Tolerant Systems,
Information Systems, Safety-Critical Systems
Applications in
Multimedia Systems and Communications, Manufacturing, Avionics,
Space, Railway, Industry
Ada 95 Language and Tools
Programming Techniques, Object-Oriented Programming, New
Approaches in Tool Support, Bindings and Libraries, Evaluation
and Comparison of Languages
Ada 83 and Ada 95 Experience Reports
Experience Reports from Projects using Ada 83 or Ada 95;
Management Approaches, Metrics, Comparisons with past or parallel
Experiences in non-Ada Projects
Education and Training
Case Studies and Experiments
Proceedings
-----------
The proceedings will be printed in the famous Lecture Notes of
Springer (LNCS), and be available at the start of the conference.
Awards
------
There will be awards, sponsored by Ada-Europe: Best paper award: ECU
500.-; Best presentation award: ECU 500.-.
Submissions
-----------
Authors are invited to submit original contributions. Submissions
should be in English. Five paper copies of the extended abstract (4-6
pages) or of the full paper should be sent to the Programme Chair.
Submissions by e-mail in Postscript are also accepted. Submissions by
fax are not accepted. The first page should include: the title of the
paper; name, current affiliation, postal address, e-mail address,
telephone and fax of each author; the name of the designated contact
person; and a list of keywords ordered by relevance, including,
whenever possible, topics and subtopics taken from the list of topics
of the conference. To enable publication of the accepted papers before
the conference, strict adherence to the dates of the schedule is
essential.
Call for Tutorials
------------------
A tutorial should address any of the topics of the theme of the
conference. A tutorial will last a half or full day. The proposals
should include a title, an abstract, a description of the topic, a
detailed outline of the presentation, a description of the presenter's
teaching experience in general and with the proposed topic, duration
(half day or full day), level of the tutorial (introductory, intermediate,
or advanced), expected audience experience and background. Proposals
should be submitted by e-mail to the Tutorial Chair.
Call for Workshops
------------------
Half- and full-day workshops can be held to address timely issues or
to initiate a longer term effort on a topic of interest. Proposals
should be submitted by e-mail to the Programme Chair.
Exhibition
----------
The conference will be accompanied by a three-day commercial exhibition
on June 11, 12 and 13. Vendors of software products and services should
contact the Exhibition Organizer at the earliest convenience for
further information and to ensure their inclusion. Contact address:
Peter E. Obermayer, Competence Center Informatik GmbH, Lohberg 10, P.O.
Box 1225, D-49716 Meppen, Germany; Fax: +49 5931 805 100; e-mail:
obermayer@cci.de.
Registration Fees
-----------------
The sponsoring organization has decided to lower substantially the
registration fees, including coffee breaks and lunch meals, for the
1996 conference: CHF 800.- for late registration, CHF 700.- for early
registration, CHF 500.- for early registration by academics.
Programme Committee
-------------------
Angel Alvarez, aalvarez@dit.upm.es, Technical University of Madrid
Lars Asplund, asplund@docs.uu.se, Uppsala University
Stéphane Barbey, stephane.barbey@di.epfl.ch, EPFL, Tutorial Chair
Mark S. Gerhardt, gerhardt_mark@srs.loral.com, LORAL Space & Range Systems
Charlene R. Hayden, crhayden@sw-eng.falls-church.va.us, GTE Systems
Björn Källberg, bjkae@celsiustech.se, CelsiusTech Systems AB, PR Officer
Jan van Katwijk, jan@dutiba.twi.tudelft.nl, Delft University of Technology
Philippe Kruchten, pkruchten@rational.com, Rational
Peter E. Obermayer, obermayer@cci.de, Competence Center Informatik GmbH, Exhibition Organizer
Laurent Pautet, pautet@inf.enst.fr, Telecom Paris
Erhard Ploedereder, ploedere@informatik.uni-stuttgart.de, University of Stuttgart
Jean-Pierre Rosen, rosen@enst.fr, ADALOG
Edmond Schonberg, schonberg@cs.nyu.edu, New York University
Alfred Strohmeier, alfred.strohmeier@di.epfl.ch, EPFL, Programme Chair
Bill Taylor, taylorb@sw-eng.falls-church.va.us, Transition Technology Limited
Stef Van Vlierberghe, stef@cfmu.eurocontrol.be, OFFIS N.V./S.A.
Peter Wehrum, rpw@rational.com, Rational
Brian Wichmann, baw@ditc.npl.co.uk, National Physical Laboratory
Advisory Board
--------------
John Barnes, JGPB@jbinfo.demon.co.uk, John Barnes Informatics
Luc Bernard, lbn@offis.be, OFFIS N.V./S.A.
Alan Burns, burns@minster.york.ac.uk, University of York
Dirk Craeynest, Dirk.Craeynest@cfmu.eurocontrol.be, OFFIS N.V./S.A.
Xavier Cusset, x.cusset@applelink.apple.com, CS Defense
Albert Llamosi, allamosi@etse.urv.es, Universitat Rovira i Virgili
Karlotto Mangold, mangold@atm.aeg.kn.DaimlerBenz.com, ATM Computer GmbH
Jim Moore, moorej@sw-eng.falls-church.va.us, MITRE Corp
Kiyoshi Ishihata, ishihata@cs.meiji.ac.jp, Meiji University
National Member Bodies
----------------------
Ada-Belgium, Dirk.Craeynest@cs.kuleuven.ac.be
Ada in Denmark, jb@ddci.dk
Ada-Deutschland, rpw@rational.com
Ada France, rosen@enst.enst.fr
Ada Greece, manos@isoft.intranet.gr
Ada Italy, mario@bsdi.systech.it
Ada in Norway, anton-b.leere@ffi.no
Ada-Spain, fperez@ada.es
Ada in Sweden, ais@docs.uu.se
Ada in Switzerland, magnus.kempe@di.epfl.ch
Ada Language UK Ltd, H.Byard@bton.ac.uk
From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier) Newsgroups: comp.object,comp.lang,comp.lang.ada,comp.programming, comp.realtime,comp.software,comp.software-eng,comp.sw, comp.sw.components,ch.general,ch.si.general,epfl.general,di.general Subject: Ada-Europe'96 Conference (Montreux, Switzerland), WWW server Date: 30 Aug 1995 08:53:49 GMT Organization: Ecole Polytechnique Federale de Lausanne Ada-Europe'96 Conference: Reliable Software Technologies -------------------------------------------------------- Dates: June 10-14, 1996 Location: Montreux, Switzerland More information available on the WWW: ******************************************************** * http://lglwww.epfl.ch/Ada-Europe/Conference/1996/ * ******************************************************** -- Alfred StrohmeierConference info on WWW server extended 21 Sep 1995.
From: Alfred.Strohmeier@di.epfl.ch (Alfred Strohmeier)
Newsgroups: comp.lang.ada,comp.object,comp.lang,comp.lang.ada,
comp.programming,comp.realtime,comp.software,comp.software-eng,
comp.sw,comp.sw.components,comp.object,ch.general,ch.si.general,
epfl.general,di.general
Subject: CFP for the Ada-Europe'96 Conference
Date: 10 Jul 1995 10:00:55 GMT
Organization: Ecole Polytechnique Federale de Lausanne
CALL FOR PAPERS
Ada-Europe'96 Conference:
---------------------------
Reliable Software Technologies
-------------------------------
[ 192 lines deleted ]
To the Ada-Belgium home page.
Last update: 96/05/22.
Dirk Craeynest