- About
-
The Global ETD Search service is a free service for researchers
to find electronic theses and dissertations. This service is
provided by the
Networked Digital Library of Theses and Dissertations.
Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
Search results
Showing 251 to 260 of 3635 (0.015 seconds)| 251 |
A dynamic integrity verification scheme for tamper-resistance softwareWoo, Yan. January 2005 (has links)
Thesis (M. Phil.)--University of Hong Kong, 2006. / Title proper from title frame. Also available in printed format.
|
| 252 |
Agent software comprehension explaining agent behavior /Lâm, Dũng Ngọc, January 1900 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2005. / Vita. Includes bibliographical references.
|
| 253 |
Update programming : a safe approach to software maintenance /Ren, Deling. January 1900 (has links)
Thesis (Ph. D.)--Oregon State University, 2007. / Printout. Includes bibliographical references (leaves 216-223). Also available on the World Wide Web.
|
| 254 |
A machine learning-based approach for dynamic reliability assessment of mission critical software systems /Challagulla, Venkata Udaya Bhaskar. January 2007 (has links)
Thesis (Ph.D.)--University of Texas at Dallas, 2007. / Includes vita. Includes bibliographical references (leaves 197-208)
|
| 255 |
Improving error discovery using guided model checking /Rungta, Neha S. January 2006 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2006. / Includes bibliographical references (p. 31-33).
|
| 256 |
Combining complementary formal verification strategies to improve performance and accuracyOwen, David R. January 1900 (has links)
Thesis (Ph. D.)--West Virginia University, 2007. / Title from document title page. Document formatted into pages; contains xi, 129 p. : ill. Includes abstract. Includes bibliographical references (p. 125-129).
|
| 257 |
Quality-driven software architecture model transformation : towards automation /Matinlassi, Mari. January 1900 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2006. / Includes bibliographical references. Also available on the World Wide Web.
|
| 258 |
Cooperative bug isolation winning thesis of the 2005 ACM Doctoral Dissertation Competition /Liblit, Ben. January 1900 (has links)
Revised thesis (Ph.D.) - University of California, Berkeley, 2004. / Includes bibliographical references (p. 97-101) and index.
|
| 259 |
Continuing professional education for software quality assuranceHammons, Rebecca L. January 2009 (has links)
Thesis (D. Ed.)--Ball State University, 2009. / Title from PDF t.p. (viewed on Nov. 11, 2009). Includes bibliographical references (p. 114-119).
|
| 260 |
Relational specification as a testing oracleSandhu, Harjinder. January 2001 (has links)
Thesis (M.S.)--West Virginia University, 2001. / Title from document title page. Document formatted into pages; contains vi, 75 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 53-54).
|
Page generated in 0.019 seconds