TRI-Ada '94 advance program

TRI-Ada '94 advance program

[Geoff Mendal]

NOTE: For more information on TRI-Ada '94, answers to your questions
not covered by the contents of this posting, etc., please do not reply
to me by email.  Instead, contact Danieli & O'Keefe as described
below.

Thanks.

gom

=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=-=

TRI-Ada '94 Advanced Program (ASCII email version)

The future of Ada and systems architecture is developing right here.


                   TRI-Ada '94 Conference & Expo

  Baltimore Convention Center, Baltimore, Maryland, November 6-11

                 The Language for a Complex World.

ACM: Advancing Human Capabilities through information technology





Message from the Chair:

As Chairman of the TRI-Ada '94 conference in Baltimore, Maryland, I
would like to invite all of you who have participated in past TRI-Ada
conferences to put TRI- Ada '94 on your calendars. The dates are
November 6 through 11, 1994. I would also like to invite professionals
from disciplines other than from the "world of Ada" to join us in
Baltimore to explore issues and ideas which are not only relevant to
Ada environments, but C++, Pascal, Smalltalk, FORTRAN and others, as
well.

"System architecture and architects are now emerging in the complex
fields of communications, information processing, aerospace and the
manufacturing industries. The systems architects are specialists in
complexity within the context of an underlying engineering
discipline." E. Rechtin.

System architectures for the 90's will require coordination and
communication between software engineers, hardware engineers and
communication engineers. TRI-Ada '94 is the forum to facilitate
systems architecting.

I am looking for strong participation from not only the DoD
professionals, but from the professionals who deal with the
limitations of their current environments and wonder how it could be
re-engineered to more effectively deal with the fast paced changes in
technologies of today. I am very encouraged by the efforts of the DoD
to bring Ada to the commercial world as well as the DoD. The TRI-Ada
'94 Organizing Committee has put together a program to reflect the
educational needs of both the DoD and commercial companies.

The keynote speakers for this year's conference are the Honorable
Emmett Paige Jr., the Assistant Secretary of Defense for Command,
Control, Communications and Intelligence, and Mr. Joe Pollizzi, Senior
Project Engineer in the Operations Software Branch (OSB) of the Space
Telescope Science Institute.

Mr. Paige will bring his insight and vision for the use of Ada in the
DoD and the plans for technology transfer to industry in general. Mr.
Pollizzi manages a group of Software and System Engineers in the
evolution and deployment of the archive systems for the Hubble Space
Telescope. Mr. Pollizzi will explore the 'lessons learned' borne from
his experiences in evolving large systems to meet actual needs (and
maybe show a few slides from space!).

We invite everyone to come and explore the TRI-Ada '94 conference and
the beautiful city of Baltimore, Maryland. I look forward to seeing
all of you in Baltimore in 1994!

Peter Kortmann
Conference Chair
President, Tri-Pacific Consulting Corporation





Architecting systems for the 90's and beyond

With every day that passes, the computer software industry becomes
more and more competitive. You want your business to succeed and
become a leader.  What is it that will propel you into the next
century? Reuse? Process Improvement? Object-Oriented Technologies?
While technology fads come and go, a blend of these ingredients and
many others can be described in one word - Architecture.

If these issues are important to you, then you need to join other
world class experts at TRI-Ada '94. TRI-Ada '94 is the largest
conference of the year on computing, software, software engineering,
and Ada.

You'll find more than 50 intensive workshops and tutorials on
client/server and distributed environments, object-oriented
development, Ada 9X, software process improvement, business process
re-engineering and other critical information that will help you
develop the future this November, in Baltimore.

You'll also see an exposition hall filled with what's new in CASE, and
Ada- related products and services. Basically, anyone concerned with
sharpening their competitive edge in a rapidly changing technological
world should not miss TRI-Ada '94.



Table of Contents

Special Events
Tutorial Program
Conference Schedule
Conference Program
Exhibitor List
Housing Information
Conference Registration Form
Travel Information



Conference Committee

Peter Kortmann, Conference Chair
Tri-Pacific Consulting Corporation

Dick Dye, Program Chair
Kaman Sciences Corporation

Capt. David Cook
USAF Academy, Colorado Springs

Ralph Crafts
Ada Strategies Newsletter

Terry Doran
Grumman

Charles Engle
Florida Institute of Technology

Harry Joiner
Telos Corporation

Geoff Mendal
Tri-Pacific Consulting Corporation


Program Committee

Dick Dye, Program Chair
Kaman Sciences Corporation

Greg Aharonian
Source Translation & Optimization

Brad Balfour
CACI

Judy Bamberger
Sequent

Capt. David Cook
USAF Academy, Colorado Springs

Jorge Diaz-Herrera
Software Engineering Institute

Terry Doran
Grumman

David Emery
MITRE

Mike Feldman
George Washington University

Jay Ferguson
National Security Agency

John Foreman
ARPA

Mark Gerhardt
Loral S&RS

Steve Grimaldi
UHD, Inc.

Charlene Hayden
GTE

Max Heckard
CTA

Maretta Holden
Boeing Corporation

Mike Kamrad
Paramax Systems Corporation

Judy Kerner
The Aerospace Corporation

Lowell King
Colorado Technical College

James Moore
MITRE

Dan Roy
FPT & P

Ed Seidewitz
Goddard Space Flight Center

Murali Sitaraman
West Virginia University

Charlie Snyder
Rational Corporation

Jag Sodhi
CECOM

Chak Sriprasad
Intel

Maj. Robert Stelgerwald
USAF Academy

Joyce Tokar
Tartan

Capt. Christopher Warack
USAF Academy





Special Events

TRI-Ada '94 Welcome Reception in the Exhibit Hall

Monday 5:00-8:00 p.m.
Say hello to old friends and make new ones as we kick off this year's
conference with a special preview of the exhibit hall. Enjoy hors
d'oeuvres, drinks and regional specialties while checking out the
latest and greatest Ada- related products and services. All conferees,
tutorial attendees, and management session participants are welcome.

Keynote Session

Tuesday 8:30-10:00 a.m.
The Honorable Emmett Paige Jr., Assistant Secretary of Defense for
Command, Control, Communications and Intelligence Mr. Joe Pollizzi,
Senior Project Engineer in the Operations Software Branch (OSB) of the
Space Telescope Science Institute


Special Management Session

Tuesday 2:00-6:00 p.m.
Technology changes today are occurring at Warp Speed, more quickly
than our training and acquisition cycles can function. How do
organizations and people cope with this fast paced change? What
guidelines can help us adapt to an environment where the only
consistent factor is change? What role can process engineering and
process architectures play in helping us to manage the changes that we
are required to face? Leading authorities will address these issues in
a half-day session for managers and software/system professionals.


Ada's Aquatic Adventure

Wednesday 7:00-10:00 p.m.
Dive into the fun as we enjoy a private viewing of the National
Aquarium in Baltimore. Network and nibble on 'sea' food as you meander
by piranhas, puffins and periwinkles. We'll even be treated to our own
TRI-Ada'94 Dolphin Show. You'll flip over this special event! All
conferees are invited.


Special Architecture Track

Wednesday 8:30 a.m.-6:00 p.m.
A special track of invited panelists and select papers has been
assembled to address the complex architectural issues and decisions
organizations face today.


Special Software Systems Acquisition Management Track

Thursday 8:30 a.m.-6:00 p.m.
We have arranged a track of invited speakers to present pertinent
management topics & issues in light of today's changing software
systems acquisitions environment in DoD & industry. Admiral Scott L.
Sears, Naval Undersea Warfare Center, opens this session with a
discussion of lessons learned from managing one of the largest
software systems acquisitions ever.


Insomniac's Tour of Baltimore

Thursday 7:15-10:45 p.m.
We have arranged this special 'Late Night' tour of some of Baltimore's
most interesting attractions as this year's optional special event.
First, we'll board a comfortable charter coach and visit the Baltimore
Streetcar Museum. Next, we'll get a panoramic view of the city of
Baltimore from atop the World Trade Center, the city's tallest
building. Along the way, we?ll tickle our taste buds as we sample
dessert at one of Baltimore's most popular restaurants and conclude
the evening with a sherry toast at Westminster Graveyard, burial site
of Edgar Allen Poe! Bring your spouse or a friend. Separate
registration is $35 a ticket for this all-inclusive night of history,
scenery, and local flavor! Buses will depart starting at 7:15 p.m.
from the Sheraton Inner Harbor Hotel.


