Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B

DOI10.1016/j.scico.2010.08.001zbMath1221.68062OpenAlexW2206868660WikidataQ60173580 ScholiaQ60173580MaRDI QIDQ549684

Helen Treharne, S. A. Schneider

Publication date: 18 July 2011

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2010.08.001

zbMATH Keywords

action refinementCSP\(\|\)Bintegrating formal methodsinterface refinement

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Refinement patterns for ASTDs

Uses Software

• Rodin
• csp2B

Cites Work

• Engineering and theoretical underpinnings of retrenchment
• Recursion induction for real-time processes
• CSP theorems for communicating B machines
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• The B-Book
• csp2B: A practical approach to combining CSP and B
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B