• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1353
  • 192
  • 73
  • 30
  • 27
  • 11
  • 6
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • 5
  • Tagged with
  • 3605
  • 3605
  • 1069
  • 940
  • 902
  • 710
  • 706
  • 509
  • 447
  • 442
  • 396
  • 344
  • 291
  • 263
  • 263
  • 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.
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 process

Agarwal, 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 education

Wang, 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 spyware

Arumugam, 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 specifications

Ibrahim, 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.0783 seconds