Independent verification of specification models for large software systems at the early phases of development lifecycle

Description

Thesis (Ph. D.)--West Virginia University, 1999. / Title from document title page. Document formatted into pages; contains v, 139 p. : ill. Includes abstract. Includes bibliographical references (p. 133-139).

Links & Downloads

1. http://etd.wvu.edu/templates/showETD.cfm?recnum=667

Tags

Computer software UML (Computer science)

Additional Fields

Identifer	oai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/42207483
Date	January 1999
Creators	Lateef, Khalid.
Publisher	Morgantown, W. Va. : [West Virginia University Libraries],
Source Sets	OCLC
Language	English
Detected Language	English