Laws of mission-based programming
type: Item
instance of: scholarly article
title: Laws of mission-based programming
zbMATH Open document ID: 1331.68054
author: Frank Zeyda
author: Ana Cavalcanti
published in: Formal Aspects of Computing
publication date: 2015-07-23T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 6463407
zbMATH Keywords: SCJ
zbMATH Keywords: models
zbMATH Keywords: refinement
zbMATH Keywords: laws
zbMATH Keywords: patterns
zbMATH Keywords: automation
zbMATH Keywords: proof
zbMATH Keywords: Circus
describes a project that uses: CirCUs
describes a project that uses: ZRC
describes a project that uses: Z
describes a project that uses: ArcAngelC
describes a project that uses: Circus
MaRDI profile type: Publication
OpenAlex ID: W2062730515
cites work: Q3569584
cites work: Q5294155
cites work: ZRC -- A refinement calculus for \(Z\)
cites work: Compositional action system refinement
cites work: From control law diagrams to Ada via \textsf{Circus}
cites work: A timed model for communicating sequential processes
cites work: A refinement strategy for Circus
cites work: Safety-critical Java programs from \textsf{Circus} models
cites work: A tactic language for refinement of state-rich concurrent specifications
cites work: A sequential real-time refinement calculus
cites work: Q4301161
cites work: Complete Integer Decision Procedures as Derived Rules in HOL
cites work: A UTP semantics for \textsf{Circus}
cites work: A process algebraic framework for specification and validation of real-time systems
cites work: CSP theorems for communicating B machines
cites work: Q4301167
cites work: Mechanised support for sound refinement tactics
DOI: 10.1007/S00165-014-0317-8
description: scientific article