Combining the box structure development method and CSP for software development

zbMATH Open1272.68111MaRDI QIDQ2848418FDOQ2848418

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

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)

Mathematics Subject Classification ID

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

Cited In (4)

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

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)