Abstract specification in Object-Z and CSP

MaRDI QIDQ4412485zbMATH OpenFDO

Authors Graeme Smith, John Derrick

Publication date 15 July 2003

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

Mathematics Subject Classification ID

Theory of software (68N99) Specification and verification (program logics, model checking, etc.) (68Q60) Computing methodologies and applications (68U99)

Recommendations

• Specification, refinement and verification of concurrent systems -- an integration of Object-\(Z\) and \(CSP\)
• Combining component specifications in Object-Z and CSP.
• Structural refinement of systems specified in Object-Z and CSP
• Specifying interactive systems in Object-Z and CSP
• Timed CSP and Object-Z

Cited in

(7)

• Relational concurrent refinement. II: Internal operations and outputs
• Specification and (property) inheritance in CSP-OZ
• scientific article; zbMATH DE number 3926214 (Why is no real title available?)
• Specifying interactive systems in Object-Z and CSP
• A CSP abstraction framework
• Refinement in Object-Z and CSP
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)

This page was built for publication: Abstract specification in Object-Z and CSP

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