E-LIB Suche - Ergebnisse für: Chapman, Roderick

1

Co-Developing Programs and Their Proof of Correctness:

Chapman, Roderick ; Dross, Claire ; Matthews, Stuart.
Communications of the ACM. 67 (2024) 3 - p. 84-94 , 2024

2

Formal verification: will the seedling ever flower?:

White, Neil ; Matthews, Stuart ; Chapman, Roderick
Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 375 (2017) 2104 - p. 1-14 , 2017

Link: https://www.jstor.org/st..

3

What can agile methods bring to high-integrity software dev..:

Chapman, Roderick ; White, Neil ; Woodcock, Jim
Communications of the ACM. 60 (2017) 10 - p. 38-41 , 2017

Link: https://doi.org/10.1145/..

4

What can agile methods bring to high-integrity software dev..:

Chapman, Roderick ; White, Neil ; Woodcock, Jim
Communications of the ACM. 60 (2017) 10 - p. 38-41 , 2017

Link: https://dl.acm.org/doi/1..

5

SPARK 2014 and GNATprove: A competition report from builder..:

Hoang, Duc ; Moy, Yannick ; Wallenburg, Angela.
International Journal on Software Tools for Technology Transfer. 17 (2014) 6 - p. 695-707 , 2014

Link: https://doi.org/10.1007/..

6

An Integrated Approach to High Integrity Software Verificat..:

Ireland, Andrew ; Ellis, Bill J. ; Cook, Andrew..
Journal of Automated Reasoning. 36 (2006) 4 - p. 379-410 , 2006

Link: https://doi.org/10.1007/..

7

Panellist Position Statement: Some Industrial Experience wi..:

Chapman, Roderick
Philosophical Transactions: Mathematical, Physical and Engineering Sciences. 363 (2005) 1835 - p. 2393-2394 , 2005

Link: https://www.jstor.org/st..

8

Enforcing security and safety models with an information fl..:

Chapman, Roderick ; Hilton, Adrian
ACM SIGAda Ada Letters. XXIV (2004) 4 - p. 39-46 , 2004

Link: https://doi.org/10.1145/..

9

Enforcing security and safety models with an information fl..:

, In: Proceedings of the 2004 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies,

Chapman, Roderick ; Hilton, Adrian - p. 39-46 , 2004

Link: https://dl.acm.org/doi/1..

10

Static verification and extreme programming:

Amey, Peter ; Chapman, Roderick
ACM SIGAda Ada Letters. XXIV (2003) 1 - p. 4-9 , 2003

Link: https://doi.org/10.1145/..

11

Static verification and extreme programming:

, In: Proceedings of the 2003 annual ACM SIGAda international conference on Ada: the engineering of correct and reliable software for real-time & distributed systems using ada and related technologies,

Amey, Peter ; Chapman, Roderick - p. 4-9 , 2003

Link: https://dl.acm.org/doi/1..

12

Industrial strength exception freedom:

Amey, Peter ; Chapman, Roderick
ACM SIGAda Ada Letters. XXIII (2002) 1 - p. 1-9 , 2002

Link: https://doi.org/10.1145/..

13

Industrial strength exception freedom:

, In: Proceedings of the 2002 annual ACM SIGAda international conference on Ada: The engineering of correct and reliable software for real-time & distributed systems using Ada and related technologies,

Amey, Peter ; Chapman, Roderick - p. 1-9 , 2002

Link: https://dl.acm.org/doi/1..

14

Industrial experience with SPARK:

Chapman, Roderick
ACM SIGAda Ada Letters. XX (2000) 4 - p. 64-68 , 2000

Link: https://dl.acm.org/doi/1..

15

Industrial experience with SPARK:

Chapman, Roderick
ACM SIGAda Ada Letters. XX (2000) 4 - p. 64-68 , 2000

Link: https://doi.org/10.1145/..