KBSE-9 Preliminary Program Schedule


TUESDAY, September 20, 1994


 8:00 -  5:00	Registration
 9:00 -  5:00	Tutorials


WEDNESDAY, September 21, 1994


 8:30 -  9:00	Opening Remarks
 9:00 - 10:30	KBSA Panel
10:00 - 10:30	Break
11:00 - 12:00	Invited Talk - Robert Balzer, ISI
12:00 -  1:30	Lunch
 1:30 -  3:00	Paper Session 1: DESIGN	
	A Framework for Distributed System 
		Designs, Martin S. Feather, USC/
		Information Sciences Institute and 
		Stephen Fickas, Department of 
		Computer Science, University of Oregon
	Intelligent Assistance for Software
		Construction:  A Case Study, Loren G. 
		Terveen and Peter G. Selfridge, AT&T
		Bell Laboratories
	Agent-Based Support for Communication
		between Developers and Users in 
		Software Design,S Andreas Girgensohn,
		NYNEX Science and Technology, 
		David F. Redmiles and Frank M. 	
		Shipman, III, Department of Computer
		Science, University of Colorado
  3:00 -   3:30	Break
  3:30 -   5:00	Paper Session 2: SYNTHESIS	
	Using Machine Learning to Synthesize 
		Search Programs, Steven Minton and 
		Shawn R. Wolfe, Recom Technologies, 
		NASA Ames Research Center
	Composing Reusable Software 
		Components Through Views, Gordon S.
		Novak Jr., Department of Computer 
		Sciences, University of Texas at Austin  
	A Formal Approach to Domain-Oriented
		Software Design Environments, 
		Michael Lowry, Andrew Philpot,
		Thomas Pressburger and Ian Underwood,
		AI Research Branch, Recom Technolo-
		gies, NASA Ames Research Center
  7:00 -   9:00	Banquet at the Monterey Bay Aquarium


THURSDAY, September 22, 1994


 8:30 - 10:00	Paper Session 3: TESTING/VALIDATION
	Formal Specification Tools for Test 
		Coverage Analysis, John Chilenski and 
		Philip H. Newcomb, The Boeing Company
	Systematic Incremental Validation of 
		Rule-based Reactive Systems, Robert J. 
		Hall, AT&T Bell Laboratories
	A Flexible Rule-Chaining Engine for
		Process-Based Software Engineering, 
		Andrew Z. Tong, Gail E. Kaiser and 
		Steven S. Popovich, Department of 
		Computer Science, Columbia University
10:00 - 10:30	Break
10:30 - 12:00	Paper Session 4:  REUSE
	A Formal Approach to Reusing More 
		General Components, Jun-jang Jeng 
		and Betty H. C. Cheng, Department of 
		Computer Science, Michigan State University
	Task Oriented and Similarity-Based Retrieval,
		David Lauzon and Thomas Rose,
 		Department of Computer Science, 
		University of Toronto
	Evolution and Reuse of Formal 
		Specifications Using Decision 
		Structures, Chris Wild and Daniela 
		Rosoa, Department of Computer 
		Science, Old Dominion University
12:00 -  1:30	Lunch
  1:30 -  3:00	Paper Session 5:  
		PROGRAM UNDERSTANDING
	Graphical Support for Code-level 
		Software Understanding, Peter 
		G. Selfridge, AI Principles Research 
		Department, AT&T Bell Laboratories 
		and George T. Heineman, Department of
		Computer Science, Columbia University
	A Cooperative Program Understanding
		Environment, Alex Quilici, Department
		of Electrical Engineering, University of 
		Hawaii at Manoa and David N. Chin, 
		Department of Information and 
		Computer Sciences, University of 
		Hawaii at Manoa
	Abstract Data Structure Recognition, 
		Rene Dekker and Frans Ververs, Delft 
		University of Technology, The Netherlands
  3:00 -   3:30	Break
  3:30 -   5:00	Paper Session 6:  MISCELLANEOUS
	User Interface Design Assistance For 
		Large-Scale Software Development, 
		Gregory Alan Bolcer, Center for 
		Software Engineering, University of 
		Southern California
	An Augmented Pattern Matcher as a Tool 
		to Synthesize Conceptual Descriptions of 
		Programs,  Francoise Balmas, 
		Department Informatique, Universite Paris 8
	The OPLA Language - Integrating 
		Object-Oriented Paradigms and Logic 
		Programming by Means of Common 
		Lisp Object System, Vincenzo Loia, 
		Dipartimento di Informatica ed 
		Applicazioni, Universita di Salerno and 
		Michel Quaggetto, LITP-IBP, Universite 
		Pierre et Marie Curie
FRIDAY, September 23, 1994


 8:30 - 10:00	Panel:  KBSE in Action: Application 		
		Development Experience and Impact
10:00 - 10:30	Break
10:30 - 12:00	Paper Session 7:  PROCESS/PROJECT
		 MANAGEMENT
	Critical Success Factors for Knowledge-
		Based Software Engineering 
		Applications, Barry Boehm and 
		Prasanta Bose, Computer Science Dept,
		USC Center for Software Engineering
	Knowledge-Based Risk Assessment Using
		Cost Factors, Ray Madachy, Software 
		Engineering Process Group, Litton Data 
		Systems and USC Center for Software 
		Engineering
	Software Technology Risk Advisor, 
		Gregory A. Toth, Department of 
		Computer Science, USC Center for 
		Software Engineering and Electronics 
		Systems Division, Northrop Corporation


Conference Committee


Douglas R. Smith, Kestrel Institute, Conference Chair; Richard Jullig,
Kestrel Institute, Program Chair; Douglas A. White, Rome Laboratory,
Finance Chair; Christopher Welty, Vassar College,
Publicity Chair; Bala Ramesh, Local Arrangements Chair.  


Hotel Information


The KBSE-9 Conference will be held at the Doubletree Hotel (408) 649-
4511.  Participants are responsible for their own hotel reservations.
Please indicate to the hotel when making reservations that they are
for the KBSE '94 Conference to receive the special conference rate of
$110 for single/double occupancy plus 10% tax.  All reservations must
be made by August 26, 1994.  After that date, reservations will be
honored on a space and rate availability basis.


Registration Information


To register for the conference, complete the registration form and
send the form and payment to:


	Kaman Sciences Corporation
	Data & Analysis Center for Software
	Attn:  Ms. Barbara Radzisz, KBSE-9
	PO Box 120
	Utica, NY 13503-0120


Checks should be made payable to Kaman Sciences Corporation.  Refunds
will be made, less a $50 service charge, if written notice is received
by 6 September 1994.