Ross, 1970 - Google Patents

Uniform referents: An essential property for a software engineering language

Ross, 1970

View PDF
Document ID
11129824864728107710
Author
Ross D
Publication year
Publication venue
Software engineering

External Links

Continue reading at vandyke.mynetgear.com (PDF) (other versions)

Classifications

    • 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
    • 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
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5045—Circuit design
    • 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
    • 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
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • 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/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F7/00—Methods or arrangements for processing data by operating upon the order or content of the data handled
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F15/00—Digital computers in general; Data processing equipment in general
    • G06F15/76—Architectures of general purpose stored programme computers
    • 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
Balzer Transformational implementation: An example
Van den Brand et al. Generation of components for software renovation factories from context-free grammars
US4860204A (en) Computer based workstation for development of graphic representation of computer programs
Simon Experiments with a heuristic compiler
Bonczek et al. The DSS development system
Hulgaard et al. Equivalence checking of combinational circuits using boolean expression diagrams
Kruchten et al. Software prototyping using the SETL programming language
Barstow A knowledge-based system for automatic program construction.
Ross Uniform referents: An essential property for a software engineering language
Gehring et al. The trianus system and its application to custom computing
Orlowska et al. Relational Methods for Computer Science Applications
Ghiaseddin An environment for development of decision support systems
Malan CS50
Chu et al. Three decades of HDLs. I. CDL through TI-HDL
Munnecke et al. MUMPS: Characteristics and comparisons with other programming systems
Dennis et al. Data flow computer architecture
Ceri et al. Software prototyping by relational techniques: experiences with program construction systems
Brady et al. Efficient CAD development for emerging technologies using Objective-C and Cocoa
Madeira et al. Incremental evaluation of BDD-represented set operators
Burgués et al. Evaluation of expressions in a multiparadigm framework
Pfeiffer et al. The Conceptual Programming Environment, CP: Reasoning Representation using Graph Structures and Operations.
Cugini et al. Using features as knowledge formalization for simultaneous engineering
Elbourn et al. The evolution of concepts and languages of computing
Biermann Automatic insertion of indexing instructions in program synthesis
Panfilov et al. SIMULATION MODELING ENVIRONMENT FOR COMPLEX DATA DRIVEN DISTRIBUTED SYSTEMS DESIGN.