Conference and Exposition Sponsored by ACM/SIGAda

With over 80,000 members and 34 Special Interest Groups (SIGs),
including SIGAda, the Association for Computing Machinery (ACM) is the
largest and oldest educational and scientific organization in the
computer industry.  SIGAda focuses on the scientific, technical, and
organizational aspects of Ada software applications, including their
usage, environment, and implementation.  Membership applications for
ACM/SIGAda can be obtained by contacting ACM headquarters via e-mail
at ACMHELP@ACM.ORG or by calling +1-212-626-0500 and asking for
membership services. For your convenience an application appears on
page 19 with the registration form.


Don't forget to Vote Nov. 8th!
Remember your absentee ballot!


Room Requests & Volunteer Information

Requests for room reservations for SIGAda Working Groups and
Birds-of-a- Feather (BOF) sessions should be submitted to the Local
Arrangements Chair in writing (FAX or e-mail) with time preference and
any conflicts that you wish to avoid. The requests will be honored on
a first come, first served basis to the limits of available space.
Also, people are needed for the information desk, session and tutorial
monitors, and other conference support activities.

Volunteers, especially full-time students, please contact:
Bill Fravel
Principle Development Engineer
AAI Corporation, Defense Systems
P.O. Box 126, MS 100/140
Hunt Valley, MD 21030-0126
bfravel@aol.com
(410) 628-3819 phone; (410) 683-6496 fax


TRI-Ada '94 Exhibit Hours

Monday 5:00 p.m. ? 8:00 p.m.
Tuesday 10:30 a.m. ? 5:00 p.m.
Wednesday 10:00 a.m. ? 5:00 p.m.
Thursday 10:00 a.m. ? 2:00 p.m.





TRI-Ada '94 Tutorial Program

This year's TRI-Ada '94 tutorial program will cover eight exciting
disciplines: Design, Education, Introductory and Intermediate Topics,
Management, Object- Oriented Programming, Process Improvement,
Real-Time Programming and Re-engineering. There will be over 30
tutorials (both full-day and half-day) covering everything from
introductory Ada programming to advanced real-time analysis and the
new Military Standard 498. And new this year is a 'special?  two-day
educational tutorial on using Ada in CS1 and CS2.



Design Track

S1 Software Component Engineering Using Ada:  Applying Explicit Design
Principles in a Disciplined Way

Sunday, Full Day

Joe Hollingsworth, Indiana University Southeast, and Bruce Weide, Ohio
State University
Covers 41 principles that show how to construct reusable software
components in Ada.  These principles are not vague 'generalizations',
but explicit principles that tell the software engineer what to do and
what not to do during component design, implementation, and usage.
The expected audience includes practicing software engineers.


S2 Formal Specification and Design:  From Z to Ada

Sunday, Full Day

David Hunter, Mary Washington College
This shows how to bridge the gap between formal specification and
software design by showing how specifications written in the Z
language can be used to construct Ada software designs.  Z is also
explained and examples are given.  Prerequisites: interest in formal
specification techniques.  Participants should be comfortable with
basic concepts from set theory and first-order logic, although a brief
overview will be given.


S3 A Software Design Method for Ada-based Concurrent, Real-Time, and
Distributed Applications

Monday, Full Day

Hassan Gomaa, George Mason University
Presents the concepts and steps in applying ADARTS (Ada-based Design
Approach for Real-Time Systems).  The tutorial will address the design
of distributed applications that execute in an environment of
geographically distributed nodes interconnected by means of local or
wide area networks.



Education Track

S4 Teaching and Using Ada in CS1/CS2

Sunday and Monday, Full Days

John McCormick, SUNY Plattsburgh, and Mike Feldman,
George Washington University
Introduces Ada to instructors who use Pascal or Module-2 in their CS1
(Introductory Programming) or CS2 (Data Structures) classes.  The
two-day tutorial concentrates on three areas.  The technical area
introduces and illustrates a variety of Ada language features to
parallel/extend Pascal.  The pedagogical area explains how these
features better support programming and teaching.  The logistical area
will survey the infrastructure needed to acquire and use Ada in the
classroom.  No experience with Ada is required.  Hands-on lab is
included.



Introductory & Intermediate Topics Track

S5 Introduction to Ada 83 and Ada 94 for C and C++ Programmers

Sunday, Full Day

Douglas Arndt, inTrospect Technologies
Introduces C and C++ programmers to the Ada language, including the
history of Ada's development, Ada 83 and Ada 94 language features, and
Ada resources.  Prerequisites: proficient C and/or C++ programmers.


S6 AdaSAGE: A Legacy of Ada Success

Sunday, Full Day

Paul Whittington, Howard Steward, EG&G
Introduces the set of reusable Ada packages, development tools, and
methodologies known as AdaSAGE.  AdaSAGE provides a 'black box'
approach to application development, with millions of lines of
reusable Ada code.  Reusable AdaSAGE code covers such areas as
relational database, user interface, report generation, graphics,
multi-user facilities, and distributed processing.  AdaSAGE contains
many other useful reusable components and runs on a variety of
platforms.


S7 Ada: The 'Other Open Systems Language'

Sunday, Morning

David Emery, MITRE
Presents Ada as a viable language for implementing Open Systems-based
applications.  Discusses the Open Systems models, including POSIX and
NIST APP.  For each standard, discusses the state of Ada bindings.
Also presents experiences developing Open System applications, and
surveys some current DoD projects using Ada to develop Open Systems.


S8 Introduction to the Ada Semantic Interface Specification (ASIS)

Sunday, Afternoon

Steve Blake, Alsys
Provides participants with an introduction and background of ASIS, and
the wide range of tools that ASIS is designed to support.  ASIS
provides a standard programmable interface to the compiled
representation stored in an Ada library, thus increasing software
development productivity of Ada tool developers.  It will show
examples and techniques on how to get started designing and
programming ASIS applications.


S9 Ada Binding Technology

Sunday, Afternoon

William Loftus, WPL Laboratories
Concentrates on creating an understanding of the issues with bindings,
so that informed decisions on software development projects can be
made.  Examines what bindings are, how other languages approach
bindings, presents successes/failures, and other binding issues.


S10 Intelligent Systems and Ada 9X

Monday, Full Day

Jorge L. Diaz-Herrera, SEI, and Janet F. Johns, MITRE
The major objective of this tutorial is to bridge the gap between Ada
and AI cultures, and to address the unique issues brought about by the
integration of AI components into conventional embedded systems.
Includes discussion of the challenges of engineering AI software,
difficulties with real-time AI technology, and Ada approaches to the
problems.  Intended audience: AI developers and/or Ada practitioners.
A working knowledge of Ada and general understanding of the
fundamental notions of AI are helpful.


S11 Ada 9X: The Next Generation

Monday, Full Day

Mike Kamrad, Unisys, plus hands-on GNAT lab by Robert Dewar and Ed
Schonberg, NYU
Includes an overview of Ada 9X, plus emphasis on the five major areas
of change: object-oriented programming, programming-in-the-large,
better interfaces, real-time improvements, and the specialized needs
annexes.


S12  Building Ada-SQL Applications:  The SAMeDL Approach

Monday, Morning

Gary Tominovich, Intermetrics
This tutorial has two main goals: first, to familiarize attendees with
the evolution, rationale, and benefits of the SAMeDL approach to
Ada-SQL bindings; and to present an in-depth view of the SAMeDL
language.  It includes a comparison of Ada-SQL bindings, and a
discussion of current activities on the parts of the SAMeDL, SQL, and
Ada communities.  Participants should have a general understanding of
Ada.  A general understanding of SQL is suggested, but not required.


S13 SQL2 and Ada 9X

Monday, Afternoon

Marc Graham, SEI
In 1992, ISO published a new version of the SQL Database language
standard, SQL2.  This tutorial links the new features of SQL2 with the
new features of Ada 9X.  It includes overview of standardization
bodies, overview of interfacing styles, relevant new features of Ada
9X, data typing issues in SQL2, functions in SQL2 that affect the Ada
interface, and SAMeDL and SQL2.  Prerequisites: working knowledge of
Ada and SQL.  No knowledge of SQL2 or Ada 9X is required.



Management Track

S14  A Risk-based Approach to Managing Software Projects with Metrics

Sunday, Morning

