Design and implementation of Module Driver and Output Analyzer Generator

dc.contributor.advisorBerzins, Valdis
dc.contributor.authorDePasquale, Gerald Anthony
dc.contributor.corporateNaval Postgraduate School (U.S.)
dc.contributor.departmentDepartment of Computer Science
dc.contributor.secondreaderLuqi
dc.dateJune 1990
dc.date.accessioned2013-04-11T22:14:47Z
dc.date.available2013-04-11T22:14:47Z
dc.date.issued1990-06
dc.description.distributionstatementApproved for public release; distribution is unlimited.
dc.description.serviceCaptain, United States Marine Corpsen_US
dc.description.urihttp://archive.org/details/designndimplemen1094530637
dc.identifier.urihttps://hdl.handle.net/10945/30637
dc.publisherMonterey, California. Naval Postgraduate Schoolen_US
dc.rightsThis publication is a work of the U.S. Government as defined in Title 17, United States Code, Section 101. Copyright protection is not available for this work in the United States.en_US
dc.subject.authorSoftware testingen_US
dc.subject.authorAutomatic code generationen_US
dc.subject.authorAttribute grammarsen_US
dc.subject.authorSoftware reliabilityen_US
dc.subject.authorFormal specificationsen_US
dc.titleDesign and implementation of Module Driver and Output Analyzer Generatoren_US
dc.typeThesisen_US
dspace.entity.typePublication
etd.thesisdegree.disciplineComputer Scienceen_US
etd.thesisdegree.grantorNaval Postgraduate Schoolen_US
etd.thesisdegree.levelMastersen_US
etd.thesisdegree.nameM.S. in Computer Scienceen_US
Files
Original bundle
Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
90Jun_DePasquale.pdf
Size:
8.61 MB
Format:
Adobe Portable Document Format
Collections