From: weltyc@porsche.cs.rpi.edu (Chris Welty)
Subject: KBSE-92 Final Program (last reminder)
Organization: RPI Computer Science Dept.
Distribution: comp
Date: Tue, 8 Sep 1992 15:41:48 GMT


Last call for persons interested in attending the 7th annual
conference on knowledge-based osftware engineering (Sept 20-23, Tysons
Corner, VA)


THE 7TH KNOWLEDGE-BASED SOFTWARE ENGINEERING 
(KBSE-92) CONFERENCE

FINAL PROGRAM

Sponsored by Rome Laboratory 
In cooperation with  A A A I (American Association for Artificial Intelligence)
A C M (Association for Computing Machinery), SIGART, SIGSOFT and the IEEE 
Computer Society

THE KBSE-92 CONFERENCE

The focus of this conference is the application of artificial intelligence and 
knowledge-based techniques to software engineering problems.  This includes 
techniques for constructing, representing, reasoning  about,  understanding and 
adapting software artifacts and processes.  The conference is concerned with 
all activities related to software,  including project planning, domain 
modeling, requirements acquisition, specification, design, coding, 
documentation, understanding, reuse, evolution, testing and maintenance; 
provided that intelligent tools can perform these activities, support humans in 
performing them or cooperate with  humans in performing them. The core of the 
conference is a three-day block of technical  presentations, including panels 
and paper sessions.  This core is preceded by a day of tutorials.  
Demonstrations and videotapes will be scheduled at various times throughout the 
conference to allow for maximum viewing. 

BACKGROUND

In 1983 RADC (now, Rome Laboratory) published a report  calling for the  
development  of  a  knowledge-based software assistant, which would employ 
artificial intelligence techniques to support all phases of the software 
development  process.  The original KBSA vision revolved around a new software 
process model, including knowledge-based software design and prototyping by 
executable specifications, and the generation of implementations using 
semantic-preserving rules. Research and development efforts around the world, 
including those supported  by  Rome Laboratory's  long-term  KBSA  program,  
have led to the  development of significant pieces of this vision. 

The annual KBSA Conference has provided a forum  for  discussion  and  
presentation  of  work  related to the KBSA effort. In  1991, the conference 
expanded  its  scope  to  include other  work in  knowledge-based software 
engineering, and changed its name to the Knowledge-Based Software Engineering 
Conference.  The 1991 conference was quite successful in attracting technical 
papers from around the world on knowledge based software engineering.  Since 
1991 the KBSE conference has taken further steps to establish itself as the 
major conference in the field.  An independent steering committee was 
established consisting of distinguished researchers and sponsors of research, a 
program committee was formed including many important  KBSE researchers and a 
conference committee representing business, government and academia was formed 
to organize the conference.  Thanks to the efforts of  these people, the 1992 
KBSE Conference will have a high quality, stimulating program.


CONFERENCE  SCHEDULE

Sunday, September 20, 1992

Time

*  9:00-5:00 Registration

* 1:00-5:00 Tutorials

Tutorial 1

 Knowledge Based Software Reuse Methods and Tools: DoD STARS RLF Technology
James Solderitsch, Paramax
Don Yu, Paramax

Tutorial 2

Automatic Programming
Dorothy E. Setliff, University of Pittsburgh



Monday, September 21, 1992


Ballroom A

Time

*  8:45-9:00  Welcome
W. Lewis Johnson, USC / Information Sciences Institute

*  9:00-10:30  Invited Speaker:
Elaine Kant, Schlumberger
Knowledge Based Support for Scientific Programming

* 10:30-11:00  Break

* 11:00-12:30  Paper Session: Synthesis I
Chair: Douglas Smith, Kestrel Institute

A Code Synthesis Experiment				Henson Graves, Joe 
Louie, and Tracy Mullen, Lockheed Palo Alto Research Labs

Knowledge-Based Constraint-Driven Software Synthesis
Dorothy E. Setliff and Tobiah E. Smith, University of Pittsburgh

Software Synthesis Shell SOFTEX/S				Toru 
Yamanouchi, Akiyoshi Sato, Minoru Tomobe, Hiroshi Takeuchi, Jun Takamura, and 
Masanobu Watanabe, NEC Corporation

*  12:30-2:00  Lunch

*   2:00-3:30   Paper Session: Design I
Chair: Martin S. Feather, USC / Information Sciences Institute

