Ada-Belgium is a non-profit volunteer organization whose purpose is to promote the use in Belgium of the Ada programming language, the first ISO standardized object-oriented language and a great language for engineering reliable systems.
For companies throughout the world, Ada is the programming language of choice for all the right reasons. These companies know that Ada is their most effective language for building fast, reliable, and adaptable systems, on time.We are pleased to announce that on Friday, November 19, 1999, Ada-Belgium organizes its 9th Annual Seminar at the Faculty Club, Groot Begijnhof, in Leuven.From: "Choose Ada - The Most Trusted Name in Software tm" http://www.adaic.com/docs/flyers/choose-ada.html
Here you will find:
![[NEW]](/~dirk/.image/new-s.gif)
The annual Ada-Belgium Seminar is an event not to be missed! Do not delay to register!
Looking forward to meet many of you in Leuven.
Dirk Craeynest
Ada-Belgium Board
ada-belgium-board@cs.kuleuven.ac.be
08:30 - 09:30 Registration
09:30 - 09:35 Welcome (Ada-Belgium)
09:35 - 10:35 Tutorial
[1h00] "Introduction to SPARK 95"
by John Barnes, JBI, U.K.
10:35 - 11:00 Technical Vendor Presentation
[0h25] "Rational's solutions for safety-critical applications"
by Jean-Luc Adda, Rational Software Corporation, France
11:00 - 11:30 Coffee break
11:30 - 12:30 Tutorial
[1h00] "Building Frameworks in Ada 95"
by Ehud Lamm, The Open University, Israel
12:30 - 12:50 Technical Vendor Presentation
[0h20] "ObjectAda Real-Time Intel/ETS"
by Pierre Morère, Aonix France ![[UPDATED]](/~dirk/.image/upd-s.gif)
-------------
12:50 - 13:50 Lunch
13:50 - 14:20 Coffee break
-------------
14:20 - 14:40 Technical Presentation:
[0h20] "Ada 95 and Real-Time"
by Pierre Morère, Aonix France
14:40 - 15:05 Experience Report:
[0h25] "Ada at ADSE - or - Ada for engineering applications"
by Kees de Lezenne Coulander, Aircraft Development and
Systems Engineering B.V., the Netherlands
15:05 - 15:50 Tutorial - Part 1:
[0h45] "Advanced Ada 95 - Storage Pools"
by John Barnes, JBI, U.K.
15:50 - 16:20 Coffee break
16:20 - 17:05 Tutorial - Part 2:
[0h45] "Advanced Ada 95 - Multiple Inheritance"
by John Barnes, JBI, U.K.
17:05 - 17:30 Technical Presentation:
[0h25] "Graphical User Interfaces"
by Arnaud Charlet, ACT Europe, France
17:30 - 17:55 Technical Presentation:
[0h25] "The Use of CORBA with Ada 95"
by Jean-Claude Mahieux, Top-Graph'X, France
17:55 - 18:00 Closing Remarks (Ada-Belgium)
18:00 End of the Seminar
The SPARK language consists of a subset of Ada 95 with embedded annotations in the form of Ada comments. One of the keys to developing correct software is using appropriate abstractions. This presentation will show how the SPARK language and its associated tools improve the completeness and correctness of abstractions and thus lead to Ada programs which are more likely to be correct.
Ada 95 contains many advanced features which give the programmer greater control over various aspects of programs. Important ones are the ability to define storage pools, to manipulate exception occurrences, to handle streams, and to control visibility. An aspect of Ada 95 which has been considered controversial is its approach to multiple inheritance. These talks will discuss various aspects of storage pools and multiple inheritance illustrated by examples.
One major vehicle for reuse is the use of libraries of code. Many libraries attempt to provide common data structures and algorithms (e.g., trees and sorting), and this seems to be the focus of the 'Ada Standard Component Library WG' (see http://www.suffix.com/Ada/SCL/). Another type of library consists of frameworks. We will informally define as a framework a canned application structure, which the programmer augments with specific functionality. An Ada 95 framework can be built as a class-hierarchy, a generic package, and in several other ways. Our aim is to encourage application frameworks sharing, this being a high level form of reuse, and to explore the various possibilities and pitfalls, in using the various Ada 95 features.
Example code will include file processing frameworks, a simple interpreter framework etc. The work presented is work in progress. Code examples will be shown and discussed. Major Ada (and Ada 95) features explored: Generics, access-to-subprogram parameters, tagged types, Ada.Finalization.
ADSE has developed a number of computer programmes to support the aircraft design activities. These are general engineering programmes on subjects like aircraft performance, engine performance and anti-icing systems. All of these programmes are in Ada 95. Development is done using the GNAT compiler on OS/2. The finished executables also run under DOS or Windows with the use of suitable DOS extenders. The programmes are used in-house and also at customer sites.
The choice of Ada is based on the good support for general software engineering principles, reliability, and in particular the stability of the language under hectic circumstances. Over time a large pool of reusable components has been developed, so that new programmes can be fielded relatively quickly.
The use of High Level Languages in the Real-Time field is still subject to discussion. There are many papers talking about the pertinence of using C++ or Java for this kind of applications. One of the reasons of the limited success of such languages is that the developers do not control precisely the code generated. Working on Ada for several years, I am still surprised to see programming rules for Ada made regarding only one implementation. One of Aonix' positions is to make the users aware of the different ways to implement several kinds of Ada features.
An overview of the GTKAda GUI and GUI builder technology.
The presentation provides an overview of tools and practices proposed by Rational Software for the development of safety-critical applications using Ada 95. It covers from requirement collection to embedded code debugging.
Demonstration of this PC environment, identical to ObjectAda for Windows, with a real-time executive from Pharlap compatible with Win32.
Ehud Lamm served in the Israeli Army (the IDF) as an application programmer, system programmer, DBA and DBA Department Manager. Received B.A. cum laude in Computer Science from the Open University in Israel in 1998. Since 1998 Ehud serves as an instructor in the Open University course "Software Engineering and Ada." Main topics of interest in computer science: algorithms and data structures, machine learning, programming languages and software engineering.
ACT: The Ada Partner
ACT's mission is to ensure that your software project will succeed. To this end, ACT Markets GNAT Professional, the most advanced Ada 95 Development environment available today. GNAT Professional is the only Ada solution that comes with real support covering all aspects of its use, and expert consulting on maximizing the benefits of the Ada language itself. To help meet deadlines and budget constraints, our high-quality, responsive support increases productivity and reduces costs by allowing your team to concentrate on its software mission.
ADSE was founded in the Spring of 1996. Most initial employees transferred from Fokker Aircraft, which had just ceased its design activities. Within three years, the company has grown to employ more than 70 people. Turnover in 1998 was nearly 5 million Euros.
ADSE has a multi-disciplinary team of systems and product development engineers. Expertise in the aeronautical field embraces a wide range of subjects, such as aircraft interiors, conceptual design, simulation, anti-icing systems and air traffic management, as well as project management and systems engineering. The customer base has widened to include not only the aerospace industry, but also such diverse fields as shipbuilding, high-speed railways, and power generation.
Aonix is a major provider of lifecycle software-development tools and is one of the largest software tools companies in the world. Aonix currently has more than 20,000 installations with half a million users worldwide. The company was formed in November 1996 as a result of the merger of two successful development tools companies Thomson Software Products (formally Alsys and MUST Software), specializing in Ada and MIS tools, and Interactive Development Environments (IDE), an experienced player in the modeling, analysis and design tool market.
The Aonix products and array of consulting services provide complete life-cycle solutions for analyzing requirements, designing, implementing, testing and deploying software for the most challenging commercial or technical projects. The comprehensive set of offerings address the most popular object-orientated and structured-development languages including Ada, C, C++, Java, IDL and others on a variety of development platforms.
The Open University of Israel is a distance education university designed to offer academic studies to students throughout Israel. Its home study method allows students all over the country to pursue a higher education, whenever and wherever convenient, without interfering with their other personal and vocational obligations. Authorized by the Israeli Council for Higher Education to confer a Bachelor's Degree, the Open University of Israel offers about 400 courses in Life Sciences, Natural Sciences, Mathematics, Computer Science, Social Sciences, Management, Jewish Studies, Education, Humanities, Psychology, Communications, Music and Art.
The Open University offers programs towards B.A and M.Sc degrees in computer science. These programs offer around 40 courses and seminars concerning both theoretical and applied computer science. Some of the courses take advantage of computer mediated communication techniques. Currently there are about 4000 students enrolled in the Open University computer science programs. Graduates of the Open University can be found in the Hi-Tech industry and in studies toward higher degrees in institutes of higher learning both in Israel and abroad.
Rational Software Corporation (NASDAQ: RATL), the leader in unifying software teams, helps organizations develop and deploy e-business, Web, enterprise-wide, technical and embedded software through a combination of tools, services and software engineering best practices. Rational is the leading Ada vendor since 1991, providing integrated development environments for complex Ada and mixed-language Ada, C, and C++ applications. Founded in 1981, Rational had revenues of $411.8 million for its fiscal year that ended in March 1999, and employs thousands of people worldwide.
Our goal is to provide Ada developpers with robust and reliable solutions. Most of our products are entirely implemented in Ada, exploiting all the language facilities. Our mission is to help our customers to achieve their goals. So we also provide high level assistance and excellent and very responsive support.
Top Graph'X is the only company in the world who took the challenge of re-implementing X11 and Motif libraries in Ada. The first implementation was based on Ada83 technology, the new generation, entirely re-designed, takes advantages of new Ada 95 features. Top Graph'X has also been the first company in the world being able to deliver a full Ada 95 CORBA implementation since September 1997.
This CD-ROM set includes a.o. ports to lots of platforms of the GNU Ada 95 compiler (GNAT), and Aonix' Ada 95 Compiler and Environment for Windows 95. It is a 2-disc update to the November 1998 base edition that was distributed at our Seminar last year; a limited number of these base sets will be available for a small fee for attendees who didn't participate last year. More information on this special CD-ROM edition for Ada-Belgium'99 is available separately.
(*) Students, already enjoying free registration, who are not a member of Ada-Belgium, will be asked a small fee for the 2-disc set to help cover part of the expenses.
For this 9th Annual Seminar each participant will be offered, a.o., printed proceedings with papers related to the presentations. Moreover, copies of slides, and additional documents and papers will be distributed.
In addition to the free documentation, we are happy to announce that
"boekhandel Wouters", Leuven, in cooperation with
Addison-Wesley Longman Publishers,
will be present with a selection of their Ada publications.
Books will be available for purchase at an attractive discount.
See also "How to get there and where to stay?"
5000 BEF for Ada-Belgium members 7000 BEF for non-members Free registration for full-time students (without lunch)All registration includes coffee breaks and full documentation. Paid registration includes lunch. Students can optionally pay for lunch. Paid registration or Ada-Belgium membership includes a free October 1999 Walnut Creek Ada CD-ROM set (up to the amount available).
Students, who are not a member of Ada-Belgium, pay 200 BEF fee for the 2-disc update set to help cover part of the expenses. Copies of the 2-disc base set are available at 200 BEF for all.
The attached Registration Form has to be returned, signed, preferably before Monday November 15, 1999. Students may arrange registration in group through their institution.
Ada-Belgium'99 Seminar Secretariat Attn. Prof. K. De Vlaminck c/o Department of Computer Science Katholieke Universiteit Leuven (K.U.Leuven) Celestijnenlaan 200A, B-3001 Leuven (Heverlee) Phone: +32-(0)16-32.70.58 or 32.76.32 Fax: +32-(0)16-32.79.96 E-mail: ada-belgium-board@cs.kuleuven.ac.be WWW: http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/
We would like to thank our sponsors for their continued support of our activities: ACT Europe, John Robinson & Associates, Katholieke Universiteit Leuven (K.U.Leuven), Koninklijke Militaire School / Ecole Royale Militaire (K.M.S./E.R.M.), OFFIS nv/sa, Rational Software Corporation, Top Graph'X, and Université Libre de Bruxelles (U.L.B.).
![[ACT Europe]](/~dirk/.image/acte.gif)
![[John Robinson & Associates]](/~dirk/.image/robinson.gif)
![[K.U.Leuven]](/~dirk/.image/KULeuven_small.gif)
![[KMS/ERM]](/~dirk/.image/rma.gif)
![[OFFIS]](/~dirk/.image/offis.gif)
![[Rational Software Corporation]](/~dirk/.image/rational_9910.gif)
![[Top Graph'X]](/~dirk/.image/topgraphx-small.gif)
![[U.L.B.]](/~dirk/.image/ulb-2.gif)
Special thanks to ACM SIGAda (ACM Special Interest Group on the Ada programming language) and Eurocontrol (European Organisation for the Safety of Air Navigation) for their support of this event.
![[ACM SIGAda]](/~dirk/.image/adaworld-small.gif)
![[Eurocontrol]](/~dirk/.image/e_euro-s.gif)
tm "The Most Trusted Name In Software" is a trademark of the Ada Resource Association.
Information on this and other Ada-Belgium events is available on the Internet at the Ada-Belgium World-Wide-Web pages and is updated regularly. Check out URL
http://www.cs.kuleuven.ac.be/~dirk/ada-belgium/events/local.html
![[Ada-Belgium]](/~dirk/.image/ada-belgium-icon.gif){kind=icon}
To the Ada-Belgium home page.
Last update: 1999/11/09.
Dirk Craeynest