Travelled to:1 × France
1 × Latvia
Collaborated with:∅ L.B.A.Rabai M.Frappier R.Mili A.Mili
Talks about:base (2) transform (1) program (1) process (1) inspect (1) generat (1) develop (1) automat (1) output (1) verif (1)
Person: Douglas R. Skuce
DBLP: Skuce:Douglas_R=
Contributed to:
1994
1982Wrote 2 papers:
- SEKE-1994-ArfaFMMS #process #verification
- A process for verification based inspections (LBAR, MF, RM, AM, DRS), pp. 100–107.
- ILPC-1982-Skuce82 #automation #development #generative #program transformation
- Module Development Based on Program Transformation and Automatic Generation of the Input-output Relation (DRS), pp. 116–122.