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: Fletcher:Rohan
Contributed to:
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.