DocumentCode
3014570
Title
Proceedings. Science and Engineering for Software Development: A Recognition of Harlin D. Mills Legacy (Cat. No. PR00010)
fYear
1999
fDate
18-18 May 1999
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SESD.1999.781104
Filename
781104
Link To Document