Searching for authors named "Roderick Chapman" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
SPARK - A state-of-the-practice approach to the Common Criteria implementation requirements
- … requirements Roderick Chapman Praxis Critical Systems Limited, 20 Manvers Street, Bath BA1 1PX, U.K. +44 1225…
- Add To MetaCart
-
WORST-CASE TIMING Analysis Via Finding Longest PATHS IN SPARK Ada BASIC-PATH GRAPHS
- …WORST-CASE TIMING ANALYSIS VIA FINDING LONGEST PATHS IN SPARK ADA BASIC-PATH GRAPHS Roderick…
- Cited by 8 (0 self) – Add To MetaCart
-
Industrial Experience with SPARK
- …Industrial Experience with SPARK Roderick Chapman Praxis Critical Systems Limited, 20 Manvers…
- Cited by 6 (0 self) – Add To MetaCart
-
Program Timing Analysis
- …Program timing analysis Roderick Chapman Dependable Computing Systems Centre University of York…
- Cited by 1 (0 self) – Add To MetaCart
-
Enforcing security and safety models with an information flow analysis tool
- …Enforcing Security and Safety Models with an Information Flow Analysis Tool ABSTRACT Roderick…
- Cited by 8 (1 self) – Add To MetaCart
-
Industrial strength exception freedom
- …Industrial Strength Exception Freedom Peter Amey, Roderick Chapman Publication notes ACM COPYRIGHT…
- Cited by 8 (4 self) – Add To MetaCart
-
Static Verification and Extreme Programming
- …Static Verification and Extreme Programming Peter Amey, Roderick Chapman Publication notes © ACM…
- Cited by 2 (0 self) – Add To MetaCart
-
Correctness by Construction: Developing a Commercial Secure System
- … and Roderick Chapman, Praxis Critical Systems PraxisCritic7 Systems recems, developed asec99 Certific200…
- Cited by 38 (2 self) – Add To MetaCart
-
Worst-case timing analysis of exception handling in Ada
- …Worst-case timing analysis of exception handling in Ada Roderick Chapman, Alan Burns, Andy…
- Cited by 2 (1 self) – Add To MetaCart
-
Integrated program proof and worst-case timing analysis of SPARK Ada.
- …Integrated program proof and worst-case timing analysis of SPARK Ada. Roderick Chapman Alan Burns…
- Cited by 37 (7 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
