BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Ritchie:Brian

Contributed to:

FME 19941994
FME 19931993
VDM Europe (1) 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.