BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hart:Johnson_M=

Contributed to:

FME 19961996
ICSE 19961996

Wrote 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.

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.