Lady AdaGo 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

    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 Arevalo, 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 ( 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.




    Your comments/suggestions to the maintainer.