Travelled to:1 × Portugal
1 × South Africa
1 × USA
Collaborated with:B.W.Watson R.L.Engelbrecht E.K.Ngassam T.Runge I.Schaefer L.Cleophas T.Thüm
Talks about:preliminari (1) smalltalk (1) construct (1) translat (1) automata (1) support (1) softwar (1) hardcod (1) correct (1) experi (1)
Person: Derrick G. Kourie
DBLP: Kourie:Derrick_G=
Contributed to:
2010
2003
1998
2019Wrote 4 papers:
- ICSE-2010-KourieW #re-engineering
- Software engineering in South Africa (DGK, BWW), pp. 323–324.
- CIAA-2003-NgassamWK #automaton #finite
- Preliminary Experiments in Hardcoding Finite Automata (EKN, BWW, DGK), pp. 299–300.
- CC-1998-EngelbrechtK #java #smalltalk
- Issues in Translating Smalltalk into Java (RLE, DGK), pp. 249–263.
- FASE-2019-RungeSCTKW #tool support
- Tool Support for Correctness-by-Construction (TR, IS, LC, TT, DGK, BWW), pp. 25–42.