Go to ...[Main Page] [Documents] [What's new] [Feedback]
	Ada-Europe'96 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

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

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

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

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 Arevalo, Francisco J. Guerra

The Ada 95 Programming Language

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

Parsing Irregular Grammars in Ada
Drasko Sotirovski, Philippe Kruchten

Interprocedural Call Optimization
Tim Birus, Christine Cipriani, Dean Sutherland

Safety & Security

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

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

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 ( Wednesday afternoon )
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 ( Thursday Afternoon,14:00-15:30 )
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.