Travelled to:1 × Germany
1 × United Kingdom
Collaborated with:J.J.Comuzzi A.Pizzarello
Talks about:precondit (1) weakest (1) scalabl (1) program (1) process (1) correct (1) system (1) slice (1) autom (1) year (1)
Person: Johnson M. Hart
DBLP: Hart:Johnson_M=
Contributed to:
1996
1996Wrote 2 papers:
- FME-1996-ComuzziH #slicing #using
- Program Slicing Using Weakest Preconditions (JJC, JMH), pp. 557–575.
- ICSE-1996-HartP #automation #process #scalability
- A Scalable, Automated Process for Year 2000 System Correction (JMH, AP), pp. 475–484.