[comp.specification] KBSA_5 Conference Program Announcement

hoebel@cs.rochester.edu Call For Participation and Program Announcement (07/10/90)

__________________________________________________________________________


      5th Annual RADC Knowledge-Based Software Assistant (KBSA) Conference


         			September 24-28, 1990


		Sheraton Convention Center          Syracuse, New York

__________________________________________________________________________


You are invited to the Fifth Annual Knowledge-Based Software Assistant 
Conference which will be held September 24-28, 1990.  The theme for this 
year's conference is "Supporting and Enabling Technologies".  The RADC 
sponsored KBSA project is a long term, on going research and development 
effort to create an automated assistant for all phases and facets of the 
software development process.

A complete conference schedule is included in this packet and is subject
to change. This years conference includes 30 paper presentations, five
panels and software demos. All conference events will be held in the
Sheraton Convention Center which is adjacent to the Sheraton Hotel.
Additional meeting rooms are available for conference participants who 
wish to organize continued discussion or "birds of a feather" type meetings.
Contact conference organizers either before or at the conference. The nature
of conferences in past years has been to encouarge interaction among the
participants and we wish to encourage that at this years conference as well.

The conference will be held at the Sheraton Inn Syracuse & Convention Center
located in Liverpool, New York.  Participants are responsible for their own
reservations and the room fees are $69 per night for a single or double room.
If you require transportation from the airport to the hotel, please
contact the hotel at (315) 457-1122 or Barbara Radzisz at the address below.
You must mention the conference when registering to get the special rate.

USAir has been designated as the official carrier for the attendees of the 
5th Annual Knowledge Based Software Assistant Conference.  USAir agrees to
offer an exclusive low fare for the attendees.  This special fare will offer
a 5% discount off any published USAir promotional round trip fare, excluding
First Class and Government Contract Fares.  This discount is valid providing
all rules and restrictions are met and is applicable for travel within the 
Continental United States.

For attendees unable to meet the restrictions for promotional fares, USAir will
offer a 40% discount off the standard round trip coach fare for travel within
the Continental United States.  For attendees traveling from Canada, they will 
offer a 30% discount with no minimum stay requirement or a 35% discount with
a 2 night minimum stay requirement.  Additional restrictions apply for 
discounts on international travel.

These meeting discounts are valid between September 21 - October 1, 1990.

To obtain this meeting discount, you or your travel agent must call USAir's
Meeting and Convention Center Reservation Office at 1-800-334-8644; from 
Canada, 1-800-428-4322, Ext. 7702; Monday through Friday, 8:00 AM - 9:00 PM,
Eastern Time.  REFER TO GOLD FILE NO. 222501.

If you already sent in a preregistration form, we are reserving a spot for
you at the conference.  Hotel rooms and conference spaces are limited, so
make your reservations early.

The conference fee is $275.00 ($175.00 for full-time students).  The fee 
includes a copy of the proceedings, breaks, three (3) lunches, and a
reception.  Please make your check payable to:  Kaman Sciences Corporation.

For more information contact:

Barbara Radzisz				Louis Hoebel, Conference Chair
Data & Analysis Center for Software	RADC/COES
PO Box 120				Griffiss AFB, New York 13441-5700
Utica, New York 13503			(315) 330-4833
(315) 336-0937				hoebel@aivax.radc.af.mil
kbsa-con@aivax.radc.af.mil

We hope that you will join us in September to participate at KBSA_5.


The KBSA Program Committee
Melissa P. Chase (MITRE)
Louis Hoebel (RADC)
Stephen Kelly (Kaman) 
Penny Muncaster-Jewell (McDonnell Douglas)
Mary Anne Overmann (NSA) 
Barbara Radzisz (Kaman)
William Sasso (Andersen Consulting)
Douglas White (RADC)

-------------------------registration form ------------------------------
-----------------------------cut here------------------------------------
     
     5th Annual RADC Knowledge-Based Software Assistant (KBSA) Conference
                              Registration Form


TITLE:  [  ] Mr.  [  ] Ms.  [  ] Dr.  [  ] Other:__________________________

CITIZENSHIP: [  ] United States  [  ] Other:_______________________________

NAME/POSITION:_____________________________________________________________

ORGANIZATION:______________________________________________________________

