comp.lang.ada
 help / color / mirror / Atom feed
* 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