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 × Australia
1 × Switzerland
Collaborated with:
A.S.M.Sajeev S.Ling H.W.Schmidt
Talks about:
interoper (1) framework (1) distribut (1) construct (1) softwar (1) system (1) specif (1) orient (1) object (1) formal (1)

Person: Rohan Fletcher

DBLP DBLP: Fletcher:Rohan

Contributed to:

TOOLS Pacific 19991999
Ada-Europe 19961996

Wrote 2 papers:

TOOLS-PACIFIC-1999-LingSF #component #distributed
Constructing Interoperable Components in Distributed Systems (SL, HWS, RF), p. 274–?.
AdaEurope-1996-FletcherS #framework #object-oriented #specification #testing #using
A Framework for Testing Object-Oriented Software Using Formal Specifications (RF, ASMS), pp. 159–170.

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.