Transformation of a Semi-formal Specification to	VDM
J. D'Almeida, A. Ramesh, T. Radhakrishnan, V.S. Alagar, Concordia University

Prototyping VDM Specifications with KIDS			Yves Ledru and 
Marie-Helene Liegeois,			Universite Catholique de Louvain

Track Assignment in an Air Traffic Control System: A Rational Reconstruction of 
System Design
Douglas Smith, Kestrel Institute

*  3:30-4:00  Break

*  4:00-5:30  Panel 
Software Process and Knowledge-Based Tools
Chair: J. Terry Ginn, Hughes Aircraft Company

Participants:
Gail Kaiser, Columbia University
Win Royce, TRW
Bill Sasso, Andersen Consulting
Walt Scacchi, University of Southern California
Ron Willis, Hughes Aircraft Company

*  6:00-7:30  Reception

Ballroom C

* 11:00-11:45  Demonstration I
Chair: Joseph A. Carozzoni, Rome Laboratory

MARVEL: A Multiuser Knowledge-Based Environment
George Heineman, Columbia University

* 12:30-2:00  Lunch

*  2:00-3:30   Demonstration II
Chair: Alistair Sutcliffe, City University

Acquisition of Requirements and Incremental Evolution into Specifications
W. Lewis Johnson, USC / Information Sciences Institute

The KBSA Concept Demonstration System
Michael Debellis, Kanth Miriyala, and William C. Sasso, Andersen Consulting

*  3:30-4:00  Break

*  4:00-5:30  Demonstration III
Chair: David R. Harris, Lockheed Sanders

Prototypes of Domain-Oriented Design Environments
Gerhard Fischer and David Redmiles, University of Colorado at Boulder

Comet
William Mark, Lockheed Palo Alto Research Labs

Tuesday, September 22, 1992

Ballroom A

*  8:30-10:30  Paper Session: Reuse
Chair: Penny Chase, MITRE Corp.

Software Reuse through View Type Clusters
Gordon S. Novak, Jr., University of Texas at Austin

Reusing Database Queries in Analogical Domains
Stan Matwin and Hamid Ould-Brahim, Universit# d'Ottawa

Caesar:  A System for CAse basEd SoftwAre Reuse	Gilles Fouque and Stan Matwin, 
Universit# d'Ottawa

Software Design by Reusing Architectures
Sanjay Bhansali and H. Penny Nii, Stanford University

*  10:30-11:00  Break

*  11:00-12:30  Paper Session: Process
Chair: Peter G. Selfridge, AT&T Bell Labs

Domain Abstractions in Requirements Engineering: A Exemplar Approach
N.A.M. Maiden and A.G. Sutcliffe, City University

A Knowledge-based Software Process Library for Process-driven Software 
Development
Peiwei Mi, Ming-June Lee, and Walt Scacchi, University of Southern California

Towards a Logic-Based Reconstruction of Software Configuration Management
Matthias Jarke, RWTH Aachen

*  12:30-2:00  Lunch

*   2:00-3:30  Paper Session: Design II
Chair: Mehdi T. Harandi, University of Illinois at Urbana-Champaign

Simulating the Gries/Dijkstra Design Process
Robert B. Terwilliger, University of Colorado at Boulder

Explorations on the Formal Frontier of Distributed  System Design
Martin S. Feather, USC / Information Sciences Institute

Managing Design Knowledge to Provide Assistance to Large-Scale Software 
Development
Peter G. Selfridge, AT&T Bell Labs

*  3:30-4:00  Break

*  4:00-5:30  Paper Session: Synthesis II
Chair: Dorothy E. Setliff, University of Pittsburgh

On Efficiently Computing Derived Performance Data of Program  Execution
Yingsha Liao, NEC Systems Laboratory

Automatic Composition of Data Structures to Represent Relations
Donald Cohen and Neil Campbell, USC / Information Sciences Institute

A Knowledge-based Software Development Environment for Scientific 
Model-building
Richard Keller and Michal Rimon, NASA Ames Research Center

*  7:00-8:30  Banquet in Ballroom A

Ballroom C

*  8:30-10:30  Demonstration IV
Chair: Elaine Kant, Schlumberger

Automatic Software Technology for GN&C Applications
John J. Turkovich, Draper Laboratory

KIDS: A Knowledge-Based Software Development System
Douglas R. Smith, Kestrel Institute

