Spelling suggestions: "subject:"computer 5oftware"" "subject:"computer 1software""
81 |
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.
|
82 |
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).
|
83 |
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.
|
84 |
Inspections : software development process for building defect free software applied in a small-scale software development environment /Sherwood, Patricia Ann. January 1990 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1990. / Spine title: Inspections applied in a small-scale development. Includes bibliographical references (leaves 38-39).
|
85 |
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).
|
86 |
Tools support for model compliance verification : a QVT based approach /McClean, Tobin, January 1900 (has links)
Thesis (M.C.S.) - Carleton University, 2005. / Includes bibliographical references (p. 183-187). Also available in electronic format on the Internet.
|
87 |
Distributed new product development structures and schedule overrun /Wang, Peiyao, January 1900 (has links)
Thesis (M.Eng.) - Carleton University, 2005. / Includes bibliographical references (p. 73-82). Also available in electronic format on the Internet.
|
88 |
Demographics of adware and spywareArumugam, Kavita. Umphress, David A. January 2007 (has links) (PDF)
Thesis(M.S.)--Auburn University, 2007. / Abstract. Includes bibliographic references (p.45-49).
|
89 |
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).
|
90 |
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).
|
Page generated in 0.0465 seconds