Conferences in DBLP

Automated Software Engineering (ASE) (kbse)
1994 (conf/kbse/1994)

1. Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
   AMPHION: Automatic Programming for Subroutine Libraries. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:2- [Conf]
   
2. Kevin Benner
   Knowledge-Based Software Assistant - Advanced Development Model Demonstrations. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:3- [Conf]
   
3. Gordon Kotik, Lawrence Markosian
   Application of REFINE Language Tools^TM to Software Quality Assurance. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:4- [Conf]
   
4. Martin S. Feather, Stephen Fickas
   A Framework for Distributed System Designs. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:6-13 [Conf]
   
5. Loren G. Terveen, Peter G. Selfridge
   Intelligent Assistance for Software Construction: A Case Study. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:14-21 [Conf]
   
6. Andreas Girgensohn, David F. Redmiles, Frank M. Shipman III
   Agent-Based Support for Communication Between Developers and Users in Software Design. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:22-29 [Conf]
   
7. Steven Minton, Shawn R. Wolfe
   Using Machine Learning to Synthesize Search Programs. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:31-38 [Conf]
   
8. Gordon S. Novak
   Composing Reusable Software Components Through Views. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:39-47 [Conf]
   
9. Michael R. Lowry, Andrew Philpot, Thomas Pressburger, Ian Underwood
   A Formal Approach to Domain-Oriented Software Design Environments. [Citation Graph (0, 0)][DBLP]
   KBSE, 1994, pp:48-57 [Conf]
   
10. John Chilenski, Philip Newcomb
    Formal Specification Tools for Test Coverage Analysis. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:59-68 [Conf]
    
11. Robert J. Hall
    Systematic Incremental Validation of Rule-Based Reactive Systems. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:69-78 [Conf]
    
12. Andrew Z. Tong, Gail E. Kaiser, Steven S. Popovich
    A Flexible Rule-Chaining Engine for Process-Based Software Engineering. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:79-88 [Conf]
    
13. Jun-Jang Jeng, Betty H. C. Cheng
    A Formal Approach to Reusing More General Components. [Citation Graph (1, 0)][DBLP]
    KBSE, 1994, pp:90-97 [Conf]
    
14. David Lauzon, Thomas Rose
    Task Oriented and Similarity-Based Retrieval. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:98-107 [Conf]
    
15. J. Christian Wild, Daniela Rosca
    Evolution and Reuse of Formal Specification Using Decision Structures. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:108-115 [Conf]
    
16. Peter G. Selfridge, George T. Heineman
    Graphical Support for Code-Level Software Understanding. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:117-124 [Conf]
    
17. Alex Quilici, David N. Chin
    A Cooperative Program Understanding Environment. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:125-132 [Conf]
    
18. René Dekker, Frans Ververs
    Abstract Data Structure Recognition. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:133-140 [Conf]
    
19. Gregory Alan Bolcer
    User Interface Design Assistance For Large-Scale Software Development. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:142-149 [Conf]
    
20. Francoise Balmas
    An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:150-157 [Conf]
    
21. Vincenzo Loia, Michel Quaggetto
    Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:158-164 [Conf]
    
22. Barry W. Boehm, Prasanta K. Bose
    Critical Success Factors for Knowledge-Based Software Engineering Applications. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:166-171 [Conf]
    
23. Raymond J. Madachy
    Knowledge-Based Risk Assessment and Cost Estimation. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:172-178 [Conf]
    
24. Gregory A. Toth
    Software Technology Risk Advisor. [Citation Graph (0, 0)][DBLP]
    KBSE, 1994, pp:179-188 [Conf]