| dc.contributor.advisor |
Browne, James C. |
| dc.creator |
Xie, Fei
|
| dc.date.accessioned |
2008-08-28T22:01:48Z |
| dc.date.available |
2008-08-28T22:01:48Z |
| dc.date.created |
2004 |
| dc.date.issued |
2008-08-28T22:01:48Z |
| dc.identifier.uri |
http://hdl.handle.net/2152/1458 |
| dc.description.abstract |
Not available |
| dc.format.medium |
electronic |
| dc.language.iso |
eng |
| dc.rights |
Copyright © is held by the author. Presentation of this material on
the Libraries' web site by University Libraries, The University of Texas at Austin was made
possible under a limited license grant from the author who has retained all copyrights in
the works. |
| dc.subject.lcsh |
Computer software--Verification
|
| dc.subject.lcsh |
Computer software--Development
|
| dc.title |
Integration of model checking into software development processes |
| dc.description.department |
Computer Sciences
|
| dc.identifier.oclc |
58469396 |
| dc.identifier.proqst |
3143493 |
| dc.identifier.recnum |
b59371857 |
| dc.type.genre |
Thesis |
| dc.type.material |
text |
| thesis.degree.department |
Computer Sciences
|
| thesis.degree.discipline |
Computer Sciences |
| thesis.degree.grantor |
The University of Texas at Austin |
| thesis.degree.level |
Doctoral |
| thesis.degree.name |
Doctor of Philosophy |
