BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
1 × Spain
1 × USA
1 × United Kingdom
Collaborated with:
D.A.Carrington A.Metke-Jimenez K.Raymond L.Murray P.A.Strooper B.Brown M.Chalmers A.Galani C.Randell A.Steed
Talks about:
system (3) test (3) interact (2) specif (2) deriv (2) base (2) comparison (1) wikipedia (1) lighthous (1) framework (1)

Person: Ian MacColl

DBLP DBLP: MacColl:Ian

Contributed to:

KEOD 20102010
CHI 20032003
World Congress on Formal Methods 19991999
IFM 19991999
TOOLS Pacific 19991999

Wrote 5 papers:

KEOD-2010-Metke-JimenezRM #comparison #framework #ontology #wiki
Ontologies Derived from Wikipedia — A Framework for Comparison (AMJ, KR, IM), pp. 382–387.
CHI-2003-BrownMCGRS #artificial reality #collaboration #lessons learnt
Lessons from the lighthouse: collaboration in a shared mixed reality system (BB, IM, MC, AG, CR, AS), pp. 577–584.
FM-v2-1999-MacCollC #interactive #testing
A Model of Specification-Based Testing of Interactive Systems (IM, DAC), p. 1862.
IFM-1999-MacCollC #csp #interactive #specification
Specifying Interactive Systems in Object-Z and CSP (IM, DAC), pp. 335–352.
TOOLS-PACIFIC-1999-MurrayCMS #named #testing
TinMan — A Test Derivation and Management Tool for Specification-Based Class Testing (LM, DAC, IM, PAS), pp. 222–233.

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.