ADDRESS:___________________________________________________________________

        ___________________________________________________________________

        ___________________________________________________________________

CITY:______________________________ STATE:__________ ZIP CODE:_____________

TELEPHONE:_________________________ AUTOVON:_______________________________ 

E-MAIL ADDRESS:_________________________ FAX:______________________________


Please mark all items that apply to your registration.

[  ] KBSA Registration Fee......................................$275.00
(The fee includes conference proceedings, break refreshments, three (3) 
lunches, and reception)

[  ] KBSA Student Registration Fee..............................$175.00
(The fee includes conference proceedings, break refreshments, three (3) 
lunches, and reception)
NOTE: Students must present proof of status on department letterhead.

[  ] Conference Proceedings (Includes Shipping).................$75.00
(I cannot attend the conference, but reserve a copy of the proceedings for me.)

[  ] Around the World Buffet on Wednesday night................$20.00

[  ] I will be attending the reception Monday night.
(Please indicate if you plan on attending the reception)

Please indicate preferences to aid us in final scheduling of facilities.
I prefer to attend Session 2 [  ] Session 2A [  ] on Tuesday, September 25th.
I prefer to attend Session 3 [  ] Session 3A [  ] on Wednesday, September 26th.
I prefer to attend Session 4 [  ] Session 4A [  ] on Wednesday, September 26th.
I prefer to attend Session 6 [  ] Session 6A [  ] on Thursday, September 27th.
I prefer to attend Session 7 [  ] Session 7A [  ] on Friday, September 28th.


     TOTAL ENCLOSED $__________________  CHECK NUMBER ________________


     Make  checks  payable  to  Kaman  Sciences  Corporation.   Return
     payment  and this form to the Data & Analysis Center for Software
     by Wednesday, August 15, 1990.


             Ms. Barbara Radzisz, KBSA Conference Coordinator
                        Kaman Sciences Corporation
                    Data & Analysis Center for Software
                                PO Box 120
                           Utica, New York 13503
                              (315) 336-0937

----------------------end of registration form---------------------------


   5th Annual RADC Knowledge-Based Software Assistant (KBSA) Conference

                             Conference Schedule


Monday, September 24, 1990

  1:00 -  7:00  Registration

  1:30 -  2:45  RADC Overview by Robert Ruberti (RADC)
                KBSA Program Overview by Doug White (RADC)
                SLCSE Overview by Deborah Cerino (RADC)

  2:45 -  3:00  Refreshment Break

  3:00 -  5:00  Tutorial: KBSA/CASE Technology by P. Chase (MITRE)
                The presentation will explain the similarities
                and differences in technologies of the two paradigms.

  5:00 -  7:00  Wine & Cheese Reception


Tuesday, September 25, 1990

  8:00 - 12:30  Registration

  8:00 -  9:00  Coffee and Pastry

  9:00 -  9:30  Opening Remarks and Official Welcome
                Louis Hoebel (RADC)
                Dr. F. Diamond, Chief Scientist RADC

  9:30 - 10:30  Session 1

                Automating the Development of Software
                Douglas R. Smith (Kestrel Institute)

                The role of derivational analogy in program synthesis
                Sanjay Bhansali and Medhi T. Harandi
                (University of Illinois at Urbana-Champaign)

 10:30 - 11:00  Refreshment Break

 11:00 - 12:30  Session 1 continued

                Formal Methods and Reusable Software
                Shiu-Kai Chin (CASE Center, Syracuse University)

                Persistence with Integrity and Efficiency
                Deborah A. Baker, David A. Fisher and Frank P. Tadman
                (Incremental Systems Corporation)

                Reuse by Design: Data Abstraction Vs. "Top-Down" Mindset in
                an Object-Oriented Environment
                Jeffrey W. Grubbs and Robert F. Roggio (Univ. of Mississippi)

 12:30 - 2:00  Lunch

  2:00 - 3:00  Session 2 Panel:  Issues in Using Object Oriented
               Databases to Support KBSA

  2:00 - 3:00  Session 2A

                Text Layout as a Problem of Modality Selection
                Yigal Arens and Eduard H. Hovy (USC/ISI)

                KAPTUR: Knowledge Acquisition for Preservation of Tradeoffs
                and Underlying Rationales
                Sidney Bailin, J. Mike Moore, Richard Bentz, and Manju Bewtra
                (CTA Incorporated)

  3:00 -  3:30  Refreshment Break

  3:30 -  4:30  Session 2 Rebuttals and Questions & Answers

  3:30 -  5:00  Session 2A continued

                Utilizing Interactive Multimedia To Support Knowledge-based
                Development of Software Requirements
                James D. Palmer and Peter Aiken (George Mason University)

                Requirements Analysis Using ARIES: Themes and Examples
                W. Lewis Johnson and David R. Harris (USC/ISI)

                Graph-Based Language Specification, Analysis, and
                Mapping With Application to the Development of Parallel 
                Software
                Paul D. Bailor, Gary B. Lamont and Thomas C. Hartrum
                (Air Force Institute of Technology)

  5:00 -  6:30  Software Demonstrations


