Design and implementation of Module Driver and Output Analyzer Generator
dc.contributor.advisor | Berzins, Valdis | |
dc.contributor.author | DePasquale, Gerald Anthony | |
dc.contributor.corporate | Naval Postgraduate School (U.S.) | |
dc.contributor.department | Department of Computer Science | |
dc.contributor.secondreader | Luqi | |
dc.date | June 1990 | |
dc.date.accessioned | 2013-04-11T22:14:47Z | |
dc.date.available | 2013-04-11T22:14:47Z | |
dc.date.issued | 1990-06 | |
dc.description.distributionstatement | Approved for public release; distribution is unlimited. | |
dc.description.service | Captain, United States Marine Corps | en_US |
dc.description.uri | http://archive.org/details/designndimplemen1094530637 | |
dc.identifier.uri | https://hdl.handle.net/10945/30637 | |
dc.publisher | Monterey, California. Naval Postgraduate School | en_US |
dc.rights | This 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.author | Software testing | en_US |
dc.subject.author | Automatic code generation | en_US |
dc.subject.author | Attribute grammars | en_US |
dc.subject.author | Software reliability | en_US |
dc.subject.author | Formal specifications | en_US |
dc.title | Design and implementation of Module Driver and Output Analyzer Generator | en_US |
dc.type | Thesis | en_US |
dspace.entity.type | Publication | |
etd.thesisdegree.discipline | Computer Science | en_US |
etd.thesisdegree.grantor | Naval Postgraduate School | en_US |
etd.thesisdegree.level | Masters | en_US |
etd.thesisdegree.name | M.S. in Computer Science | en_US |
Files
Original bundle
1 - 1 of 1