* 10:30-11:00  Break

*  11:00-12:30  Demonstration V
Chair: Howard Reubenstein, MITRE Corp.

ARIES Simulation Component (ASC) Demonstration
Kevin Benner,  USC / Information Sciences Institute

Knowledge-Based Software Reengineering Tools
Gordon Kotik and Lawrence Markosian, Reasoning Systems

*  1:30-2:00  Lunch

*  2:00-3:30  Panel
DoD Software Technology Plans: What Do They Mean for Knowledge-Based Software 
Engineering? 
Chair: Bill Sasso, Andersen Consulting

Participants:
Barry Boehm, University of Southern California
Richard J#llig, Kestrel Institute
Mort Hirschberg, Army Ballistics Research Laboratory
Douglas White, Rome Laboratory, USAF

*  3:30-4:00  Break

*  4:00-5:30  Panel
Program Understanding: Does it Offer Hope for Aging Software?
Chair: Lawrence Miller, Aerospace Corp.

Participants: 
Prem Devanbu, AT&T Bell Labs
W. Lewis Johnson, USC/ISI
Jim-Qun Ning, Andersen Consulting
Alex Quilici, University of Hawaii

Wednesday, September 23, 1992

Ballroom A

Time

*  8:45-9:00  Remarks
W. Lewis Johnson, USC / Information Sciences Institute

*  9:00-10:30  Invited Speaker:
Gerhard Fischer, University of Colorado at Boulder
Domain Oriented Design Environments

*  10:30-11:00  Break

*  11:00-12:30  Paper Session: Learning
Chair: Elliot Soloway, University of Michigan

Program Concept Recognition
Woitek Kozaczynski, Jim Ning, and Tom Sarver, Andersen Consulting

Educating Knowledge-Based Software Engineers
Major Paul D. Bailor, Air Force Institute of Technology

Neural Networks as a Software Engineering Technology
Derek Partridge and Noel Sharkey, University of Exeter

Ballroom C

* 11:00-12:30  Panel
Assessing KBSE Research: Issues in Goals, Metrics and Transferability
Chair: Peter G. Selfridge, AT&T Bell Labs

Participants:
Barry Boehm, University of Southern California
Glover Ferguson, Andersen Consulting
Gerhard Fischer, University of Colorado at Boulder
Louis Hoebel, Rome Laboratory, USAF
W. Lewis Johnson, USC/Information Sciences Institute
Douglas Smith, Kestrel Institute                     

Conference Arrangements

Accommodations

McLean Hilton, Tysons Corner
7920 Jones Branch Road
McLean, Virginia  22102
Reservations: 703-761-5111
Information: 703-847-5000

Participants are responsible for their own hotel reservations.  Please indicate 
to the hotel when making reservations that the reservations are for the KBSE-92 
conference to receive the special conference rate of $85 per night single and 
$95 double.

Location from Dulles International Airport: Dulles Access Road East to Exit 8 
(Spring Hill Road). After toll turn right onto Spring Hill Road.  Turn left at 
first light onto Jones Branch Drive.  Hotel is one mile on left.

>From National Airport: George Washington Parkway to I-495 South to Exit 11B 
(Tysons Corner/Rt. 123 South exit).  Turn right at first light onto Tysons 
Boulevard.  Continue on Tysons Boulevard for 1 block to light (Tysons 
Parkway/Westpark Drive) turn right.  Go to next light (Jones Branch Drive) turn 
right.  The McLean Hilton is located 2 blocks on right.

Meeting Rooms

The technical sessions of the conference will be conducted in Ballroom A and 
Ballroom C, in the McLean Hilton Hotel, lower level.  Ballroom A will be used 
for general sessions, and Ballroom C will be used for panels and demonstration 
sessions. The Tuesday night dinner will be held in Ballroom A.

Breakouts will be held in the Evelyn Walsh McLean Room and the Lord Thomas 
Fairfax Room, down the hall from the ballroom area.  Two small rooms, the James 
William Jackson Room and the Richard Bland Lee Room, will be usable for 
informal demonstrations during the conference.  The schedule for these informal 
demonstrations will be posted near the meeting rooms and in the registration 
area.

Registration, Information, and Messages

The registration area will be in the lobby in front of the ballrooms in the 
hotel.  A message board will be set up next to the registration area.  Staff in 
the registration area will be happy to help conference attendees with problems 
or questions that they might have.

