Structural refinement in Object-Z / CSP

DOI10.1007/3-540-40911-4_12MaRDI QIDQ4471918zbMATH OpenFDO

Authors John Derrick, Graeme Smith

Publication date 30 July 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450194.htm, https://kar.kent.ac.uk/21935/1/Structural_refinement_in_Object-Z__CSP.pdf

Mathematics Subject Classification ID

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

Recommendations

• Structural refinement of systems specified in Object-Z and CSP
• Refinement in Object-Z and CSP
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• Timed CSP and Object-Z
• Refinement in Z and object-Z. Foundations and advanced applications

Cited in

(12)

• Model transformations across views
• Refinement in Z and object-Z. Foundations and advanced applications
• Timed CSP and Object-Z
• Structuring real-time Object-Z specifications
• Refinement in Object-Z and CSP
• scientific article; zbMATH DE number 1569129 (Why is no real title available?)
• scientific article; zbMATH DE number 1569130 (Why is no real title available?)
• Fundamental Approaches to Software Engineering
• Changing system interfaces consistently: a new refinement strategy for CSP\(\|\)B
• Formal Methods for Components and Objects
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• Structural refinement of systems specified in Object-Z and CSP

This page was built for publication: Structural refinement in Object-Z / CSP

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