Harry Joiner, Telos Corporation
Presents a risk-based approach to managing software projects with
metrics.  Builds on the Goal-Question-Metric approach of V. Basili by
including aspects of managing risks.  Includes current Army and Air
Force metrics.  Includes explanation of metrics, reasons for use, how
to start using metrics, and how to tailor and analyze metrics.  Also
discusses pitfalls of metrics use and how to make metrics pay off.


S15  Adopting Ada 94

Sunday, Morning

Brad Balfour, CACI, Inc., and Don Reifer, DISA/CIM/AJPO
Addresses the key transition issues that managers will encounter in
adopting Ada 94.  Will answer most common managerial questions,
address barriers management will face, provide strategies to overcome
the barriers, and address risks associated with transition to Ada 94.


S16 Development and Management of Large-Scale, Long-Life Information
System Architectures

Sunday, Afternoon

Greg Fox, TRW

Describes an approach to developing large-scale information system
architectures, providing examples of each important facet, and
establishing the structure and language to capture the architectural
thinking.  Expected experience level of participants: Mid- to
Senior-level systems or software engineers with experience or interest
in the development of large information systems.


S17 MIL-STD 498 & Ada: Introducing the New Software Requirements

Monday, Full Day

David Maibor, DMA, Inc., Lewis Gray, AdaPRO
Presents an overview of the new software standard, 498, which will be
replacing the current standard, 2167A.  Highlights some key changes
(especially in the context of good Ada software development
practices), discusses tailoring issues, and current & future trends.
Some familiarity with DoD-STD 2167A, Ada and object-oriented
approaches is expected.


S18 Strategies for Transition to Ada 9X

Monday, Full Day

James W. Moore, MITRE, Bill Taylor, Transition
Technology, Ltd.,  Joyce Tokar, Tartan
This tutorial will focus on strategies for preparation, migration, and
conversion to assure that the shift to Ada 9X can be accomplished with
minimum cost and risk.  Includes discussion of incompatibilities
between Ada 83 and Ada 9X, coding techniques for writing Ada 83
programs which will be converted to Ada 9X, and strategies for
assessing and addressing those incompatibilities that are likely to
present a conversion problem.


S19 Selecting, Adapting, and Implementing Specification and Design Methods
for Ada-based Systems

Monday, Afternoon

Brian Tooby, High Integrity Systems
This tutorial focuses on the needs of people who are faced with
introducing or improving methods for use with Ada, particularly in
large distributed systems.  It addresses concerns of real-world
projects, describes many ways in which the applications of methods in
such projects can and do go wrong, and explains how to avoid many of
the more costly mistakes.  This tutorial is best suited for
experienced technical managers, analysts, and software engineers who
need an independently-provided insight into the effective use of
methods suitable for Ada-based systems, or for methodologists
interested in the evolution and convergence of methods suitable for
large, real-time systems.  Some knowledge of Ada is desirable, but not
essential.



Object-Oriented Programming Track

S20 Advanced Object-Oriented Features and Programming in Ada 9X

Sunday, Full Day

Stphane Barbey, Magnus Kempe, Alfred Strohmeier,
Swiss Federal Institute of Technology
Offers a comprehensive view of object-oriented programming in Ada,
including the object-oriented features of the language, how to
integrate these features into good programming practices, complete
example applications, and a comparison of standard, object-oriented
idioms in Ada vs. major object-oriented languages (C++, Smalltalk,
Eiffel).  Prerequisites: limited acquaintance with object-oriented
concepts and general familiarity with a Pascal-like programming
language.



S21 Object-Oriented Requirements Analysis

Monday, Full Day

Charles Richter, Objective Engineering, Inc.
This tutorial presents a method for object-oriented requirements
analysis (OORA), with special attention devoted to OORA's
specification of system functionality and the advantages of using that
approach for requirements modeling.  A knowledge of rudimentary
object-oriented concepts (classes, objects, etc.) is assumed.


S22 Object-Oriented System Design:  A New Approach to Systems Engineering

Monday, Morning

Keith Hines, Motorola
This tutorial gives an in-depth process for performing system
engineering using object-oriented design methods.  All phases of
development are addressed.  All methods include step-by-step
instructions, examples, and advantages/disadvantages.


S23 Software Architecture and Reuse

Monday, Afternoon

Kurt Wallnau, CARDS, Paul Kogut, Unisys, and
Fred Maymir-Ducharme, CARDS
This tutorial presents the concepts arising from the Central Archive
for Reusable Defense Software (CARDS) program.  It discusses
state-of-the-art and state-of- the-practice software architecture.
Participants will be exposed to the current concepts and the many open
issues related to software architecture, technology transfer, and
reuse.  Prerequisites: participants should have familiarity with
domain analysis and reuse concepts, and a basic familiarity with
software engineering principles.



Process Improvement Track

S24 Software Engineering: Standards, Principles, Practices, Procedures, and
Ethics

Sunday, Morning

Bruce Krell, Hughes
Defines principles for engineering, architecting, designing, and
implementing software applications, and compares effectiveness of
various languages to support implementation using these principles.
Provides real examples using multiple languages to demonstrate
implementation effectiveness and ineffectiveness.


S25 Ada-based Personal Software Process

Sunday, Afternoon

Dan Roy, SEI
This tutorial is targeted at intermediate to advanced software
practitioners interested in the practical application of two emerging
technologies: the Personal Software Process of Watts Humphrey, and the
Engineering Maturity Models of John Goodenough.  Although this course
builds on advanced concepts, it is practical and aims at providing an
individual framework for concurrent software process and technology
improvement.


S26  Components of an Effective Process Improvement Program

Monday, Full Day

Judy Bamberger, Sequent Computer Systems
Introduces skills and concepts that have been proven effective for
process improvement.  Focuses on basis skills that can be adapted and
tailored to meet individual needs.  Intended audience: software
engineering practitioners, managers, educators; government and
industry.  The material presented is based upon tried-and-true
techniques and models across the industry in general, as well as the
Leadership Skills Institute taught across Loral WDL.


S27 Software Acquisition Maturity Model (SAMM)

Monday, Full Day

Jack Cooper, Anchor Software, and Jack Ferguson, SEI
Presents the SEI SAMM, which is a software acquisition counterpart to
the Capability Maturity Model (CMM).  Defines key process areas of
each of five levels of maturity.  The SAMM describes the acquirer's
role, just as the CMM describes the contractor's role.  Some prior
experience with software acquisition of the SEI SMM is convenient, but
not required.



Real-Time Programming Track

S28 Meeting Hard Deadlines with Ada 9X

Sunday, Morning

Svend Bodilsen, DDC-I
Introduces the most important scheduling theories (including cyclic
executives, rate monotonic, deadline monotonic, priority inheritance,
priority ceiling, and immediate priority ceiling), and discusses the
advantages and limitations of each.  Continues with implications of
each theory and Ada 9X implementations.

Prerequisites: Ada experience; knowledge or experience with embedded
system development preferable, but not required.


S29  Emerging Tools and Technologies for Real-Time Analysis

Sunday Afternoon

Michael A. Marko, inTrospect Technologies
Highlights usage of emerging tools and technologies for systems in
which reliability and timeliness are of supreme importance.  Addresses
analysis and implementation of real-time systems in both Ada 83 and
Ada 94.

Prerequisites: novice to intermediate level experience in
time-sensitive systems and Ada.


S30 A Case Study: Using Metrics to Improve Real-Time Embedded Systems

Monday, Morning

Kathryn Edwards, Sacramento Air Logistics Center, McClellan AFB
This tutorial presents a case study involving metrics to measure and
improve software quality.  The topics to be covered include: examples
of measuring reliability, maintainability, portability, reusability;
space and time optimization for multiple software environments; and
benefits of using a metrics tool.


S31 Design of Concurrent Software

Monday, Full Day

Bo Sanden, George Mason University
This tutorial presents a direct approach to the design of concurrent
software in Ada.  Participants learn how to construct simple, elegant,
and deadlock-free concurrent systems.  The expected audience is
analysts, designers, and programmers of concurrent real-time software.
Basic familiarity with Ada 83 tasking syntax is recommended.



Re-engineering Track

S32 Re-engineering to Ada

Sunday, Full Day

Evan Lock, Computer Command and Control Company
Introduces the field of 're-engineering to Ada' so that participants
will be able to plan for and implement re-engineering projects.
Prerequisites: the attendees can be novices with regard to
re-engineering, but should be familiar with issues pertaining to Ada
and the software life cycle.  Includes an afternoon hands-on case
study.


