ASE 1994
24 papers
- A Cooperative Program Understanding Environment
- A Flexible Rule-Chaining Engine for Process-Based Software Engineering
- A Formal Approach to Domain-Oriented Software Design Environments
- A Formal Approach to Reusing More General Components
- A Framework for Distributed System Designs
- AMPHION: Automatic Programming for Subroutine Libraries
- Abstract Data Structure Recognition
- Agent-Based Support for Communication Between Developers and Users in Software Design
- An Augmented Pattern Matcher as a Tool to Synthesize Conceptual Descriptions of Programs
- Application of REFINE Language ToolsTM to Software Quality Assurance
- Composing Reusable Software Components Through Views
- Critical Success Factors for Knowledge-Based Software Engineering Applications
- Evolution and Reuse of Formal Specification Using Decision Structures
- Formal Specification Tools for Test Coverage Analysis
- Graphical Support for Code-Level Software Understanding
- Integrating Object-Oriented Paradigms and Logic Programming: The OPLA Language
- Intelligent Assistance for Software Construction: A Case Study
- Knowledge-Based Risk Assessment and Cost Estimation
- Knowledge-Based Software Assistant - Advanced Development Model Demonstrations
- Software Technology Risk Advisor
- Systematic Incremental Validation of Rule-Based Reactive Systems
- Task Oriented and Similarity-Based Retrieval
- User Interface Design Assistance For Large-Scale Software Development
- Using Machine Learning to Synthesize Search Programs