From: jtf@SEI.CMU.EDU (John Foreman)
Subject: TRI-Ada 89 update -- Conference program (DRAFT)
Date: 30 Jul 89 12:02:21 GMT [thread overview]
Message-ID: <8907301202.AA23754@cf.sei.cmu.edu> (raw)
Following is the latest conference program. Because of limitations of this
media, the matrix is followed by the session chairs and the papers (and
authors) included in each session. (organized by track).
Note that due to the long lead times required for creating and publishing
conference announcements, this on line version is somewhat more current than
what is included in the conference announcement.
--------------------------------------------------------------------
| |
| ** DRAFT TRI-Ada 89 Program DRAFT ** |
| (Tuesday, 24 Oct 89) |
| |
|------------------------------------------------------------------|
| | | | |
| Session | Track 1 | Track 2 | Track 3 |
| | | | |
|------------------------------------------------------------------|
| | | | |
| 0830 - 1000| Opening Plenary | Opening Plenary | Opening Plenary |
| | | | |
|------------------------------------------------------------------|
| | | | |
| | Government | Government | Government |
| 1030 - 1200| Status Reports | Status Reports | Status Reports |
| | | | |
|------------------------------------------------------------------|
| | | | |
| | | | Real-Time |
| 1330 - 1500| Applications 1 | Formal Methods | Distribution 1 |
| | | | |
|------------------------------------------------------------------|
| | | | |
| | | PANEL: Safe | Real-Time |
| 1530 - 1700| Applications 2 | Subsets in Ada | Distribution 2 |
| | | | |
--------------------------------------------------------------------
-----------------------------------------------------------------
| |
| ** DRAFT TRI-Ada 89 Program DRAFT ** |
| (Wednesday, 25 Oct 89) |
| |
|---------------------------------------------------------------|
| | | | |
| Session | Track 1 | Track 2 | Track 3 |
| | | | |
|---------------------------------------------------------------|
| | | | |
| | | | Distributed |
| | Panel: | | Application |
| 0830 - 1000| Software First | Reuse | Testing |
| | | | |
|---------------------------------------------------------------|
| | | | |
| | | PANEL: | |
| | | Software Reuse | Real-Time |
| | | - Is it | Design |
| 1030 - 1200| 2167(A) | Working? | Methodology |
| | | | |
|---------------------------------------------------------------|
| | | | |
| | | | PANEL: |
| | | | Compiler |
| | | Reuse | Technology |
| 1330 - 1500| Environments | Libraries | Evaluation |
| | | | |
|---------------------------------------------------------------|
| | | | |
| | PANEL: | Training, | |
| | Technology | Practice, | Run-Time |
| 1530 - 1700| Trends | and Process | Evaluation |
| | | | |
-----------------------------------------------------------------
-----------------------------------------------------------------
| |
| ** DRAFT TRI-Ada 89 Program DRAFT ** |
| (Thursday, 26 Oct 89) |
| |
|---------------------------------------------------------------|
| | | | |
| Session | Track 1 | Track 2 | Track 3 |
| | | | |
|---------------------------------------------------------------|
| | | | |
| | | PANEL: What | |
| | State of | makes a good | Structure and |
| 0830 - 1000| the Practice 1 | SW Engineer? | Language Issues|
| | | | |
|---------------------------------------------------------------|
| | | | |
| | State of | OOD | PANEL: Ada9X |
| 1030 - 1200| the Practice 1 | Methodology | in Context |
| | | | |
|---------------------------------------------------------------|
| | | | |
| | Closing | Closing | Closing |
| 1330 - 1500| Plenary | Plenary | Plenary |
| | | | |
-----------------------------------------------------------------
-----------------------------------------------------------------
Track 1
--------
Tuesday, 24 Oct 89
1330 - 1500
Applications 1
Chair: Joan Bebb, TRW
Plinta "Model Solution for the C3I Domain"
Lewin "Implementing an X Window System Server in Ada"
Goyden "The Software Life Cycle with Ada: A Command & Control Application"
1530 - 1700
Applications 2
Chair: Joan Bebb, TRW
Archer "Post Deployment Software Support: An Overview"
Grauling "Requirements Analysis for Large Ada
Programs: Lessons Learned on CCPDS-R"
Krantz "The Howitzer Improvement Program: Lessons Learned"
Wednesday, 25 Oct 89
0830 - 1000
PANEL - Software First
Chair: Capt Rebecca Abraham, USAF
1030 - 1200
2167(A)
Chair: Diane C. P. Smith, Xexox Corp
Romano/Singh "2167A/Ada Compatibility"
Springman "Incremental Software Test Methodology
for a Major Government Ada Project
Springman "Software Design Documentation for a
DoD-STD 2167 Ada Project: A Streamlined Approach"
Meyer "Experiences in Applying the DOD-STD-2167A
Software Design Document to an Ada Project"
1330 - 1500
Environments
Chair: Tricia Oberndorf, Naval Air Development Center
Bruno "An Environment for Operational Software Engineering"
Reifer "Workstation/APSE Productivity Study Results"
Burns "The Ada Portability Architecture: A Software
Framework for Portable Ada Applications
1530 - 1700
PANEL - Technology Trends
Chair: Tom Probert, Encore Computer Systems
Thursday, 26 Oct 89
0830 - 1000
State of the Practice 1
Chair: Tucker Taft, Intermetrics
Crawford "Design Issues and Team Support: Experiences of an Ada Tool Vendor"
Lee "Deploying Expert Systems in Ada"
Snyder "Retargeting an Ada Source Level Debugger to CICS"
1030 - 1200
State of the Practice 2
Chair: Tucker Taft, Intermetrics
Ford "A Network-Based Development Environment for Ada"
Ho "An Integrated Ada Development Environment
on Sun Workstations"
----------------------------------------------------------------------
Track 2
Tuesday, 24 Oct 89
1330 - 1500
Formal Methods
Chair: Norman Cohen, IBM
Stillman "Penelope: An Ada Verification System"
Bryan "An Algebraic Specification of the Partial
Orders Generated by Concurrent Ada Computations"
<< 2 paper limit for this session >>
1530 - 1700
PANEL - Safe Subsets in Ada
Chair: Norman Cohen, IBM
Wednesday, 25 Oct 89
0830 - 1000
Reuse
Chair: Tim Harrison, Software Productivity Consortium
Holibaugh "Reuse: Where to Begin and Why"
Stark "Using Ada to Maximize Verbatim Software Reuse"
D'Ippolito "Using Models in Software Engineering"
1030 - 1200
PANEL - Software Reuse - Is it Working ?
Chair: Erhard Ploedereder, Tartan Laboratories
1330 - 1500
Reuse Libraries
Chair: Tim Harrison, Software Productivity Consortium
Kitaoka "Managing Large Ada Repositories for Reuse"
Vogelsong "RAPID - An Operational Center of Excellence for Software Reuse"
1530 - 1700
Training, Practice, and Process
Chair: Don O'Neill, Software Engineering Institute
Page "Holistic Case Study Approach to Ada Based Software Engineering Training"
Perkins "Programming Practices: Analysis of Ada Source
Developed for the Air Force, Army, and Navy
Mogilensky "Applying Reusability to Software Process Definition"
Thursday, 26 Oct 89
0830 - 1000
PANEL - What Makes a Good Software Engineer? OR
Hire me, my resume says Ada!
Chair: Judy Bamberger, Software Engineering Institute
1030 - 1200
OOD Methodology
Chair: Mark Gerhardt, ESL
Whitcomb "Pragmatic Definition of an
Object-Oriented Development Process for Ada"
Colbert "The Object-Oriented Software Development Method:
A Practical Approach to Object-Oriented Development"
Meyer "Experiences in Applying an LVM/OOD
Methodology to an Ada Project"
----------------------------------------------------------------------
Track 3
Tuesday, 24 Oct 89
1330 - 1500
Real-Time Distribution 1
Chair: Charles Hammons, Texas Instruments
Linnig "Ada Tasking & Parallel Processors"
Jha "Distributed Ada - Approach and Implementation"
Cholerton "Ada for Closely Coupled Multiprocessor Targets"
1530 - 1700
Real-Time Distribution 2
Chair: Charles Hammons, Texas Instruments
Ellis "A Periodic Ada Control Kernel (PACK)"
Rabbie "An Operating System for Real-Time Ada"
Griest "Limitations on the Transportability of Real-Time Ada Programs"
Wednesday, 25 Oct 89
0830 - 1000
Distributed Application Testing
Chair: Geoff Mendal, Stanford University
Dowling "Testing Distributed Ada Programs"
Royce "Reliable, Reusable Ada Components for
Constructing Large, Distributed Multi-Task Networks
Tai "Deterministic Execution Testing of Concurrent
Ada Programs"
1030 - 1200
Real-Time Design Methodology
Chair: Lt Col Robert Lyons, USAF
Richter "Vanna: A Visual Environment for the
Design of Distributed Systems"
Borger "Real-Time Software Engineering in Ada:
Observations & Recommendations"
McQuown "Object Oriented Design in a
Real-Time Multiprocessor Environment"
1330 - 1500
PANEL - Compiler Technology Evaluation
Chair: Dudrey Smith, Smiths Industries and
Nelson Weiderman, Software Engineering Institute
1530 - 1700
Run-Time Evaluation
Chair: William Scherlis, DARPA
Salant "Comparison of Assembly Language and
Ada for a Real-Time Embedded ECM System"
Davis "The Selection of an Ada Compiler for a
Real-Time Embedded Avionics Application
Struble "A Quantitative Evaluation of Interrupt
Handling Capabilities in Ada
Thursday, 26 Oct 89
0830 - 1000
Structure/Language Issues
Chair: Erhard Ploedereder, Tartan Laboratories
Mattson "Design and Implementation of an Ada Math Library"
Keller "Layering & Multiple Views of Data
Abstraction in Ada: Techniques and Experiences"
1030 - 1200
PANEL - Point/Counterpoint: Ada9X in Context
Chair: Chuck Engle, Florida Institute of Technology
----------------------------------------------------------------------
reply other threads:[~1989-07-30 12:02 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox