Title :
Proceedings. Science and Engineering for Software Development: A Recognition of Harlin D. Mills Legacy (Cat. No. PR00010)
Abstract :
The following topics were dealt with: building on rock: from Mills´ program functions to tabular notation; coupling and strength, a la Harlan D. Mills; developing black box specifications through sequence enumeration; partition testing with usage models; applying a generalization of a theorem of Mills to generalized looping structures; application of statistical science to testing and evaluating software intensive systems
Keywords :
application program interfaces; encoding; graphical user interfaces; program testing; Mills´ program functions; black box specifications; generalized looping structures; partition testing; sequence enumeration; software intensive systems; statistical science; tabular notation; usage models;
Conference_Titel :
Science and Engineering for Software Development: A Recognition of Harlan D. Mills' Legacy, 1999. Proceedings
Conference_Location :
Los Angeles, CA, USA
Print_ISBN :
0-7695-0010-2
DOI :
10.1109/SESD.1999.781104