Wednesday, September 26, 1990

  8:00 -  9:00  Coffee and Pastry

  9:00 - 10:00  Session 3 Panel:  Dynamic Documentation and
                Explanation of Software

  9:00 - 10:30  Session 3A

                Configuration Change Management
                A. Larson (Honeywell Inc.)

                Animated Knowledge-Based Requirements Traceability in Large
                Scale Space Applications
                Dr. Warren Moseley (University of Alabama)
                Tim Crumbley (NASA Marshall Space Flight Center)

                A Comparative Assessment of Formal Specification Techniques
                Algirdas Avizienis and Chi-Sharn Wu (UCLA)

 10:30 - 11:00  Refreshment Break

 11:00 - 12:00  Session 3 Rebuttals and Questions & Answers

 11:00 - 12:30  Session 3A continued

                Support for Software Design, Development, and Reuse through
                an Example-Based Environment
                Lisa Neal (Harvard University)

                Integrating Code Knowledge with a Software
                Information System
                Peter G. Selfridge (AT&T Bell Laboratories)

                A Design-Paradigm-Based KBSA Architecture
                Paul A. Bailes and Ron Weber (University of Queensland)

 12:30 - 2:00  Lunch

  2:00 -  3:00  Session 4

                The KBSA Concept Demonstration Prototype
                Michael DeBellis (Andersen Consulting)

                A Software Development Process Model for the KBSA
                Concept Demonstration System
                William C. Sasso and Michael DeBellis (Andersen Consulting)

  3:00 -  3:30  Refreshment Break

  3:30 -  5:00  Session 4A
	        Preliminary Design Review for the KBSA Concept Demo
		 Presentation by Andersen Consulting of contract work
		 sponsored by RADC. KBSA Consortium participation is
		 encouraged. Open to all participants

  3:30 -  5:00  Session 4 continued

                Reverse Software Engineering of Concurrent Programs
                X. Ge and N. Prywes (Computer Command and Control Company)

                Knowledge-Based Software Assistant: A Knowledge Representation
                Model and its Implementation
                N. Boudjlida and T. Khammaci (Nancy I University)

                Towards Knowledge-Based Reverse Engineering
                J. Zhang and C. Boldyreff (Brunel University)

  5:00 -  6:00  KBSA Concept Demo Demonstration

  7:30         Around the World Buffet Dinner in the Convention Center


Thursday, September 27, 1990


  8:00 -  9:00  Coffee and Pastry

  9:00 - 10:00  Session 5 Panel:  KBSA/CASE Tools

 10:00 - 10:30  Refreshment Break

 10:30 - 11:30  Session 5 Rebuttals and Question & Answers

 12:00 -  1:30  Lunch

  1:30 -  2:30  Session 6 Panel:   Intelligent Interfaces to Richly
                Functional Systems: Making KBSA Usable

  1:30 -  2:30  Session 6A

                Verifying Expert Systems using Conceptual Models
                Alun D. Preece (Concordia University)

                Detecting Interference in Knowledge Base Systems
                James G. McGuire and Randy Stiles (Lockheed AI Center)

  2:30 - 3:00  Refreshment Break

  3:00 - 4:00  Session 6 Rebuttals and Questions & Answers

  3:00 - 4:30  Session 6A continued

                Simulation in Support of Specification Validation
                Kevin M. Benner (USC/ISI)

                KUIE Layout - An Interval-based Graphical Constraint System
                Bob Schrag (Honeywell Systems and Research Center)

                Exploiting Metamodel Correspondences to Provide Paraphrasing
                Capabilities for the Concept Demonstration
                Jay J. Myers (USC/ISI) and Gerald B. Williams (Andersen Consulting)

  4:30 - 6:00  Software Demonstrations


