9. KBSE 1994: Monterey, CA, USA

Proceedings KBSE'94, the Ninth Knowledge-Based Software Engineering Conference, Monterey, California, USA, September 20-23, 1994. IEEE Computer Society, 1994, ISBN 0-8186-6380-4

Abstracts - Demonstrations

Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: AMPHION: Automatic Programming for Subroutine Libraries. 2
Kevin Benner: Knowledge-Based Software Assistant - Advanced Development Model Demonstrations. 3
Gordon Kotik, Lawrence Markosian: Application of REFINE Language Tools^TM to Software Quality Assurance. 4

Session 1 - Design

Martin S. Feather, Stephen Fickas: A Framework for Distributed System Designs. 6-13
Loren G. Terveen, Peter G. Selfridge: Intelligent Assistance for Software Construction: A Case Study. 14-21
Andreas Girgensohn, David F. Redmiles, Frank M. Shipman III: Agent-Based Support for Communication Between Developers and Users in Software Design. 22-29

Session 2 - Synthesis

Steven Minton, Shawn R. Wolfe: Using Machine Learning to Synthesize Search Programs. 31-38
Gordon S. Novak: Composing Reusable Software Components Through Views. 39-47
Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood: A Formal Approach to Domain-Oriented Software Design Environments. 48-57

Session 3 - Testing/Validation

John Chilenski, Philip Newcomb: Formal Specification Tools for Test Coverage Analysis. 59-68
Robert J. Hall: Systematic Incremental Validation of Rule-Based Reactive Systems. 69-78
Andrew Z. Tong, Gail E. Kaiser, Steven S. Popovich: A Flexible Rule-Chaining Engine for Process-Based Software Engineering. 79-88

Reuse

Jun-Jang Jeng, Betty H. C. Cheng: A Formal Approach to Reusing More General Components. 90-97
David Lauzon, Thomas Rose: Task Oriented and Similarity-Based Retrieval. 98-107
J. Christian Wild, Daniela Rosca: Evolution and Reuse of Formal Specification Using Decision Structures. 108-115

Session 5 - Program Understanding

Peter G. Selfridge, George T. Heineman: Graphical Support for Code-Level Software Understanding. 117-124
Alex Quilici, David N. Chin: A Cooperative Program Understanding Environment. 125-132
René Dekker, Frans Ververs: Abstract Data Structure Recognition. 133-140

Session 6 - Miscellaneous

Gregory Alan Bolcer: User Interface Design Assistance For Large-Scale Software Development. 142-149
Francoise Balmas: An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs. 150-157
Vincenzo Loia, Michel Quaggetto: Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language. 158-164

Session 7 - Process/Project Management

Barry W. Boehm, Prasanta K. Bose: Critical Success Factors for Knowledge-Based Software Engineering Applications. 166-171
Raymond J. Madachy: Knowledge-Based Risk Assessment and Cost Estimation. 172-178
Gregory A. Toth: Software Technology Risk Advisor. 179-188

Last update Mon May 20 23:57:30 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page