* 2nd Call for Participation - Ada Europe 2000, Invited Speaker and Tutorial information
@ 2000-04-23 0:00 Hubert B. Keller
0 siblings, 0 replies; only message in thread
From: Hubert B. Keller @ 2000-04-23 0:00 UTC (permalink / raw)
Please excuse multiple copies.
######################################################################################
2nd Call for Participation - Invited Speaker and Tutorial information
5th International Conference on Reliable Software Technologies
Ada-Europe 2000
June 26-30, 2000Potsdam (Berlin), Germany
*************************************************************************************
For up-to-date information on the programme, the tutorials, invited speakers, and
daily schedules, please visit http://www.ada-europe.org/conference2000.html
To get a written copy of the Advance Programme, please send e-mail to: keller@iai.fzk.de
*************************************************************************************
The 5th International Conference on Reliable Software Technologies (Ada-Europe 2000)
will take place in Potsdam (near Berlin), Germany, from June 26 to 30, 2000.
The conference offers a technical programme and exhibition from Tuesday to Thursday,
and a series of tutorials on Monday and Friday.
The conference provides an international forum for researchers, developers and users
of reliable software technologies. Presentations and discussions cover applied and
theoretical work currently conducted to support the development and maintenance of
software systems.
The technical programme includes keynote addresses, session papers by the international
community with refereed contributions from Argentina, Australia, Austria, Canada, China,
France, Germany, Italy, Japan, Norway, Spain, Sweden, Switzerland, United Kingdom and
the USA, additional short presentations on various interesting topics, and two sessions,
in which vendors present their commercial products.
The proceedings of the conference will be published in the LNCS Series by Springer.
An exhibition concurrent to the conference provides an opportunity to explore the latest
developments by the commercial marketplace.
The tutorials on Monday and Friday offer an excellent opportunity for obtaining in-depth
knowledge in important technologies of the field.
******************************************************************************************
++++++++++++ Invited Speakers +++++++++++++++
Tuesday
Support of technology development in the Information Society
Rainer Zimmermann
Head of Unit E2, European Commission, DG Information Society, Brussels
Wednesday
Kingcat MCAS - Monitoring, Control and Alarm System for a luxury motor yacht
implemented in Ada and Java
Reto Weiss
Kingcat MCAS Project Manager/Software Engineer, Paranor AG, Switzerland
Thursday
Ada after 10 years of usage - is there a commercial future?
Bryan Pflug
Chief Engineer, Simulation & Software Engineering, Boeing Commercial Airplanes, Seattle, USA
*********************************************************************************************
++++++++++++++ Turorials +++++++++++++
Tutorial 1:
Brosgol, Ben, Java for Ada Programmers
(full day, intermediate)
This tutorial examines the Java language and assesses how it meets the goals of
portability, adaptability and safety, using comparisons with Ada in presenting
the semantics. The main focus of the tutorial will be on Java's Object-Oriented
Programming features, since these are the underpinnings of almost the entire
language as well as the API.
Tutorial 2:
Gonzalez Harbour, Michael, Real-Time POSIX,
(full day, introductory)
This tutorial discusses the main real-time operating system services defined in
the POSIX standards. These services allow application developers to write portable
applications that meet their real-time requirements. The tutorial reviews the
different services from the perspective of an Ada application, and discusses
which of the different options and services are more suitable for developing
real-time applications in Ada.
Tutorial 3A:
Cook, David and Dupaix, Les, Ada95 for Beginners,
(half day, introductory)
Tutorial 3B: Cook, David and Dupaix, Les, Ada95 for Ada83 Programmers,
(half day, introductory)
(Depending on actual requests for tutorial 3A, tutorial 3B may be moved to the
morning session)
These two half-day tutorials will introduce attendees to the capabilities of the
Ada 95 programming language. It will cover the basic syntax of the core (Ada 83)
language in the morning, and then go on to show the improvements and enhancements
of Ada 95. If you already know Ada 83 and just wish to learn about the Ada95
enhancements, then you do not need to attend the morning portion of the tutorial.
Tutorial 4: Hausen, Hans-Ludwig, Software Metrology Basics - Measurement, Assessment
and Certification of Procedures, Objects and Agents,
(half day, intermediate)
The overall aim of the tutorial is to make the attendees familiar with the methods
and principles of software metrics for procedural, object-oriented and agent-based
systems. Attendee will exercise proven techniques for goal directed measurement,
scaling and assessment as part of an industry proven, standardized procedure for
concurrent software quality assurance and final evaluation for certification.
Tutorial 5: Rosen, Jean-Pierre, The HOOD 4 design method
(half day, intermediate)
HOOD (Hierarchical Object Oriented Design) is a software design method, which is used
after the requirement analysis activities and covers architectural design, detailed
design and coding. The method unifies and integrates object orientation with advanced
software engineering concepts and notations.
Tutorial 6: Tian, Jeff, Tree-Based Reliability Models (TBRMs) for Early Reliability
Measurement and Improvement,
(half day, intermediate)
This tutorial surveys recent developments in software reliability engineering, particularly
recent work in using tree-based reliability models (TBRMs) in analysing product
reliability and identifying high risk areas for focused reliability improvement for
large software systems.
Tutorial 7: Heaney, Matthew, Implementing Design Patterns in Ada95,
(full day, intermediate)
Design pattern technology is a rapidly growing movement within the software community.
This tutorial discusses several design patterns, with a focus on the Ada95 implementation
issues. It will also present myriad idioms for object-oriented programming and task
synchronization.
Tutorial 8: Harbaugh John, High Integrity Ada Tasking,
(full day, intermediate)
In this tutorial, you will learn how to write concurrent (multithreaded) applications
that are consistent with the Ravenscar profile and use the Ada95 programming language.
You will also learn how to assure that real-time programs will meet their deadlines
using Rate Monotonic Analysis.
Tutorial 9: Briot, Emmanuel, GtkAda, an Ada95 object-oriented graphic toolkit,
(half day, introductory to intermediate)
After an overview of the GtkAda library and its widget set, this tutorial will
demonstrate how to use the GtkGlade GUI builder to create your own graphical
applications. It will also cover the issues of the design of the library, first
as a thin binding to the underlying C toolkit, then as a fully object-oriented
Ada set of packages and generic packages.
Tutorial 10: Rybin, Sergey and Fofanov, Vasily, Building Ada development tools
with ASIS for-GNAT,
(half day, introductory)
The tutorial will explain how you can build your own development and program
analysis tools when working with GNAT. The existing GNAT toolset and different
approaches to tool development will be presented. The tutorial will explain how
you can build your own development and program analysis tools when working with
GNAT. The existing GNAT toolset and different approaches to tool development will
be presented.
Tutorial 11: Leringe, �rjan, Windows development with Ada,
(half day, intermediate)
This tutorial presents how Windows applications can be developed using Ada 95 and
the principals behind MFC and an Ada binding which gives access to all the features
of MFC. The tutorial will also provide an overview of other existing tools and
bindings making Windows development with Ada easier.
Tutorial 12: Gasperoni, Franco, Developing Ada Applications for the Java Platform
with JGNAT,
(half day, intermediate)
After an overview of the Java technology, this tutorial will focus on how to write
Ada applications and applets for the Java environment or Java processors using JGNAT,
the Ada 95 development environment for the Java platform. Seamless interoperability
between Ada and the Java programming language along with the use of the Java API
(Application Programming Interface) from Ada will be discussed in depth. The tutorial
will also cover issues involving concurrency and real-time programming.
**************************************************************************************
Conference Venue:
Potsdam is the capital of the state Brandenburg and situated a few miles west of Berlin,
the capital of Germany. Both cities offer many historic and modern attractions and an
exciting environment to visitors.
The venue of the conference is the hotel "Seminaris" specializing in conferences and
meetings.
It is situated at the waterfront of a picturesque lake and near the world-famous palace
"Sanssouci".
Social events on Tuesday and Wednesday, including a musical appearance of "Lady Ada",
round out a week well spent to catch up on the latest developments in reliable software
technologies.
Travel information may be found at:
http://www.ada-deutschland.de/AE2000/conf_site/index4.html
*****************************************************************************************
Sponsors:
The conference is supported and sponsored by Ada Europe, Ada Deutschland e.V., ACM SIGAda,
Gesellschaft f�r Informatik e.V., DFG (German Research Foundation), Forschungszentrum
Karlsruhe, ACT Europe, Aonix, CAS GmbH, Green Hills, Information Processing Ltd., Irvine,
PeerLogic, PolySpace, Praxis Critical Systems and Rational.
*******************************************************************************************
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2000-04-23 0:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2000-04-23 0:00 2nd Call for Participation - Ada Europe 2000, Invited Speaker and Tutorial information Hubert B. Keller
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox