Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID9th 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. KBSE 1994: 3 - Gordon Kotik, Lawrence Markosian:
Application of REFINE Language ToolsTM 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:26 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
