3,458 papers · page 167 of 173
In order to model software processes based on ontologies engineering techniques, this paper presents a methodology to manually construct the following ontologies: an object ontology based on constituent elements for objects, and a process ontology based on relationships between i…
This paper describes how the Knowledge-Based Software Assistant/Advanced Development Model brings together technologies from the KBSE domain along with more traditional software engineering practices in order to address the pervasive software development problems associated with …
We present a method and its implementation in the GAP system for the automatic generation of filtering algorithms. The evaluation of left-hand sides of rules relies on the matching of condition elements with working memory elements. The filtering is the inference engine phase tha…
We describe an approach which allows us to acquire, represent and manage fine-grained causal dependencies between products. These dependencies are basically derived automatically from a software process model. By representing causal dependencies and their rationales, the traceabi…
Computational science and engineering design can benefit from software tools that facilitate construction of programs for simulating physical systems. Our research adapts the methodology of deductive program synthesis to the problem of synthesizing numerical simulation codes. We …
We describe the synthesis of efficient schedulers for planned shutdowns of power plants for refueling and maintenance (outages), using an automated programming tool, KIDS. Currently, the utility industry has no automated tools to generate schedules that are both safe and resource…
Algebraic techniques have been applied successfully to algorithm synthesis by the use of algorithm theories and design tactics, an approach pioneered in the KIDS system but described and implemented only partly in algebraic terms. Local search is an effective and popular algorith…
The assistant interface metaphor has the potential to shield the human user from low-level, task-specific details, while allowing the automation of the many idiosyncratic, mundane tasks falling between the capabilities of commercial software packages. However, a user will not wil…
We describe a program restructuring tool under development. The tool is constructed using program transformations executed by the TAMPR program transformation system. We discuss the knowledge embodied in the transformations and how they restructure an example COBOL program develo…
Evaluation and debugging of AI systems require coherent views of program performance and behavior. We have developed a family of methods, called Dependency Detection, for analyzing execution traces for small patterns. Unfortunately, these methods provide only a local view of prog…
Systems for automated design optimization of complex real-world objects can, in principle, be constructed by combining domain-independent numerical routines with existing domain-specific analysis and simulation programs. Unfortunately, such "legacy" analysis codes are frequently …
The insertion of formal techniques into the daily practice of software engineering definitely improves the quality of specifications. An approach is proposed where semi-formal specifications are translated into the formal specification language Z and enriched by formal annotation…
Program understanding is often viewed as the task of extracting plans and design goals from program source. As such, it is natural to try to apply standard AI plan recognition techniques to the program understanding problem. Yet program understanding researchers have quietly, but…
Domain-oriented design environments are cooperative problem-solving systems that support designers in complex design tasks. We present the facilities and architecture of Argo, a domain-oriented design environment for software architecture. Argo's architecture is motivated by the …
This paper details a case study of trade-off design in software synthesis. Domain-oriented software synthesis technology enables software designers to encode their own specific knowledge of software design into transformation rules. Thus, generated software is optimal and actuall…
Understanding an existing program includes the analysis of the program code, as, very often, the program code is the only reliable source of information about the program. Many code analysis tools offer the user a possibility to examine the program code through a predefined set o…
We describe an application of knowledge-based program synthesis techniques to a challenging geometric constraint satisfaction problem. We describe characteristics of the problem domain that make it a good candidate for automated program synthesis, discuss the benefits and limitat…
Cost-effective engineering and evolution of complex software must involve the different stakeholders concurrently and collaboratively. The hard problem is providing computer support for such collaborative activities. The WinWin approach being developed and experimented at the USC…
Classifying software modules in a component library is a major problem in software reuse. Indexing criteria must adequately reflect the semantics of the components. This must be done without undue effort in either classifying the software, or developing "queries" to find candidat…
Although techniques for using formal specifications have been progressing, methods for developing formal specifications themselves have improved little. To alleviate this problem, we propose a parallel refinement approach to specification acquisition where the designer uses an ob…