Searching for authors named "Brian Ritchie" – sorted by Relevance.
5 documents found, showing 1 through 5.
-
Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations
- … and Brian Ritchie Abstract--- VDM and B are two "model-oriented" formal methods. Each gives a notation…
- Cited by 18 (5 self) – Add To MetaCart
-
Synthesising Structure From Flat Specifications
- …Synthesising structure from flat specifications Brian Matthews, Brian Ritchie, and Juan Bicarregui…
- Cited by 8 (7 self) – Add To MetaCart
-
Return to the Theorem Prover’s House: Application of the Learning Grid to Formal Methods
- … Bicarregui, Damian Mac Randal, Brian Matthews, Brian Ritchie CCLRC Rutherford Appleton Laboratory 1…
- Cited by 1 (0 self) – Add To MetaCart
-
Supporting Co-use of VDM and B by Translation
- … Dimitrakos 1 , Kevin Lano 2 , Tom Maibaum 2 , Brian Matthews 1 , and Brian Ritchie 1 1 Rutherford…
- Cited by 1 (0 self) – Add To MetaCart
-
Office Of Inspector General
- … Tricia Davis Judith V. Tyler Brian Ritchie Nancy Watts Barbara Tedesco To obtain a copy of this report…
- Add To MetaCart
Showing 1 through 5.
