Subject: KBSE '92 Final Program & Registration 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-1264 (714) 821-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