S33 Re-engineering

Monday, Morning

Chris Sittenauer, STSC, and Michael Olsem, Science Applications
International Corp.
This tutorial will discuss the re-engineering domain, its various
sub-domains, and what factors (including human factors) contribute to
the successful implementation of re-engineering technology.  Topics
include matching re- engineering strategies to your organization's
software systems, expected return on investment for typical
re-engineering projects, personnel issues, and the future direction of
re-engineering.


S34 Conversion to Ada and Ada 9X:  A Software Re-engineering Approach

Monday, Afternoon

Arthur G. Duncan, Alimar Software Research
This tutorial focuses on the problem of converting to Ada (or Ada 9X),
with emphasis on how to preserve legacy code.  Discusses the
transition from two points of view: the creation of new systems and
the re-engineering of existing systems.  Intended Audience: practicing
software engineers, project leaders, and managers.



TRI-Ada '94 Tutorial Schedule

Design

Sunday Morning/Afternoon

S1 Software Component Engineering using Ada: Applying Explicit Design
Principles in a Disciplined Way

S2 Formal Specification and Design: From Z to Ada

Monday Morning/Afternoon

S3 A Software Design Method for Ada-based Concurrent, Real-Time, and
Distributed Applications


Education

Sunday Morning/Afternoon
Monday Morning/Afternoon

S4 Teaching and Using Ada in CS1/CS2 (two-day tutorial)


Process Improvement

Sunday Morning/Afternoon

S24 Software Engineering: Standards, Principles, Practices, Procedures, and
Ethics

S25 Ada-based Personal Software Process

Monday Morning/Afternoon

S26 Components of an Effective Improvement Program

S27 Software Acquisition Maturity Model


Management

Sunday Morning

S14 A Risk-based Approach to Managing Software Projects with Metrics

S15 Adopting Ada 94

Sunday Afternoon

S16 Development and Management of Large-Scale, Long-Life Information
System Architectures

Monday Morning/Afternoon

S17 MIL STD 498 & Ada: Introducing the New Software Requirements

S18 Strategies for Transition to Ada 9X

Morning Afternoon

S19 Selecting, Adapting, and Implementing Specificaion and Design Methods
for Ada-based Systems


Introductory & Intermediate Topics

Sunday Morning/Afternoon

S5 Introduction to Ada 83 and Ada 94 for C and C++ Programmers

S6 AdaSAGE: A Legacy of Ada Success

Sunday Morning

S7 Ada: The 'Other Open Systems Language'

Sunday Afternoon

S8 Introduction to Ada Semantic Interface Specification

S9 Ada Binding Technology

Monday Morning

S12 Building Ada-SQL Applications: The SAMeDL Approach

S13 SQL2 and Ada 9X

Monday Morning/Afternoon

S10 Intelligent Systems and Ada 9X

S11 Ada 9X: The Next Generation


Real-Time Programming

Sunday Morning

S28 Meeting Hard Deadlines with Ada 9X

Sunday Afternoon

S29 Emerging Tools and Technologies for Real-Time Analysis

Monday Morning/Afternoon

S31 Design of Concurrent Software

S30 A Case Study: Using Metrics to Improve Real-Time Embedded Systems


Object-Oriented Programming

Sunday Morning/Afternoon

S20 Advanced Object-Oriented Features and Programming in Ada 9X

Monday Morning

S22 Object-Oriented System Design: A New Approach to Systems Engineering

Monday Afternoon

S23 Software Architecture and Reuse

Monday Morning/Afternoon

S21 Object-Oriented Requirements Analysis


Re-engineering

Sunday Morning/Afternoon

S32 Re-engineering to Ada

Monday Morning

S33 Re-engineering

Monday Afternoon

S34 Conversion to Ada and Ada 9X: A Software Re-engineering Approach





The TRI-Ada '94 Conference Schedule

Saturday, November 5
4:00pm - 7:00pm Conference Registration Open

Sunday, November 6
7:30am - 5:00pm Conference Registration Open
8:30am - Noon Full- & Half-Day AM Tutorials
Noon - 1:30pm Lunch Break
1:30pm - 5:00pm Full- & Half-Day PM Tutorials
7:00pm - 11:00pm Working Groups & Birds-of-a-Feather Sessions

Monday, November 7
7:30am - 5:00pm Conference Registration Open
8:30am - Noon Full- & Half-Day AM Tutorials
8:30am - 5:00pm Workshop: Software Reuse Acquisition
Noon - 1:30pm Lunch Break
1:30pm - 5:00pm Full- & Half-Day Tutorials
5:00pm - 8:00pm Welcome Reception and Opening of the Expo
7:00pm - 11:00pm Working Groups & Birds-of-a-Feather Sessions

Tuesday, November 8
7:30am - 6:00pm Conference Registration Open
8:30am - 10:00am Keynote Session
10:00am - 10:30am SIGAda General Session
10:30am - 5:00pm Exposition Open
Noon - 1:30pm Lunch Break
2:00pm - 3:30pm
TU-1: The STARS Process Engine; An Object-Oriented Approach
TU-2: A GNU-Ada 9X Compiler; A Library Design for GNAT; GNAT Tagged
Types
TU-3: Definition of Middleware; OMG; Middleware Products
2:00pm - 6:00pm
TU-4: Special Management Session: Managing Technology Change
3:30pm - 4:30pm Afternoon Break
4:30pm - 6:00pm
TU-5: Team Review Process; Quality Designer Metrics; Software Project
Reporting
TU-6: Integrating GNAT and GCC; GNU Ada Run-Time Library; Smart
Recompilation and GNAT
TU-7: Panel: PC-Ada Development Techniques and Directions
7:00pm - 11:00pm Vendor Hospitality Suites

Wednesday, November 9
8:00am - 6:00pm Conference Registration Open
8:30am - 10:00am
WE-1: Panel: the GNAT Flies-A New Paradigm for Ada Compilation Systems
WE-2: Panel: DoD Software Reuse
WE-3: Panel: Modern Architectures, Modern Methods, Modern LanguagesNAll
or Nothing
10:00am - 11:00am Morning Break
10:00am - 5:00pm Exposition Open
11:00am - 12:30pm
WE-4: Run-Time Check Elimination for Ada 9X; Ada 9X Classes; Ada 9X
Abstract Data Types
WE-2: Continued
WE-5: Applying AdaWise; Design of GUIs
WE-6: OOD Architecture; Structural Model: Architecture for Software Designers;

Secure Systems and Ada
12:30pm - 2:00pm Lunch Break
2:00pm - 3:30pm
WE-7: Ada 9X Internal Program Representations; Ada 9X and Easy_Sim
WE-8: Ada in Moscow; Learning Ada; The Modern Software Development
Process
WE-9: Software Re-engineering in Ada
WE-10: Panel: Managing Migration to Client/Server Architectures
3:30pm - 4:30pm Afternoon Break
4:30pm - 6:00pm
WE-11: Delegation: Dynamic Specialization; OOD Environment for Ada 9X and
Ada 83
WE-12: Panel: What Changes are Needed for Undergraduate CS Curricula to
Educate 'Software Engineers'
WE-13: Panel: Formal Methods for Safety-Critical or Secure Systems
WE-10: Continued
7:00pm - 10:00pm Ada's Aquatic Adventure, National Aquarium

Thursday, November 10
8:00am - 6:00pm Conference Registration Open
8:30am - 10:00am
TH-1: Orthogonal Persistence and Ada; Formalizing and Viusalizing the Object
Paradigm
TH-2: Real-Time Instrument Control and Data Acquisition; Integrating Parallel
Dataflow with Ada Tasking; Migration to the MIL-STD-1750A Architecture
TH-3: Lessons Learned on the BSY-2 Program
TH-4: Ada's Educator's Workshop
10:00am - 11:00am Morning Break
11:00am - 12:30pm
TH-5: Engineering of Computer-Based Systems with Objects in Ada;
Implementing OSA Model Instances in Ada; OOD and Implementation of
Concurrent and Real-Time Systems
TH-6; Ada-Linda: Distributed Ada Applications; Transparent Fault Tolerance for

