Laws of mission-based programming

DOI10.1007/s00165-014-0317-8zbMath1331.68054OpenAlexW2062730515MaRDI QIDQ2355382

Frank Zeyda, Ana Cavalcanti

Publication date: 23 July 2015

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://research.tees.ac.uk/en/publications/945d7b9e-e65a-493d-a5be-176ab3e9d3f8

zbMATH Keywords

modelsrefinementproofpatternsautomationCircuslawsSCJ

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• CirCUs
• ArcAngelC
• Z
• ZRC
• Circus

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Mechanised support for sound refinement tactics
• A tactic language for refinement of state-rich concurrent specifications
• From control law diagrams to Ada via \textsf{Circus}
• Compositional action system refinement
• A refinement strategy for Circus
• A process algebraic framework for specification and validation of real-time systems
• A UTP semantics for \textsf{Circus}
• A timed model for communicating sequential processes
• ZRC -- A refinement calculus for \(Z\)
• CSP theorems for communicating B machines
• Safety-critical Java programs from \textsf{Circus} models
• Complete Integer Decision Procedures as Derived Rules in HOL
• A sequential real-time refinement calculus

This page was built for publication: Laws of mission-based programming