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 × Germany
1 × Italy
Collaborated with:
Talks about:
time (2) real (2) distribut (1) protocol (1) programm (1) support (1) softwar (1) conform (1) system (1) metric (1)

Person: Rachel Cardell-Oliver

DBLP DBLP: Cardell-Oliver:Rachel

Contributed to:

ITiCSE 20112011
ISSTA 20022002
TAPSOFT, Vol.2: CCPSD 19911991

Wrote 3 papers:

ITiCSE-2011-Cardell-OliverW #java #metric #tool support
UWA Java tools: harnessing software metrics to support novice programmers (RCO, PDW), p. 341.
ISSTA-2002-Cardell-Oliver #consistency #distributed #realtime
Conformance test experiments for distributed real-time systems (RCO), pp. 159–163.
CCPSD-1991-Cardell-Oliver #higher-order #logic #modelling #protocol #realtime #using
Using Higher Order Logic for Modelling Real-Time Protocols (RCO), pp. 259–282.

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.