Abstract is missing.
- AMPHION: Automatic Programming for Subroutine LibrariesMichael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood. 2
- Knowledge-Based Software Assistant - Advanced Development Model DemonstrationsKevin Benner. 3
- Application of REFINE Language Tools:::TM::: to Software Quality AssuranceGordon Kotik, Lawrence Markosian. 4
- A Framework for Distributed System DesignsMartin S. Feather, Stephen Fickas. 6-13
- Intelligent Assistance for Software Construction: A Case StudyLoren G. Terveen, Peter G. Selfridge. 14-21
- Agent-Based Support for Communication Between Developers and Users in Software DesignAndreas Girgensohn, David F. Redmiles, Frank M. Shipman III. 22-29
- Using Machine Learning to Synthesize Search ProgramsSteven Minton, Shawn R. Wolfe. 31-38
- Composing Reusable Software Components Through ViewsGordon S. Novak. 39-47
- A Formal Approach to Domain-Oriented Software Design EnvironmentsMichael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood. 48-57
- Formal Specification Tools for Test Coverage AnalysisJohn Chilenski, Philip Newcomb. 59-68
- Systematic Incremental Validation of Rule-Based Reactive SystemsRobert J. Hall. 69-78
- A Flexible Rule-Chaining Engine for Process-Based Software EngineeringAndrew Z. Tong, Gail E. Kaiser, Steven S. Popovich. 79-88
- A Formal Approach to Reusing More General ComponentsJun-Jang Jeng, Betty H. C. Cheng. 90-97
- Task Oriented and Similarity-Based RetrievalDavid Lauzon, Thomas Rose. 98-107
- Evolution and Reuse of Formal Specification Using Decision StructuresJ. Christian Wild, Daniela Rosca. 108-115
- Graphical Support for Code-Level Software UnderstandingPeter G. Selfridge, George T. Heineman. 117-124
- A Cooperative Program Understanding EnvironmentAlex Quilici, David N. Chin. 125-132
- Abstract Data Structure RecognitionRené Dekker, Frans Ververs. 133-140
- User Interface Design Assistance For Large-Scale Software DevelopmentGregory Alan Bolcer. 142-149
- An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of ProgramsFrancoise Balmas. 150-157
- Integrating Object-Oriented Paradigms and Logic Programming: The OPLA LanguageVincenzo Loia, Michel Quaggetto. 158-164
- Critical Success Factors for Knowledge-Based Software Engineering ApplicationsBarry W. Boehm, Prasanta K. Bose. 166-171
- Knowledge-Based Risk Assessment and Cost EstimationRaymond J. Madachy. 172-178