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

DOI10.1016/J.SCICO.2010.08.001zbMATH Open1221.68062OpenAlexW2206868660WikidataQ60173580 ScholiaQ60173580MaRDI QIDQ549684FDOQ549684

S. A. Schneider, Helen Treharne

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• csp2B: A practical approach to combining CSP and B
• Title not available (Why is that?)
• Title not available (Why is that?)
• CSP theorems for communicating B machines
• Handbook of process algebra
• Title not available (Why is that?)
• The B-Book
• Title not available (Why is that?)
• Engineering and theoretical underpinnings of retrenchment
• Title not available (Why is that?)
• Recursion induction for real-time processes
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B
• Title not available (Why is that?)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Refinement patterns for ASTDs
• Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B

Uses Software

• Rodin
• csp2B

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)