Distributed Ada
TH-7: Best Practices Initiative, Software Acquisition Maturity Model; Systems
Engineering Capability and Maturity Model
TH-4: Continued
12:30pm - 2:00pm Lunch Break
2:00pm - 3:30pm
TH-8: Model Like an Egyptian; Onion: A Methodology for Developing Data-
Dominant Systems from Building Blocks
TH-9: Panel: Technology Transfer of Software Reuse
TH-10: Panel: DoD Software Acquisition Management Education
TH-4: Continued
TH-11: TRCS: Bringing Network Computing to C2 Systems; Reusable Discrete-
Event Simulator Components; OO System Design for a Satellite
Communication System
3:30pm - 4:30pm Afternoon Break
4:30pm - 6:00pm
TH-12: Problems with Existing Software Reusability; RCAS and Reuse;
Reliability and Reuse: A Proof-of-Concept Demonstration
TH-13: Panel: Specifications & Standards: Their Role in Software Acquisition
Today
TH-4: Continued
7:00pm- 11:00pm Working Groups and Birds-of-a-Feather Sessions
7:15pm - 10:45pm 'Insomniacs Tour' of Baltimore

Friday, November 11
8:00am - 11:00am Conference Registration Open
8:30am - 10:00am FR-1: Plenary Session: Reports on Ada Advertising and
Transitioning Initiatives
10:00am- 10:30am Morning Break
10:30am - Noon FR-2: Panel and Discussion: What is Ada's Future?
Noon Conference Ends
*Conference Agenda Subject To Change





TRI-Ada '94 Conference Program

Workshop-Software Reuse Acquisition Scenarios

Monday, November 7
8:30 a.m. - 5:00 p.m.

Introduction. DoD is committed to a reuse-oriented acquisition
approach for its major software investments in the future. They are
seeking industry input as to how their goals for reuse can be achieved
through a modification to current acquisition practices. This
initiative also comes at a time when the Federal Acquisition
Regulations (FARs) are being revised and the technology to support
widespread reuse is rapidly maturing. The eleven reuse acquisition
scenarios that form the basis for this workshop were developed by a
government/industry working group (chaired by Dr. Harry Joiner) of the
Reuse Acquisition Action Team (RAAT), under the auspices of the SIGAda
Reuse WG, and serve as models to improve reuse within the acquisition
process.

Purpose. The workshop is intended to provide a forum for discussion by
the participants of creative approaches to the business issues
associated with reuse-oriented software/system acquisitions. The
intended audience includes government and industry acquisition
professionals at all levels, business area managers, PEOs/PMs, senior
DoD and service officials, division managers, and corporate CEOs.
Software professionals interested in management issues related to more
effective reuse and establishing a more competitive business strategy
will also benefit.

Method of Operation. The basic issues identified in the RAAT report
and its scenarios will be presented during the morning session.
Discussion of these scenarios and how they can be tailored or
redefined to serve the needs of a particular organization will consume
the afternoon session. Establishing a dialog between government and
industry on these important issues is the primary purpose, not the
acceptance of any particular scenario(s).Participants will be provided
with a copy of the RAAT report, 'Software Reuse Acquisition Scenarios'
and any presentation materials used for the workshop. To receive a
copy of the report in advance, please indicate your intention to
attend by checking the appropriate box on the conference registration
form, or contact Dr.  Harry Joiner, Telos Corporation, 55 N. Gilbert
Street, Shrewsbury, NJ 07702, (908) 842-8647, Fax (908) 842-8918,
e-mail:harry.joiner@telos.com.

Presenters. Linda Brown, OASD C31, Moderator; Harry Joiner, Telos
Corporation; Diane Foucher, NAWC-Weapons Division; Carol McWilliams,
Applied Expertise. * Separate registration is required for this event.

On-site registrations will be accepted.



Tuesday, November 8
2:00 - 3:30pm

TU-1 Process

Chair: Judy Bamberger, Sequent

The STARS Process Engine: Language and Architecture to Support Process
Capture and Multi-User Execution Description of the Boeing STARS
process engine, a process-oriented computing environment.
The paper discusses the language used to describe the process and the
architecture of the system. Scott A. Moody, Boeing Defense & Space
Group

An Object-Oriented Approach to Software Process Modeling and
Definition An original approach to software process modeling and
definition.  This system uses an object-oriented approach implemented
in DRAGOON (an Ada-based language). John D. Riley, SBS Engineering


TU-2 GNAT

Chair: Edmond Schonberg, New York University

The GNAT Project: A GNU-Ada 9X Compiler
The GNU NYU Ada Translator is a front-end and run-time system for Ada
9X that uses the GCC back-end as a retargetable code generator.  GNAT
is part of the GNU software distributed according to the guidelines of
the Free Software Foundation.  Edmond Schonberg, Robert Dewar, Cyrille
Comar, Richard Kenner, New York University

A Library Design for GNAT
This paper addresses the issue of representing what the Ada RM calls
the library 'file' and implementing the semantics associated with this
entry.  GNAT's approach to implementing these semantics eliminates to
retain the traditional Ada library. Robert Dewar, Cyrille Comar,
Richard Kenner, Edmond Schonberg, New York University

The GNAT Implementation of Tagged Types
This paper discusses the GNAT team's experience in implementing Ada 9X
tagged types.  It especially addresses the effects of the early GNAT
users.  Cyrille Comar, Edmond Schonberg, Robert Dewar, Richard Kenner,
New York University


TU-3 Architecture

Chair: Jeff Richardson, TRW

Definition of Middleware Technology
This presentation will define the concept of architectural middleware,
the 'glue' that holds complex software systems together.  This is a
message passing system that handles the details of communication
between portions of complex software systems. Jeff Richardson, TRW

OMG: Mission and Architecture
This presentation by the Object Management Group will describe the
mission of the OMG and the architecture it recommends to accomplish
middleware concepts. Speaker TBD

Middleware Products
This will be a presentation of various middleware products available
today.  Speaker TBD


TU-4 Special Management Session Tuesday, November 8
2:00 - 6:00pm

Chairs: Dr. Harry F. Joiner, Telos Corporation and
Terry Doran, Grumman Aerospace & Electronics

Managing Technology Change
This program will revolutionize the way you detect and respond to
changes by demonstrating a clear, repeatable formula for translating
change into new opportunities. Robert B.  Tucker, President of The
Innovation Resource, Adjunct professor at UCLA, noted author (Managing
the Future; 10 Driving Forces of Change for the 90's and Winning the
Innovation Game) and consultant to corporations like HP, AT&T,
Lockheed and Bell Atlantic, will provide the keys to benefiting from
change through innovation. Tucker reveals that change only seems
random; most critical developments are the result of deep-seated
shifts that will unavoidably impact every business in the 1990's. He
will cover the explosion of technology in today's world to show the
key differences in companies that exploit it for greater productivity
and profit, turning it into their 'techno-edge.' Steven Hunt,
Director, CACI Advanced Technology Center, will then focus on the role
that process engineering and information/system architectures play in
supporting business processes and managing a changing business
environment. Process engineering and information strategic planning
can serve not only as the basis for re-engineering a business area,
but as a framework for managing less radical changes within that area.
Hunt will handle issues such as the changes that automation brings to
the way functions are performed and how architectures can be used to
bring order to engineering processes as they change. The lasting value
of this program is the step-by-step approach that it provides for
turning the forces of change into new opportunities for growth,
profit, and competitive advantage.



Tuesday, November 8
4:30 - 6:00 pm

TU-5 Process

Chair: Judy Bamberger, Sequent
Lessons Learned in Implementing a Team Review Process
This paper describes the team review process implemented on one
project.  It includes the general framework for the process, the
setup, a detailed example, general issues, and lessons learned. Roy
Pena, LORAL Vought Systems Corporation

Quality Guidelines = Designer Metrics
Software quality guidelines are presented as designer metrics, rules
or constraints relating to measurable features of a program's
structure, semantics, and syntax that affect its quality.  Includes a
summary of IEEE 1061.  David A. Workman, Richard Crutchfield, Science
Applications International Corporation

Software Project Reporting: Management, Measurement, and Process
Improvement
This paper presents the rationale, framework, and mechanisms of
quantitative software project management.  It focuses on the status
reports, their interpretation, the consequent management decisions,
and resulting product and process improvements. Ken Shumate, Terry
Snyder, Hughes Aircraft Company


TU-6 GNAT

Chair: Edmond Schonberg, New York University

