Zobrazeno 1 - 10
of 50
pro vyhledávání: '"Chapman, Roderick"'
Autor:
Chapman, Roderick1 (AUTHOR) rodchap@amazon.co.uk, Dross, Claire2 (AUTHOR), Matthews, Stuart3 (AUTHOR), Moy, Yannick2 (AUTHOR)
Publikováno v:
Communications of the ACM. Mar2024, Vol. 67 Issue 3, p84-94. 11p.
Publikováno v:
Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2017 Oct . 375(2104), 1-14.
Externí odkaz:
https://www.jstor.org/stable/44678577
Autor:
Chapman, Roderick1 (AUTHOR) rod@proteancode.com, White, Neil2 (AUTHOR) neil.white@altran.com, Woodcock, Jim3 (AUTHOR) jim.woodcock@york.ac.uk
Publikováno v:
Communications of the ACM. Oct2017, Vol. 60 Issue 10, p38-41. 4p. 1 Color Photograph, 1 Diagram.
Autor:
Chapman, Roderick
Publikováno v:
Philosophical Transactions: Mathematical, Physical and Engineering Sciences, 2005 Oct . 363(1835), 2393-2394.
Externí odkaz:
https://www.jstor.org/stable/30039734
Considering the issues and opportunities raised by Agile practices in the development of high-integrity software.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=core_ac_uk__::ceb956854ecbd7d411a5f6fe5f37a63c
https://eprints.whiterose.ac.uk/149317/1/cacm_16_03_2507_File001.pdf
https://eprints.whiterose.ac.uk/149317/1/cacm_16_03_2507_File001.pdf
Autor:
Amey, Peter, Chapman, Roderick
Publikováno v:
Proceedings of the 2003 Annual ACM SIGADA International Conference: Ada; 12/ 7/2003, p4-9, 6p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Chapman, Roderick, Schanda, Florian
Publikováno v:
Interactive Theorem Proving (9783319089690); 2014, p17-26, 10p
Autor:
Hall, Anthony, Chapman, Roderick
Publikováno v:
IEEE Software. Jan/Feb2002, Vol. 19 Issue 1, p18. 8p. 2 Diagrams, 1 Chart.