Search Results - "Chapman, Roderick"

Co-Developing Programs and Their Proof of Correctness.

Authors: Chapman, Roderick Dross, Claire Matthews, Stuart et al.

Source: Communications of the ACM; Mar2024, Vol. 67 Issue 3, p84-94, 11p

What Can Agile Methods Bring to High-Integrity Software Development? Considering the issues and opportunities raised by Agile practices in the development of high-integrity software.

Authors: Chapman, Roderick White, Neil Woodcock, Jim

Source: Communications of the ACM; Oct2017, Vol. 60 Issue 10, p38-41, 4p, 1 Color Photograph, 1 Diagram