Integrating GNAT and GCC, or GCC Lessons Learned on Ada
GCC is more than a portable C compiler.  It is actually a compilation
technology with core configuration files for nearly 3 dozen
architectures and front-ends.  This paper describes the development of
the Ada 9X front-end for GCC. Richard Kenner, Edmond Schonberg, Robert
Dewar, Cyrille Comar, New York University

Features of the GNU Ada Run-Time Library
This paper describes how the GNU Ada run-time library meets the design
goals of portability, interoperability with other languages
(especially C), efficiency, and user extensibility. E.W. Giering,
Frank Mueller, T. P. Baker, Florida State University

How to Make Insects Travel at Supersonic Speed: Smart Recompilation and the
GNAT Compiler
Smart recompilation is accomplished by training the compiler to
recognize changes which do not affect other parts of the system.  This
is accomplished by associating a list of entities with each spec and
their last modification date.  Franco Gasperoni, Edmond Schonberg,
Robert Dewar, Cyrille Comar, Richard Kenner, New York University


TU-7 Experience

Panel: PC-Ada Development Techniques and Directions

Moderator: Kraig Hanson, US Strategic Command
This panel discusses the challenges, experiences, and directions of PC
Ada software.  What is possible?  What are the challenges?  Can Ada be
a player?



Wednesday, November 9
8:30 - 10:00am

WE-1 Ada 9X

Panel: The GNAT Flies-A New Paradigm for Ada Compilation Systems

Moderator: Patricia K. Lawlis, AFIT
This panel will describe basic and innovative GNAT features focusing
on the architecture of the GNAT and of the GCC and how these will
contribute to the first truly open Ada development environment.
Principal problems associated with this technology: the
productization, continued development and support of what is
essentially the first free production quality Ada compiler, will be
addressed.  How can the needs of the existing Ada customer base
(primarily DoD) and the future Ada customer base
commercial) be addressed to the satisfaction of both?  Finally,
consequences of this new technology will be discussed. Panelists: TBD


WE-2 Reuse

Panel: DoD Software Reuse

Moderator: Stanley Levine, CECOM Ft. Monmouth
During this two-session panel, each service and the DoD Software Reuse
Initiative will present the status of its reuse activities with
in-depth discussion of its accomplishments to date and future plans in
reuse.


WE-3 Architecture

Panel: Modern Architectures, Modern Methods, Modern Languages: All or
Nothing

Moderator: Mark Gerhardt, Loral Space & Range Systems
What must an organization do to be able to build modern architectures?
This panel addresses technology insertion problems in achieving
improved software architecture.  Issues involving the interaction of
processes, languages, development methods and tools will be discussed.
Panelists: Walker Royce, TRW; Richard Hilliard, Consultant



Wednesday, November 9
11:00am - 12:30pm

WE-4 Ada 9X

Chair: Mike Kamrad, Paramax Systems Corporation

Run-Time Check Elimination for Ada 9X
This paper presents a run-time check eliminator for Ada 9X.  This
eliminator is designed to be target independent with parameterizations
which improve its efficiency. Peter Lutzen Moller, DDC-I

Working with Ada 9X Classes
This paper examines the different uses of class-wide types, mainly as
a means for dynamic binding.  It also presents idioms for using
class-wide types for usage in Ada 9X programs. Stphane Barbey, Swiss
Federal Institute of Technology in Lausanne Software Engineering
Laboratory

Abstract Data Types are Under Full Control with Ada 9X
Ada 9X brings new mechanisms supporting the full control of Abstract
Data Types, powerful type composition, and more extensive information
hiding.  This will make code easier to write, reuse, and understand,
making Ada 9X applications safer. Magnus Kempe, Swiss Federal
Institute of Technology in Lausanne Software Engineering Laboratory


WE-5 Software Engineering

Chair: Steve Grimaldi, UHD, Inc.

Always One More Bug: Applying AdaWise to Improve Ada Code
AdaWise performs automatic checks to verify the absence of common
run-time errors affecting the correctness and portability of Ada
programs.  AdaWise is conservative-the absence of a warning guarantees
the absence of errors.  Cheryl Barbasch, Dan Egnor, Odyssey Research
Associates

Design of GUIs from a Programming Perspective
This paper presents a method for the design of graphical user
interfaces based on semantic specification.  Using formalized style
rules and guidelines, a user interface design proposal is derived from
the functionality of an application.  Ole Lauridsen, DDC-I


WE-6 Architecture

Chair: Jim Moore, MITRE Corporation

An Object-Oriented, Distributed Architecture for Large-Scale Ada Systems
This paper presents an architectural model organized around multiple
dimensions of software architecture suitable for the description of
large, distributed command and control systems.  A notable aspect is
the mechanism for transparent access to objects. Phillipe B.
Krutchen, Rational; Chris Thompson, Hughes Aircraft Company

Structural Model: Architecture for Software Designers
A structural model is the architectural map for a large software
system or family of systems (domain).  This can be used to determine
trade-offs between maintainability and performance, quality, and
efficiency. Lynn D. Stuckey, Jr., Robert G. Crispen, Boeing Defense
and Space Group

Secure Systems and Ada: A Trusted System Software Architecture
This paper presents an architecture for developing trusted software
and systems in Ada.  A generalized trusted development approach and
lessons learned are offered. Mark Aldrich, General Research
Corporation


Wednesday, November 9
2:00 - 3:30pm

WE-7 Ada 9X

Chair: Joyce Tokar, Tartan

Implementing Internal Program Representations with Ada and Ada 9X
This paper discusses how Ada 9X's strong typing, packaging, and
generics can be used to more efficiently implement the internal
structure of an Ada 9X program. Arthur G. Duncan, Alimar Software
Research

Easy_Sim: Using Ada 9X in a Graphics System Software Architecture
This paper describes the creation of an Ada 9X graphics software
architecture and framework for distributed visual simulation systems.
This study produced a visual simulation system in Ada 9X. Jordan
Kayloe, Patricia K. Lawlis, AFIT


WE-8 Education

Chair: Dr. Charles Engle, Florida Institute of Technology

Ada-Based Programming Language Course in Moscow State University
This is a description of a three course sequence in programming
languages for third year students of Moscow State University.  Ada and
Ada 9X are used to demonstrate concepts and principles of modern von
Neumann programming languages. Dr. Sergei Rybin, Scientific Research
Computer Center, Moscow State University; Vitali Sh. Kaufman, Tampere
University of Technology, Finland

Learning Ada
This paper describes the experiences of introducing Ada to two small
institutions.  The problems and their resolutions are presented. Susan
Luks, Michigan State University; Suzanne Pawlan, Allan Hancock College

The Modern Software Development Process
This paper provides guidelines determining when to use object-
oriented and structured design variants.  It offers a series of rules
of when to choose one over the other.  Client/server architectures and
languages complicate the issues.  Federico Vazquez, Computer Sciences
Corporation


WE-9 Software Engineering

Chair: Kurt Wellker, Idaho National Engineering Laboratory

Software Re-engineering in Ada
This report will address the experiences of INEL in converting legacy
FORTRAN code to Ada.  It shows the deteriorating state of maintaining
the old code and how the new code has significantly enhanced the
maintainability of the software.


WE-10 Architecture

Panel: Managing Migration to Client/Server Architectures

Moderator: Hans Polzer, Unisys
This panel will provide technical and management overview of
client/server technology and environments with respect to
client/server applications definition, development and migration
issues.  Lessons learned from using Ada for client/server applications
development will be featured.  The panel will continue through both
afternoon sessions. Invited Panelists: SYSBASE, Inc. (panelist TBD);
Mike Harris, HTR, Inc.; Dave Emery, MITRE



Wednesday, November 9
4:30 - 6:00pm

WE-10 Architecture

Panel: Managing Migration to Client/Server Architectures

Continued from previous time slot.


WE-11 Ada 9X

Chair: Ed Seidewitz, Goddard Space Flight Center

Delegation: Dynamic Specialization
Delegation is a technique used in object-oriented programming shown
with small examples in Ada and Objective-C.  Delegation can be used to
reduce unnecessary multiple inheritance. Liisa Raiha, University of
Tampere, Finland

Profiling an Object-Oriented Design Environment that Supports Ada 9X and
Ada 83 Code Generation
This paper describes an object-oriented development environment which
generates code in Ada 83, Ada 9X, and C++.  Designers supply profiles
defining the components in their applications.  The profiles describe
the content and context of the components. Steven A. Demurjian, K. El
Guemhioui, H. J. C. Ellis, T. J. Peters, The University of Connecticut


