Combining the box structure development method and CSP for software development

MaRDI QIDQ2848418zbMATH OpenFDO

Authors Philippa J. Hopcroft, Guy H. Broadfoot

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105002409

Mathematics Subject Classification ID

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

Recommendations

• Communicating Sequential Processes. The First 25 Years
• csp2B: A practical approach to combining CSP and B
• FM 2005: Formal Methods
• Integrating a formal method into a software engineering process with UML and Java
• Formal methods and software development. Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, March 25-29, 1985. Volume 2: Colloquium on Software Engineering (CSE)

Cited in

(4)

• Applying string-rewriting to sequence-based specification
• An axiom system for sequence-based specification
• Slow abstraction via priority
• Process algebra and model checking

This page was built for publication: Combining the box structure development method and CSP for software development

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