Due to the events following the terrorist attacks on September 11th in New York City, Washington DC, and Pennsylvania, there are some changes to the SIGAda 2001 Conference schedule from that described in the Advance Program; these are indicated below in red.
|
|
|
Workshop: Creating a Symbiotic Relationship between XML and Ada |
|
|
|
|
SF1: | Introduction to Ada and Object-Oriented Programming
David Cook, Les Dupaix & Eugene Bingue |
SF2: | Web Application Development – Using Ada and JGNAT
to develop web applications using JDBC, JSP (JavaServer Pages), Java Beans,
and Java servlet technology
Terry Westley |
SF3: | CORBA 3 and CORBA for Embedded Systems
S. Ron Oliver |
|
|
|
Workshop: Ada Semantic Interface Specification (ASIS) |
|
|
|
|
MF1: | Practical Experiences of Safety-Critical Ada Technologies
Peter Amey & Rod Chapman (Praxis Critical Systems) |
|
|
MA1: | Tasking in Ada
David Cook |
MA2: | Ada 95 – the language for everybody, not just Ada
programmers. Lessons learned teaching Ada
Salih Yurtass |
|
|
MP1: | Exceptions
Currie Colket |
MP2: | A Comparison of the Concurrency and Real-Time Features
in Ada, Java, and POSIX
|
|
(Open to all Ada Society Representatives) |
|
(Open to all) |
|
||
9:00 - 10:30am |
Introduction of Conference Officers and SIGAda Officers
Keynote Address: Future Development of the Ada
Language,
Keynote Address: Architecture-based Software Development
on the Crusader Program,
|
|
10:30 - 11:00am | Mid-morning
Break -
Exhibits Open |
|
|
Languages
for Systems not Software
Peter Amey (Praxis Critical Systems) Real-Time Convergence of Ada and Java
Logic or Magic
|
|
12:30 - 2:00pm |
|
|
|
|
|
Ada 95 Bindings
for the NCSA Hierarchical Data Format Libraries
Bruce Barkstrom (NASA Langley Research Center) Automating Software Module Testing for FAA Certification
|
Implementing a
Product-Line Based Architecture based on Ada
Joel Sherrill, Jennifer Averett, & Glenn Humphrey (On-Line Applications Research Corporation) Ship System 2000, a Stable Architecture under Continuous
Evolution
|
|
3:30 - 4:00pm |
|
|
4:00 - 5:30pm | Reengineering
an Ada95-programmed Command and Control Information System by Using UML
Heinz Faßbender (Research Institute for Communication, Information Processing, and Ergonomics) Electronic Maneuvering Board and Dead Reckoning Tracer
Decisions Aid for the Officer of the Deck
|
|
5:30 pm |
|
|
|
Don't Miss Out on this Presentation on Hardware Virtual machines for High-Level Languages |
|
|||
|
SIGAda Awards |
||
Martin Carlisle (United States Air Force Academy) |
|||
10:30 - 11:00am |
|
||
11:00am - 12:30pm |
|
||
Teaching
Computer Science with Robotics Using Ada/Mindstorms
Barry S. Fagin, Laurence D. Merkle, & Thomas W. Eggers (U.S. Air Force Academy) Using Ada 95 in a Compiler Construction Course
|
Beyond ASIS: Program
Data Bases and Tool-Oriented Queries
Janusz Laski (SofTools, Inc.) Targeting Ada 95 / DSA for Distributed Simulation of
Multiprotocol Communication Networks
|
||
12:30 - 2:00pm |
|
||
|
Keynote
Address: "Fixing Software Before It Breaks",
S. Tucker Taft (AverCom Corporation - A Titan Company) |
||
3:30 - 4:00pm |
|
||
|
|
||
Dynamic Analysis
for Locating Product Features in Ada Code
Laura White & Norman Wilde (University of West Florida) Detecting Concurrently Executing Pairs of Statements
using an Adapted MHP Algorithm
|
Vetronics
Technology Testbed: Experience Report
William W. Pritchett & Brian Wood (DCS Corporation) An Object-Oriented Metrics Suite for Ada 95
|
||
|
Adjourn | ||
|
(contact Workshops Chair to propose a BOF) |
|
||
|
Scott Edgerton (United Defense, L.P.) Panel Chair: John McCormick, University of Northern Iowa Panelists: Robert Lockwood, Alliant Techsystems Bill Rusinak, Lockheed-martin David Glessner, Rockwell-Collins Kerry Hodges, Honeywell |
|
9:45 - 10:00am |
|
|
|
Panel Chair: John McCormick, University of Northern Iowa Panelists: Robert Lockwood, Alliant Techsystems Bill Rusinak, Lockheed-martin David Glessner, Rockwell-Collins Kerry Hodges, Honeywell |
|
|
Panel: The
Making of ISO/IEC 8652: Ada 2005
Panel Chair: Erhard Ploedereder, University of Stuttgart (President of Ada-Europe and Past Chair of WG9 ARG) Panelists: Joyce Tokar, DDC-I (Head of Delegation, ANSI Technical Advisory Group) Randy Brukardt, RR Software (WG9 ARG Editor) Pascal Leroy, Rational Software Corporation (Chair of WG9 ARG) S. Tucker Taft, AverCom Corporation - A Titan Company (Chief Designer of Ada95) |
|
|
Closing Comments |
Gaining Software Reliability
and Efficiency
"Why Your Next CPU Should
Provide Hardware Support
David S. Hardin
Tuesday, October 2, 2001, 6:30p.m. The ample transistor budgets of modern silicon fabrication present CPU designers with a number of options as to how best to spend their budgets. A design alternative is to devote silicon resources to directly support current software development practice, such as multitasking and threading, compilation to virtual machine code, object-oriented method dispatch and field access, safe mobile code execution, etc. In this talk, we will describe one such CPU design, the aJile Systems aJ-100, and show how it efficiently supports modern software engineering practice, including hardware support for objects, tasks/threads, and Java bytecode execution, as well as multiple processes brickwalled in space and time. We will particularly demonstrate how such an architecture provides advantages for the Java and Ada95 developer, through the use of JGNAT from ACT. This presentation is a dinner meeting co-hosted
by several Twin Cities computer oriented organizations. All conference
registrants receive a complementary ticket to the dinner and presentation.
Additional tickets are $30 prior to 15 Sept 2001 and $40 (space available)
thereafter. Your ticket also gains you admission to the exhibits for SIGAda
2001. You may purchase your ticket online through the SIGAda 2001 conference
registration site, or may see a representative from any of the co-hosting
organizations.
|
[Top
of Page]
[Return to Main Page]