[go: up one dir, main page]

Fouque et al., 1993 - Google Patents

Compositional software reuse with case-based reasoning

Fouque et al., 1993

Document ID
7746344739245844105
Author
Fouque G
Matwin S
Publication year
Publication venue
Proceedings of 9th IEEE Conference on Artificial Intelligence for Applications

External Links

Snippet

Case-based reasoning can be applied to software reuse. The approach presented goes beyond furnishing a library of potentially reusable modules and provides a tool that supports the process of reusing software. It uses case-based reasoning to add flexibility and …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/43—Checking; Contextual analysis
    • G06F8/436—Semantic checking
    • G06F8/437—Type checking
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G06F17/30286—Information retrieval; Database structures therefor; File system structures therefor in structured data stores
    • G06F17/30386—Retrieval requests
    • G06F17/30389—Query formulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3604—Software analysis for verifying properties of programs
    • G06F11/3608—Software analysis for verifying properties of programs using formal methods, e.g. model checking, abstract interpretation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/51—Source to source
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/74—Reverse engineering; Extracting design information from source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G06F9/44—Arrangements for executing specific programmes
    • G06F9/4421—Execution paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/04—Inference methods or devices
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass

Similar Documents

Publication Publication Date Title
CN117806980B (en) Automatic test case generating device based on large language model
Visser et al. Building program optimizers with rewriting strategies
Dromey A model for software product quality
Troya et al. A Rewriting Logic Semantics for ATL.
van Heijst et al. Using generalised directive models in knowledge acquisition
Doukidis An anthology on the homology of simulation with artificial intelligence
Fouque et al. Compositional software reuse with case-based reasoning
Tichy What can software engineers learn from artificial intelligence?
Broy Experiences with software specification and verification using LP, the Larch proof assistant
Esteva et al. Identifying reusable software components by induction
Fehlmann et al. The fixpoint combinator in combinatory logic-A step towards autonomous real-time testing of software
Harhalakis et al. Implementation of rule-based information systems for integrated manufacturing
Rajan et al. Welding Natural Language Queries to Analytics IRs with LLMs.
Kontogiannis et al. Localization of design concepts in legacy systems
Rus Algebraic processing of programming languages
Xiong et al. A combinatorial identities benchmark for theorem proving via automated theorem generation
Leung et al. Parsimony: An IDE for example-guided synthesis of lexers and parsers
Szeider Cp-agent: Agentic constraint programming
Hasegawa et al. Parallel Theorem Provers and Their Applications.
Harn Computer-aided software evolution based on inferred dependencies
Wasserman Software tools and the user software engineering project
Weigl Formal Specification and Verification for Automated Production Systems
Dong et al. A tools environment for developing and reasoning about ontologies
Mukhoid et al. Selection of the Optimal Software for Designing Expert Systems
Nabizada et al. Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants