scientific article; zbMATH DE number 2079816

MaRDI QIDQ4471918zbMATH OpenFDO

Authors John Derrick, Graeme Smith

Publication date 30 July 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/1945/19450194.htm

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
• scientific article; zbMATH DE number 2086954
• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• scientific article; zbMATH DE number 2013589
• scientific article; zbMATH DE number 1615985

Cited in

(12)

• Model transformations across views
• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 2013589 (Why is no real title available?)
• scientific article; zbMATH DE number 2079811 (Why is no real title available?)
• scientific article; zbMATH DE number 2086954 (Why is no real title available?)
• 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:

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