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

DOI10.1016/J.SCICO.2010.08.001MaRDI QIDQ549684zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• The behavioural semantics of Event-B refinement
• Introducing extra operations in refinement
• scientific article; zbMATH DE number 1487745
• scientific article; zbMATH DE number 2079816

Cites work

• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 108007 (Why is no real title available?)
• scientific article; zbMATH DE number 3574936 (Why is no real title available?)
• scientific article; zbMATH DE number 2013580 (Why is no real title available?)
• CSP theorems for communicating B machines
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• Engineering and theoretical underpinnings of retrenchment
• Handbook of process algebra
• Modeling in Event B. System and software engineering.
• Recursion induction for real-time processes
• The B-Book
• csp2B: A practical approach to combining CSP and B

Cited in

(7)

• scientific article; zbMATH DE number 2013598 (Why is no real title available?)
• scientific article; zbMATH DE number 2227867 (Why is no real title available?)
• Introducing extra operations in refinement
• Refinement patterns for ASTDs
• The behavioural semantics of Event-B refinement
• External and internal choice with event groups in Event-B
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

Describes a project that uses

Uses Software

• csp2B
• Rodin

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549684)