Travelled to:1 × Denmark
1 × Spain
1 × The Netherlands
Collaborated with:J.Bicarregui H.P.Haughton
Talks about:vdm (3) notat (2) use (2) postcondit (1) comparison (1) abstract (1) support (1) develop (1) reason (1) machin (1)
Person: Brian Ritchie
DBLP: Ritchie:Brian
Contributed to:
19941993
1991Wrote 4 papers:
- FME-1994-RitchieBH #automaton #case study #experience #using
- Experiences in Using the Abstract Machine Notation in a GKS Case Study (BR, JB, HPH), pp. 93–104.
- FME-1993-BicarreguiR #comparison #invariant
- Invariants, Frames and Postconditions: a Comparison of the VDM and B Notations (JB, BR), pp. 162–182.
- VDME-1991-BicarreguiR #reasoning #using
- Reasoning about VDM Developments using the VDM Support Tool in MURAL (JB, BR), pp. 371–388.