Speaker Rehearsal Room

Authors may assemble slides and rehearse presentations in the Rehearsal Room, 
which will be the Alexander Scott Room. Scheduling can be arranged at the 
registration area. 

Flight Information

Delta and American Airlines have been designated official carriers for KBSE-92. 
  American Airlines is offering a special discount rate of 40% off their full 
coach fares.  The special discount  requires a 7 day advance purchase and is 
subject to a $30.00 service fee for any full or partial refunds.  If you  
qualify for a lower published fare, American Airlines will discount that rate 
by an additional 5%.  All rules  and restrictions apply and are subject to 
applicable inventory.  Travel to Washington DC must be between  September 18 
and September 25, 1992.  To take advantage of these discounts call 
1-800-433-1790 7:00  AM to 12:00 midnight Central time 7 days a week.  Refer to 
STARFILE S-09924G.

Delta Airlines is offering a special discount rate of 40% off their 
unrestricted coach fares.  The special  discount requires a 7 day advance 
purchase.  If you qualify for a lower published fare, Delta Airlines will  
discount that rate by an additional 5%.  For those attendees originating on 
Sunday September 20, the  minimum stay required on the excursion fare is 
waived.  A $20.00 service charge will be added to the  applicable rate. Travel 
to Washington DC must be between September 17 and September 26, 1992. Certain 
restrictions may apply.  To take advantage of these discounts call  
1-800-221-1212 8:30 AM to  10:00 PM 7 days a week.  Refer to G33090

Proceedings

For those unable to attend, the proceedings will be published by

IEEE Computer Society Press
10662 Los Vaqueros Circle
P.O.Box 3014 
Los Alamitos, CA 90720-8380

Conference Chair:

W. Lewis Johnson
University of Southern California 
Information Sciences Institute
4676 Admiralty Way
Marina del Rey, CA 90292-6695 USA
Tel:  (310) 822-1511
Fax:  (310) 823-6714
Email: johnson@isi.edu

Program Committee:

Penny Chase (MITRE), Martin Feather (USC/ISI), Steve Fickas (Univ.  Oregon), 
Mehdi Harandi (Univ.Ill.), David Harris(Lockheed Sanders),  Matthias Jarke(RWTH 
Aachen), Lewis Johnson (USC/ISI),  Gail Kaiser  (Columbia Univ.), Elaine Kant 
(Schlumberger), Lisa Neal (EDS), Derek Partridge (Univ. Exeter), Howard 
Reubenstein (MITRE),  Charles Rich (Mitsubishi Electric), Peter Selfridge 
(AT&T),  Dorothy Setliff (Univ. Pittsburgh), Doug Smith (Kestrel),  Elliot 
Soloway (Univ. Michigan), Alistair Sutcliffe (City Univ.London),  Richard C. 
Waters (Mitsubishi Electric)

REGISTRATION  FORM:



TITLE: [  ] Mr.  [  ] Ms.  [  ] Dr.  [  ] Other: 	            
CITIZENSHIP: [  ] United States  [  ] Other

NAME/POSITION:								

ORGANIZATION: 				
ADDRESS:								
		CITY:			STATE:              		
	 ZIP CODE: 		
TELEPHONE:				 E-MAIL :			
		FAX:						

Please mark all items that apply to your registration.

[  ] KBSE-92 Registration Fee..........$200.00 (after August 31: $250)  
(The fee includes conference proceedings, break refreshments, lunches and 
reception.)

[  ] _______ Tickets to the Tuesday evening banquet at $35 each.

[  ] Tutorial 1 at $50.	[  ] Tutorial 2 at $50.

[  ] I would like to volunteer to assist in operation of the conference.  There 
will be a limited number of positions for STUDENT volunteers.

TOTAL ENCLOSED $____________________  CHECK NUMBER  ____________________

Make checks payable to Kaman Sciences Corporation.  Return payment and this 
form to Data & Analysis Center for Software by Monday, August 31, 1992.  Mail 
Registration to:

Ms. Barbara Radzisz, KBSE Conference Coordinator
Kaman Sciences Corporation
Data & Analysis Center for Software
PO Box 120
Utica, New York 13503
(315) 734-3696
FAX: (315) 734-3699
--

Christopher Welty                   Asst. Director, RPI CS Labs, Troy, NY 12180
weltyc@cs.rpi.edu                  "Porsche:  Fahren in seiner schoensten Form"