WE-12 Education

Panel: What Changes Are Needed For Undergraduate CS Curricula to Educate
'Software Engineers'?

Moderator: Dr. Murali Sitaraman, West Virginia University
Should there be an undergraduate degree in software engineering
separate from a computer science degree?  An important objective
should be the education of software engineers rather than programmers.
How can this be done?


WE-13 Software Engineering

Panel: Formal Methods for Safety-Critical or Secure Systems

Moderator: C. Michael Holloway, NASA Langley Research Center
This panel will bring together several formal methods to discuss and
debate various issues associated with the use of formal methods in the
development of safety-critical or secure digital systems.



Thursday, November 10
8:30 - 10:00am

TH-1 Object-Oriented

Chair: Brad Balfour, SofTech

Orthogonal Persistence and Ada
This paper describes how to add persistence to extensions of Ada 9X or
successors to Ada 9X.  Persistence is the ability to define program
objects which retain their value over multiple executions of a
program. Michael Oudshoorn, University of Adelaide

Software Engineering with Ada in a  New Key: Formalizing and Visualizing the
Object Paradigm
This paper describes a new key to software engineering with Ada.  This
approach is derived form a handful of basic ideas in discrete
mathematics and situation semantics.  It formalizes and visualizes the
object paradigm. George W. Cherry, Stephen Dedalus, Thought**Tools


TH-2 Real-Time

Chair: Dr. David Cook, USAF Academy

Large Database Program for Real-Time Laboratory Instrument Control and Data
Acquisition
An Ada program for data acquisition and analyzing measured and
simulated data for the design verification and failure analysis of
VLSI and VHSIC designs.  Richard G. Sartore, Army Research Labs; C.
Marshall, Vitronics Corp.

Integrating Parallel Dataflow Programming with the Ada Tasking Model
This paper describes how parallel dataflow programming can be simply
and efficiently integrated with the Ada tasking model.  Proposes three
extensions to Ada: parallel composition of statements, parallel
for-loops, and single-assignment types.  John Thornley, California
Institute of Technology

Target Migration to the MIL-STD-1750A Architecture, Doing More with Less
System performance can be improved by migrating to a higher
performance target hardware.  This migration requires careful analysis
to determine the impact of the new hardware.  This paper describes a
methodology used to accomplish this analysis. Robert B. Greene, George
Lownes, Martin Marrietta Communication Systems


TH-3 Software Systems Acquisition Management

Chair: Terry Doran, Grumman Aerospace and Electronics

Lessons Learned on the BSY-2 Program
Rear Admiral Scott L. Sears, Naval Undersea Warfare Center, presents
lessons learned from the management of one of the largest ever
software systems acquisitionsNthe combat system for the Seawolf attack
submarine.  The Admiral discusses issues such as experience evolving
with Ada, 2167 and use of COTS software, training and oversight, each
compounded by the enormous size and complexity of this 4 million LOC
effort.

TH-4 Educator's Workshop ? All day workshop

Chair: Dr. Michael Feldman, The George Washington University
This is oriented toward helping educators incorporate Ada and software
engineering into the CS1/CS2 course sequences.  The workshop is for
instructors who are interested in introducing Ada into their
curriculum or who have experiences to offer.



Thursday, November 10
11:00am - 12:30pm

TH-5 Object-Oriented

Chair: Charlie Snyder

Extended Application of Ada to Cover Engineering of Computer-Based Systems
with Objects for Systems
The challenge and experience of architecting large systems through
extending the application of Ada and object principles.  How to base a
systems engineering methodology on Ada and MIL-STDs.  How to describe
hardware and software together.  Ingmar Ogren, Romet AB

Implementing OSA Model Instances in Ada
Object-oriented systems analysis is an analysis model whose purpose is
to provide a way for analysts to capture and record real-world system
application information.  This paper shows how to map OSA model
instances into production quality Ada code. Susan Bodily, David W.
Embley, Brigham Young University

Object-Oriented Design and Implementation of Concurrent and Real-Time
Systems in Ada
How to use object-oriented methods to implement concurrent and
real-time systems.  This paper reports on the successful use of
object-oriented methods and Ada in various real-time systems including
discrete event simulations.  S. Ron Oliver, California Polytechnic
State University


TH-6 Distributed Systems

Chair: Maretta Holden, Boeing Defense & Space Group

Ada-Linda: A Powerful Paradigm for Programming Distributed Ada Applications
This paper presents the Linda model as a paradigm for the distribution
of Ada programs.  This includes control, communications, and the
paradigms to implement them. Laurent Pautet, Yvon Kermarre, Telecom
Paris - Inf

Transparent Fault Tolerance for Distributed Ada Applications
The Ada Fault Tolerant project has implemented software technologies
which penetrate the envelope of an Ada program to detect, diagnose,
and recover from hardware faults.  These services replicate Ada
software task threads.  Mark Breland, Steven A. Rogers,
Microelectronics and Computer Technology Corporation (MCC); Guillaume
P. Brat, Kenneth L. Nelson, Computing Devices International


TH-7 Software Systems Acquisition Management

Chair: Terry Doran, Grumman Aerospace and Electronics

The New DoD Software Acquisition Best Practices Initiative
The DoD Software Acquisition Best Practices Initiative was established
to improve and restructure the DoD software acquisition management
process.  The speaker will discuss the new initiative and the role of
the Software Program Managers Network. Norm Brown, Software Program
Managers Network

Software Acquisition Maturity Model (SAMM)
A presentation of SAMM, a public model developed for appraisal of
software acquisition maturity.  Originally developed to address
government needs, the SAMM's objective is to promote software
acquisition process improvement so it can be used by any organization
acquiring software. Jack Ferguson, SEI

Systems Engineering Capability and Maturity Model (SE-CMM)
This session will discuss the ongoing activities on the joint
SEI-Industry effort to develop a Capability & Maturity Model and
associated assessment method to support appraisal and improvement of
systems engineering processes.  Suzanne Garcia, SEI



Thursday, November 10
2:00 - 3:30pm

TH-8 Design

Chair: Garth Glynn

Model Like an Egyptian
Fitting the style of development to the needs of the system under
construction.  Guidelines for selecting the development approach based
on the application to be developed. Michael Frankel, Esprit Systems

Onion: A Methodology for Developing Data-Dominant Systems from Building
Blocks
How to use the Onion development methodology for building data
dominant systems from object building blocks.  The objects are
identified in a conceptual data model of the system.  Formal methods
are also addressed. Arun P. Gupta, Paul C. Grabow, Baylor University


TH-9 Reuse

Panel: Technology Transfer of Software Reuse

Moderator: James Baldo, Jr., Unisys
The reuse of software components in developing and evolving
large-scale software systems increase productivity in building parts
of the system and increasing the quality of the system.  Technical and
non-technical inhibitors will be addressed.


TH-10 Software Systems Acquisition Management

Panel: DoD Software Acquisition Management Education

Moderator: Lt. Colonel Thomas J. Croak, USAF
A review team was established to assess software acquisition
management training for the DoD acquisition workforce.  A report was
developed for DUSD (Acquisition Reform) on the assessment of existing
training, recommending changes and additions to existing courses, and
the DoD's DAWIA career programs.  Panelists will present background
information and report findings, discuss Defense Acquisition
University impacts and implementation details, and the impacts and
issues dealing with these changes in a DoD software center.  James
Hess, USA-DISC4, Sherwin Jacobson, DSMC, Brian Koster, NAVAIR


TH-11 Experience

Chair: John Foreman, STARS

The Tyndall Range Control System: Bringing Network Computing to C2
Systems
The distributed architecture of the Tyndall Range Control System
brings the benefits of client/server computing to command and control
applications.  The paper offers lessons learned in resolving issues in
a distributed computing environment. Dan DeJohn, Digicomp Research
Corporation

An Incremental Approach to the Development of Reusable General-Purpose
Discrete-Event Simulator Components
The paper describes an incremental approach to developing reusable
components for general-purpose discrete-event simulations using Ada as
the implementation language.  It shows how Ada is a key factor in this
style of software engineering. Lisa M. Levy-Kortright, Nicholls State
University

An Object-Oriented System Design for a Satellite Communication System
This paper presents the techniques and results of applying an
object-oriented design to a satellite communication system.  The
approach is to apply OO concepts to the hardware, software, and system
aspects of the system to derive a better system design. Keith M.
Hines, Motorola Government Systems and Technology Group



