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 ]
Last update: 96/05/22.
Dirk Craeynest