- 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 21 to 30 of 43 (0.075 seconds)Spelling suggestions: "subject:"eomputer software eomputer software"" "subject:"eomputer software aomputer software""
| 21 |
Regulating secure software development : analysing the potential regulatory solutions for the lack of security in software /Råman, Jari. January 2006 (has links)
Diss.: Rovaniemi : Lapin yliopisto. / Includes bibliographical references and index.
|
| 22 |
Building better software the applicability of a professional tool for automating quality assessment and fault detection /Di Stefano, Justin S. January 1900 (has links)
Thesis (M.S.)--West Virginia University, 2008. / Title from document title page. Document formatted into pages; contains vii, 83 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 81-83).
|
| 23 |
A flexible model for multi-agent based simulation of software development processAgarwal, Ravikant January 2007 (has links) (PDF)
Dissertation (Ph.D.)--Auburn University, 2007. / Abstract. Includes bibliographic references.
|
| 24 |
Exploring the integration of model-based formal methods into software design educationWang, Shuo, Yilmaz, Levent, January 2005 (has links) (PDF)
Thesis(M.S.)--Auburn University, 2005. / Abstract. Vita. Includes bibliographic references (p.87-92).
|
| 25 |
A graphical approach to testing real-time embedded devices a thesis /Day, Steven Michael. Kearns, Timothy J. January 1900 (has links)
Thesis (M.S.)--California Polytechnic State University, 2009. / Title from PDF title page; viewed on July 2, 2009. "June 2009." "In partial fulfillment of the requirements for the degree [of] Master of Science in Computer Science." "Presented to the faculty of California Polytechnic State University, San Luis Obispo." Major professor: Tim Kearns, Ph.D. Includes bibliographical references (p. 62-65).
|
| 26 |
Scenario-based verification and validation of dynamic UML specificationsIbrahim, Alaa E. January 2001 (has links)
Thesis (M.S.)--West Virginia University, 2001. / Title from document title page. Document formatted into pages; contains x, 143 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 96-99).
|
| 27 |
Software quality and reliability prediction using Dempster-Shafer theoryGuo, Lan, January 1900 (has links)
Thesis (Ph. D.)--West Virginia University, 2004. / Title from document title page. Document formatted into pages; contains x, 118 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 104-118).
|
| 28 |
A cost effective methodology for quantitative evaluation of software reliability using static analysis /Schilling, Walter W., January 2007 (has links)
Dissertation (Ph.D.)--University of Toledo, 2007. / Typescript. "Submitted as partial fulfillment of the requirements for the Doctor of Philosophy in Engineering." Bibliography: leaves 210-238.
|
| 29 |
Finding termination and time improvement in predicate abstraction with under-approximation and abstract matching /Kudra, Dritan, January 2007 (has links) (PDF)
Thesis (M.S.)--Brigham Young University. Dept. of Computer Science, 2007. / Includes bibliographical references (p. 30-31).
|
| 30 |
Verification and validation in software product line engineering /Addy, Edward A. January 1999 (has links)
Thesis (Ph. D.)--West Virginia University, 1999. / Title from document title page. Includes bibliographical references (p. 35-39).
|
Page generated in 0.0806 seconds