Thursday, November 10
4:30 - 6:00pm

TH-12 Reuse

Chair: Charlene Hayden, GTE

Interesting Problems in Transforming Existing Software for Reusability
This paper addresses technical problems encountered in the automated
transfer of Ada software to improve its ability to be reused in other
systems.  It presents approaches for addressing these problems.
Kathleen Gilroy, Software Compositions

The RCAS Software and Its Relation to Reuse
This paper overviews the Reserve Component Automation System software
architecture and shows how this architecture encourages software
reuse.  It shows how to develop reusable software assets and offers
lessons learned.  Pamela Arya, General Research Corporation

Software Design for Reliability and Reuse: A Proof-of-Concept Demonstration
A new method to support reuse and introduce reliability into software
is based on design capture in domain-specific languages and automatic
program generation using a reusable suite of program transformation
tools.  J. Hook, J. Bell, F. Bellegarde, R. B. Kieburtz, A. Kotov, J.
Lewis, L.  McKinney, D.  Oliva, T. Sheard, L. Tong, L. Walton, T.
Zhou, Pacific Software Research Center, Oregon Graduate Institute of
Science & Technology


TH-13 Software Systems Acquisition Management

Panel: Specifications & Standards:
Their Role in Software Acquisition Today

Moderator: Harry Joiner, Telos Corporation
This government-industry panel addresses the use of standards and
specifications in complex software systems developments and software
acquistions today. Panelists: TBD



Friday, November 11
8:30-10:00am

FR-1 Plenary Session: Reports on Ada Advertising & Transitioning Initiatives

Moderator: Dick Dye, Kaman Sciences Corporation

This extended panel and response session will discuss the state of
marketing Ada outside its traditional usage domains.  Don Reifer:
Progress Report on Ada Dual-Use Initiative; Hal Hart: SIGAda Awareness
Initiative



Friday, November 11
10:30-12noon

FR-2 Panel & Discussion: What is Ada's Future?

Moderator: Dick Dye, Kaman Sciences Corporation
There will be an extended period where observations on the current
state of Ada and how to move it forward are discussed. Robert Firth:
Observations on TRI-Ada; Maretta Holden: Observations on TRI-Ada





See the newest products and latest developments
in Ada Technology on the TRI-Ada Exhibit Hall floor.

TRI-Ada Contracted Exhibitors
Absolute Software Co., Inc.
Ada 9X Project Office
Ada Information Clearinghouse
Ada Soft, Inc.
Advanced Technology, USAF
Aetech, Inc.
Alsys
Alydaar Software Corp.
Army Reuse Center
Asset
Atria Software
Cadre Technologies
Calibre Systems, Inc.
DDC-I
Digital Equipment Corp.
DISA/Software Systems Engineering
Dynamics Research Corp.
EDS-Scicon
Encore Computer Corp.
Esprit Systems Consulting
EVB Software Engineering, Inc.
Fastrak Training Inc.
Grammatech, Inc.
IBM Federal Systems Co.
Integrated Computer Solutions
Intermetrics Inc.
Introspect Technologies, Inc.
Irvine Compiler
Mark V Systems
Martin Marietta
McCabe & Associates, Inc.
Object Technologies, Inc.
Objective Interface Systems
OC Systems
Osiris Industries
ProtoSoft
R. R. Software, Inc.
Rational Software Corporation
Raytheon Company/Missile Systems
Reserve Component Automation Systems
Scandura Intelligent Systems
Silicon Graphics, inc.
Software Productivity Solutions, inc.
Software Systems Design, Inc.
Statistica, Inc.
Strictly Business Software Engineering
Sun Pro
Sunrise Software International
Tartan, Inc.
TLD Ada Compiler Systems
TRI-Pacific Consulting Corp.
TRW
U.S. Army Tacom
Unisys Corporation

List as of August 1, 1994





Housing Information

Hotels and Rates

Code Single Double U.S. Gov't Single U.S. Gov't Double Each Add'l Person
1. Sheraton Inner Harbor SHERI $130 $145 $78 $93 $15
2. Holiday Inn Inner Harbor HIDTN $95 $95 $78 $93 $10
3. Marriott Inner Harbor MARIH $119 $129 $78 $93 $15
4. Tremont Plaza Hotel TREPL $88 $88 $70 $70 N/A
5. Radisson Plaza Lord Baltimore RADLB $99 $109 $70 $84 $15
6. Hyatt Regency HYRDT $125 $135 $99 $99 $25
7. Days Inn Inner Harbor DAYSI $65 $65 N/A N/A N/A



You must use the TRI-Ada housing reservation form to receive the
special TRI- Ada '94 convention rate. DO NOT contact the hotels
directly, as you will not receive the special convention rate. To
receive a faxed copy of the form, call 508-443-3330 X1214. You may
mail the form to the address provided or fax the form to (410)
659-7313.

All room charges are subject to a combined 12% state and city tax.

Reservations are processed on a first come, first served basis until
September 30. If the room rate of the hotel requested is not
available, one at the nearest rate and location will be assigned.
After September 30, convention rates may not apply and the Housing
Bureau will assign rooms on an availability basis.

The Housing Bureau will acknowledge receipt of your reservation form
by mail only. This is NOT a confirmation. A confirmation will follow
from the hotel.  Please allow 7-10 days for receipt of hotel
confirmation.

A refundable room deposit of $100 is required to reserve your room.
You may fill in your credit card information on the housing form, or
attach a check made payable to the BAVCA Housing Bureau, 100 Light
St., 12th Floor, Baltimore, MD 21202. DO NOT mail cash. The deposit is
refundable if your cancellation is made within 72 hours of your
scheduled arrival. Cancellations may be made by mail or by fax. The
fax number is (410) 659-7313.

The Housing Bureau does not accept phone calls concerning room
reservations. If you must change arrival or departure date, type of
accommodations or cancel prior to the cut-off, do so by contacting the
Housing Bureau by mail or fax. If the change/cancellation occurs
within two weeks of the convention date, contact your assigned hotel
directly.

For late arrival, it is necessary to guarantee the reservation via
credit card number on the reservation form, or by deposit sent after
the acknowledgment from the housing bureau is received. After receipt
of Housing Bureau acknowledgment, you may contact your assigned hotel
for specific information regarding their guarantee policy.



To receive a registration form for the conference, contact:

TRI-Ada '94
Danieli & O'Keefe Associates, Inc.
Conference Management
Chiswick Park
490 Boston Post Road
Sudbury, MA 01776 USA
1-800-833-7751
(in USA and Canada only) or +1-508-443-3330 x1214.
To Fax: +1-508-443-4715


Travel Information

Baltimore
Baltimore is a city overflowing with exciting attractions, eclectic
shopping, diverse cuisine, maritime history, marine facilities and
ethnic neighborhoods.  At the heart of it all is the Inner Harbor-just
a short walk from the convention center. The area around the harbor
has been transformed into one of the world's most spectacular
waterfront settings featuring a wealth of shops, restaurants offering
local and international selections, plus world-class attractions such
as the Maryland Science Center and the National Aquarium.  If an
exciting daytrip is in your plans, Washington, DC is located only 35
miles away from Baltimore.  For more information, call the Baltimore
Area Convention & Visitors Bureau at (410) 659-7300.



Weather & Attire
The average high temperature in November in Baltimore is 55.9 degrees
Fahrenheit. The average low temperature is 36.6 degrees. Casual
business attire is recommended for the conference.



Airline Information
To obtain discounted airline rates, call Wayland Travel at (800)
522-0300 (Monday through Friday, 8:30 a.m. - 5:30 p.m. EST).  Identify
yourself as a TRI-Ada '94 attendee to receive a discount on US Air
flights. We have arranged discounted fares from all zones. These
discounts are not dependent on Saturday night stay, however, you must
reserve at least 14 days in advance to get the best rate, 7 days in
advance to get the next best rate.

=========== End of TRI-Ada '94 advance program ASCII email version =========

Re: TRI-Ada '94 advance program

[Robert Dewar]

I am surprised that the titles are taken from the preliminary submissions
and not the final papers. No big deal, but you have had the final papers
in hand for quite some time now!

Re: TRI-Ada '94 advance program

[Robert Dewar]

Oops, very sorry for broadcasting by mistake, it's a mistake I seldom make
and I realized as soon as my finger left the keyboard, but too late!