Set-Theoretic Models of Computations

DOI10.1007/978-3-642-39698-4_1zbMath1390.68297OpenAlexW48592798MaRDI QIDQ2842623

Jean-Raymond Abrial

Publication date: 16 August 2013

Published in: Theories of Programming and Formal Methods (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-39698-4_1

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Applications of set theory (03E75) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Rodin

Cites Work

• A theoretical basis for stepwise refinement and the programming calculus
• Data refinement of predicate transformers
• Distributed cooperation with action systems
• Programs, Recursion and Unbounded Choice
• Guarded commands, nondeterminacy and formal derivation of programs
• The B-Book
• The specification statement
• An axiomatic basis for computer programming
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Set-Theoretic Models of Computations