comp.lang.ada
 help / color / mirror / Atom feed
* FINAL PROGRAM of Int'l Conf on Reliable Software Technologies
@ 1996-05-22  0:00 Alfred Strohmeier
  1996-06-02  0:00 ` Gary H. Russell
  0 siblings, 1 reply; 2+ messages in thread
From: Alfred Strohmeier @ 1996-05-22  0:00 UTC (permalink / raw)




                       FINAL 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.


--------------------------------------------------------------------------
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)




^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: FINAL PROGRAM of Int'l Conf on Reliable Software Technologies
  1996-05-22  0:00 FINAL PROGRAM of Int'l Conf on Reliable Software Technologies Alfred Strohmeier
@ 1996-06-02  0:00 ` Gary H. Russell
  0 siblings, 0 replies; 2+ messages in thread
From: Gary H. Russell @ 1996-06-02  0:00 UTC (permalink / raw)



this is a test

-- 

       Gary H. Russell
     InterStellar SoftWare
    garussell@clandjop.com






^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1996-06-02  0:00 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1996-05-22  0:00 FINAL PROGRAM of Int'l Conf on Reliable Software Technologies Alfred Strohmeier
1996-06-02  0:00 ` Gary H. Russell

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox