hoebel@cs.rochester.edu (08/03/90)
**** 5th Annual RADC Knowledge-Based Software Assistant (KBSA) Conference ****
^^^ ^^^^^ ^^^^ ^^^^^^^^^ ^^^^^ ^^^^^^^ ^^^^^^^^^ ^^^^^ ^^^^^^^^^^
>>>>>>>>>>> Call For Participation <<<<<<<<<<
[Complete Program and Registration forms included in this announcement]
__________________________________________________________________________
5th Annual RADC Knowledge-Based Software Assistant (KBSA) Conference
September 24-28, 1990
Sheraton Convention Center Syracuse, New York
__________________________________________________________________________
You are invited to RADC's 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". There will be
approx. 30 papers and 5 panels plus software demonstrations. 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)
Ray Urtz RADC/CO Technical Director
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)
Graph-Based Language Specification, Analysis, and
Mapping with Application to the Development of
Parallel Software
Paul Bailor, Gary Lamont and Thomas Hartrum
(Air Force Institute of Technology)
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)
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)
A Schema-Based Approach to Software Application Derivation
Medhi T. Harandi and Kanth Miriyala (University of Illinois)
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
Dr. F. Diamond, Chief Scientist RADC
Dr. Geoffy Fox, Invited Speaker
Director Northeast Parallel Architectures 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)
Knowledge-Based Software Assistant: A Knowledge Representation
Model and its Implementation
N. Boudjlida and T. Khammaci (Nancy I University)
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)
KUIE Layout - An Interval-based Graphical Constraint System
Bob Schrag (Honeywell Systems and Research Center)
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 USC/ISI and Sanders Associates
- ARIES - The requirements/specification
facet for KBSA.
o Versent Object Technologies
- Object Oriented Database System
o RADC
- Software Life Cycle Support Environment (SLCSE)
- KBSA Facet Prototypes
and others to be announced.