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.

Subjects: SPARK (Computer program language), Programming languages, Electronic data processing, Computer programming, Computer software development, Computer software correctness

Correctness by construction: developing a commercial secure system.

Authors: Hall, Anthony Chapman, Roderick

Source: IEEE Software; Jan/Feb2002, Vol. 19 Issue 6, p18-25, 8p

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.

Subjects: Agile manufacturing systems, Computer software development, Embedded computer systems, Profitability, Flexible manufacturing systems

Correctness by Construction: A Manifesto for High-Integrity Software.

Authors: Croxford, Martin Chapman, Roderick

Source: CrossTalk: The Journal of Defense Software Engineering. Dec2005, Vol. 18 Issue 12, p5-8. 4p. 1 Chart, 1 Graph.

Subjects: Computer software, Electronic systems, Best practices, Benchmarking (Management), Computer software industry

SPARK 2014 and GNATprove.

Authors: Hoang, Duc Moy, Yannick Wallenburg, Angela et al.

Source: International Journal on Software Tools for Technology Transfer; Nov2015, Vol. 17 Issue 6, p695-707, 13p

Static timing analysis and program proof

Authors: Chapman, Roderick

URL: http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.261100

Formal verification: will the seedling ever flower?

Authors: White N Matthews S Chapman R

Source: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences [Philos Trans A Math Phys Eng Sci] 2017 Oct 13; Vol. 375 (2104).

Publication Type: Journal Article

Journal Info: Publisher: The Royal Society Country of Publication: England NLM ID: 101133385 Publication Model: Print Cited Medium: Print ISSN: 1364-503X (Print) Linking ISSN: 1364503X NLM ISO Abbreviation: Philos Trans A Math Phys Eng Sci Subsets: PubMed not MEDLINE

Panellist position statement: some industrial experience with program verification.

Authors: Chapman R; Praxis High Integrity Systems. rod.chapman@praxis-his.com

Source: Philosophical transactions. Series A, Mathematical, physical, and engineering sciences [Philos Trans A Math Phys Eng Sci] 2005 Oct 15; Vol. 363 (1835), pp. 2393-4.

Publication Type: Journal Article

Journal Info: Publisher: The Royal Society Country of Publication: England NLM ID: 101133385 Publication Model: Print Cited Medium: Print ISSN: 1364-503X (Print) Linking ISSN: 1364503X NLM ISO Abbreviation: Philos Trans A Math Phys Eng Sci Subsets: MEDLINE