[go: up one dir, main page]

Mauw et al., 1990 - Google Patents

A process specification formalism

Mauw et al., 1990

View PDF
Document ID
16562251054218186663
Author
Mauw S
Veltink G
Publication year
Publication venue
Fundamenta Informaticae

External Links

Snippet

Traditional methods for programming sequential machines are inadequate for specifying parallel systems. Because debugging of parallel programs is hard, due to eg non- deterministic execution, verification of program correctness becomes an even more …
Continue reading at orbilu.uni.lu (PDF) (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
    • 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
    • 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/40—Transformations of program code
    • G06F8/41—Compilation
    • 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
    • G06F17/27—Automatic analysis, e.g. parsing
    • G06F17/2705—Parsing
    • 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/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • 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
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design

Similar Documents

Publication Publication Date Title
Mauw et al. A process specification formalism
De Roever et al. Compositionality: The Significant Difference: International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures
Davis A comparison of techniques for the specification of external system behavior
Holzmann Design and validation of protocols: a tutorial
Jussila et al. Model checking dynamic and hierarchical UML state machines
Khamespanah et al. Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Lausdahl et al. Semantics of the VDM real-time dialect
Öberg ProGram: A grammar-based method for specification and hardware synthesis of communication protocols
Harper et al. Implementation issues in the development of the PARSEC parser
Visser Efficient CTL* model checking using games and automata
Bertolotti et al. Model-based design languages: A case study
Goldman Distributed algorithm simulation using input/output automata
D'Osualdo Verification of message passing concurrent systems
Constable The role of finite automata in the development of modern computing theory
Akella et al. hopcp: A concurrent hardware description language
Schoolderman Verification of Goroutines using Why3
Cledou et al. Api generation for multiparty session types, revisited and revised using scala 3 (full version)
Jebali Formal framework for modelling and verifying globally asynchronous locally synchronous systems
Luo et al. Collective Contracts for Message-Passing Parallel Programs
AlTurki et al. Rewriting logic semantics of Orc
Cansell et al. Event B
Dehkhoda A specification environment that supports the prototyping of distributed systems using an object-oriented model
Betis Object Programming: Linear Logic and Java
Herbreteau et al. Application of partial-order methods to reactive programs with event memorization
Hesketh Synthesis and axiomatisation for structural equivalences in the Petri Box Calculus