From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE autolearn=no autolearn_force=no version=3.4.4 Path: utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!tut.cis.ohio-state.edu!ucbvax!SEI.CMU.EDU!jtf From: jtf@SEI.CMU.EDU (John Foreman) Newsgroups: comp.lang.ada Subject: TRI-Ada 89 update -- Conference program (DRAFT) Message-ID: <8907301202.AA23754@cf.sei.cmu.edu> Date: 30 Jul 89 12:02:21 GMT Sender: daemon@ucbvax.BERKELEY.EDU Organization: The Internet List-Id: 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 ----------------------------------------------------------------------