Travelled to:1 × Germany
1 × Italy
Collaborated with:∅ P.D.Wu
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: Cardell-Oliver:Rachel
Contributed to:
2011
2002
1991Wrote 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.