From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.5-pre1 (2020-06-20) on ip-172-31-74-118.ec2.internal X-Spam-Level: X-Spam-Status: No, score=-1.9 required=3.0 tests=BAYES_00 autolearn=ham autolearn_force=no version=3.4.5-pre1 Date: 27 Jul 1991 18:48:41-EDT From: Judy.Bamberger@sei.cmu.edu Subject: TRI-Ada '91 (2of5) Conference Information - Tutorial Descriptions Message-ID: <9107272248.AA21320@ts5a.sei.cmu.edu> List-Id: Ada: Today's Accomplishments; Tomorrow's Expectations UPDATED PROGRAM - UPDATED PROGRAM - UPDATED PROGRAM TRI-Ada '91 San Jose Convention Center San Jose, California October 21-25, 1991 ---------------------------------------------------------------------------- INTRODUCTION TO ADA [Full-1] Dean Gonzalez, Independent Educator Introduction to the key features of Ada and how they can aid in the development of quality software. Discussion of Ada features that can be exploited for implementation validation, object-oriented methods, and software components. For: Software professionals, at technical or management level, with a background in any high-level programming language. ____________________ ADA: PLUGGING IN THE POWER TOOL [Full-2] Philippe Kruchten, Rational Discussion of the largely under-used features of Ada and how their use can be promoted by extended training and the development of Ada design and coding standards. For: Technical managers, Ada educators, and software engineers who have a general knowledge of Ada. ____________________ DESIGN AND DEVELOPMENT OF LARGE ADA REAL TIME SYSTEMS USING HOOD [Full-3] Maurice Heitz, CISI Ingenierie Overview of the Hierarchical Object Oriented Design (HOOD) method and how it is used for the development of real-time and distributed Ada systems. Presentation of experiments on how the method can be extended by incorporating formalisms and annotations. For: Software engineers, educators, as well as project managers of in large Ada developments. ____________________ FORMAL METHODS: ANNA [Full-4] Sriram Sankar and David Luckham, Stanford University Program Analysis and Verification Group Comprehensive overview of ANNA (Annotations for Ada), a language allowing formal assertions in Ada programs. Description of the toolset and application techniques for use during all phases of the software development lifecycle. For: Those with reasonable experience using Ada, though attendees need not be formal methods experts. ____________________ TAILORING AN ADA RUN-TIME SYSTEM [Half-5a] Keith Hines, Motorola, Inc Presentation of all information necessary to tailor an Ada run-time system to a custom hardware architecture and insights into multiple tailoring methods. For: Anyone with a working knowledge of Ada who needs to know more about Ada run-time systems. ____________________ ADA REAL-TIME DESIGN CASE STUDY [Half-5b] Mark Borger, Marilyn Keller, TeleSoft Case study to develop attendees' ability to make informed decisions when addressing real-time Ada application requirements. Investigation of various real-time Ada design and implementation tradeoffs by comparing an Ada tasking solution to a second Ada solution that is based on using real-time executive primitives. For: Real-time application designers and developers with Ada experience, and technical managers of Ada real-time projects. ____________________ ADA/X PROGRAMMING INTERFACE [Full-6] Robert Smith, Jr. Timothy Schreyer, Unisys Overview of the X Window system client/server architecture including the layered components of X. Discussion of the X server and protocol, the Xlib interface, toolkit intrinsics, and widget sets. For: Anyone with reasonable Ada experience; no prior experience with the X Window System in C or Ada required. ____________________ MEASURING AND IMPROVING SOFTWARE PROCESS MATURITY [Full-7] Judah Mogilensky, Contel Federal Systems Presentation of the Software Engineering Institute's Software Capability Maturity Model and its use in software process assessments and evaluations. Discussion of the five maturity levels, differences between assessments and evaluations, and of the factors critical to making software process improvement happen in organizations. For: Those wanting to improve the software process maturity in their organizations. ____________________ TOTAL QUALITY MANAGEMENT IN A SOFTWARE ENVIRONMENT [Half-8a] Robert Schaller, Martin Marietta Information Systems Group Exploration of the origins of TQM - what TQM is; what it is not. Discussion of success stories, implementation methodologies, and the relationship between TQM and the Malcolm Baldrige National Quality Award. For: Those who want to learn more about TQM and how it fits into the software development environment. ____________________ SOFTWARE PROJECT RISK MANAGEMENT [Half-8b] Richard Fairley, Software Engineering Management Associates, Inc Discussion of how risk management results in increased quality, improved productivity, and predictability of outcome for software development projects. Presentation of a systematic approach to risk management, focusing on trade-offs among budget, technical issues, and quality. For: Those who want to apply risk management techniques to their software projects. ____________________ ADA FOR THE HANDICAPPED [Full-9] Jolie Mason, Unisys Hands-on presentation of new techniques for working with Ada, with sufficient hardware and software for each attendee to experiment using the techniques taught. For: Handicapped practitioners and would-be practitioners of Ada. ----------------------------------------------------------------------------