[go: up one dir, main page]

Tomiyama et al., 1991 - Google Patents

An experience with developing a design knowledge representation language

Tomiyama et al., 1991

Document ID
5519384934395233496
Author
Tomiyama T
Xue D
Ishida Y
Publication year
Publication venue
Intelligent CAD Systems III: Practical Experience and Evaluation

External Links

Snippet

This paper describes our experience with developing a design knowledge representation language named IDOL (Integrated Data Description Language) on the object-oriented language Smalltalk-BO. t IDOL is the kernel language of the IiICAD (Intelligent Integrated …
Continue reading at link.springer.com (other versions)

Classifications

    • 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
    • G06F9/4428—Object-oriented
    • 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/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • 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
    • G06F8/34—Graphical or visual programming
    • 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/46—Multiprogramming arrangements
    • 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
    • G06F8/35—Model driven
    • 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
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G—PHYSICS
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B19/00—Programme-control systems
    • G05B19/02—Programme-control systems electric
    • G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
    • 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
    • G05—CONTROLLING; REGULATING
    • G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
    • G05B2219/00—Program-control systems
    • G05B2219/30—Nc systems
    • 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

Similar Documents

Publication Publication Date Title
US4860204A (en) Computer based workstation for development of graphic representation of computer programs
Grosz et al. Modelling and Engineering the Requirements Engineering Process: an overview of the NATURE approach
Lai et al. FDL—a language for function description and rationalization in mechanical design
Abrett et al. The KREME knowledge editing environment
Fohn et al. A constraint-system shell to support concurrent engineering approaches to design
Lu et al. Formal modelling of a sheet metal smart manufacturing system by using Petri nets and first-order predicate logic
Bergmann Knowledge acquisition by generating skeletal plans from real world cases
Castillo et al. Formal modeling methodologies for control of manufacturing cells: Survey and comparison
Rybina et al. Use of intelligent planning for integrated expert systems development
Tomiyama et al. An experience with developing a design knowledge representation language
Sobolewski Multiagent knowledge-based environment for concurrent engineering applications
Bergmann Learning plan abstractions
Popken An object-oriented simulation environment for airbase logistics
Barford et al. Attribute grammars in constraint‐based graphics systems
Rybina et al. Intelligent software environment for integrated expert systems development
Guerrero et al. Designing lattices of truth degrees for fuzzy logic programming environments
Mizutani et al. Automatic Programming for Sequence Control.
Ambriola et al. Towards innovative software engineering environments
Puerta et al. Toward ontology-based frameworks for knowledge-acquisition tools
Namioka et al. Planning method used in visual programming for sequence-control program design with sequential function chart
Akman et al. Desirable functionalities of intelligent CAD systems
Lu et al. Zhenkun Zhang, Kai Chen & Xiaoping Liao
Eriksson et al. Conceptual models for automatic generation of knowledge-acquisition tools
Polak Framework for a knowledge-based programming environment
Serbanati Interform: a CAD system for program development