Friday, September 28, 1990

  8:00 -  9:00  Coffee and Pastry

  9:00 - 10:00  Session 7 Panel: Bridging the Gap

  9:00 - 10:00  Session 7A

                A Planning System for the Intelligent Testing of Software
                Myla Archer, Deborah Frincke and Karl Levitt
                (University of California at Davis)

                A Schema-Based Approach to Software Application Derivation
                Medhi T. Harandi and Kanth Miriyala (University of Illinois)

 10:00 - 10:30  Refreshment Break

 10:30 - 11:30  Session 7 Rebuttals and Questions & Answers

 10:30 - 12:30  Session 7A continued

                Multi-Agent Rule-Based Software Development Environments
                Naser S. Barghouti and Gail E. Kaiser (Columbia University)

                A Distributed Implementation of a Multiple View Integrated
                Software Development Environment
                Chris Marlin (University of Adelaide)

                Specification Evolution and Program (Re)Transformation
                Martin S. Feather (USC/ISI)

 12:30 - 2:00  Closing Remarks and KBSA_6




                       Panel Descriptions



Each panel member  will  make  a  10  -  15  minute  presentation
followed  by  rebuttals,  question  and answers, and discussions.
Conference attendees will then have the opportunity to make short
statements and question the panelists following the break.


     Panel:         Issues in Using Object Oriented Databases to Support KBSA
     Panel Chair:   Penny Muncaster-Jewell (McDonnell Douglas)
     Panel Members: Craig Thompson (Texas Instrument)
                    David Fisher (Incremental Systems Incorporated)
		    Tom Atwood (Object Design Incorporated)
		    Tim Andrews (Ontalogic)

		    Each member of the panel will discuss a different issue.
		    Topics included are schema evolution, standardization
		    and change management mechanisms.


     Panel:         Dynamic Documentation and Explanation of Software
     Panel Chair:   William Swartout (USC/ISI)
     Panel Members: W. Lewis Johnson (USC/ISI)
                    Elliot Soloway (University of Michigan)
                    Eduard Hovy (USC/ISI)
                    Ursula Wolz (Columbia University)

                    Perspectives on what the problems of automatic documentation
                    and explanation of software are.


     Panel:         KBSA/CASE Tools
     Panel Chair:   Gilles Lafur (Andersen Consulting)
     Panel Members: Cordell Green (Kestrel Institute)
                    Bob Balzer (USC/ISI)
                    Glover Fergusen (Andersen Consulting)
                    Tony Wasserman (Interactive Development Environments)

		    Cordell Green and Bob Balzer were the authors of the 
		    original KBSA '83 report and have been involved with
		    with KBSA development since that time.  Glover Fergusen
		    and Tony Wasserman are lead developers in their perspective
		    company's CASE tools products.


     Panel:         Intelligent Interfaces to Richly Functional
                    Systems: Making KBSA Usable
     Panel Chair:   William Sasso (Andersen Consulting)
     Panel Members: Elliot Soloway (University of Michigan)
                    Peter Selfridge (AT&T, Bell Labs)
                    Loren Terveen (MCC, University of Texas at Austin)
                    Michael Williams (Intellicorp) KEY interface designer

                    What is needed to make KBSA usable?


     Panel:         Bridging the Gap
     Panel Chair:   Mary Anne Overman (National Security Agency)
     Panel Members: Bill Liles (CIA)
                    Representatives from NASA and SEI will also
		    participate.

                    A governmental view point on technology and its transfer.




                     Software Demonstrators



Below is a tentative list of software demonstrators.


            o  Andersen Consulting Inc.

		 - Demonstration of the KBSA Concept Demonstration Model


            o  Odyssey Research

		 - Penelope - An Ada Verification System


            o  ICONIX Software Engineering

		 - CASE Tools


            o  Computer Technology Associates, Inc.

		 - KAPTUR - A development environment based on Knowledge 
                   Acquisition for Preservation of Tradeoffs and Underlying
                   Rationales


            o  RADC

                 -  Software Life Cycle Support Environment (SLCSE)

                 -  KBSA Facet Prototypes


     and others to be announced.