• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 7532
  • 5170
  • 1352
  • 678
  • 657
  • 587
  • 435
  • 370
  • 206
  • 103
  • 92
  • 92
  • 92
  • 87
  • 75
  • Tagged with
  • 21213
  • 7162
  • 5832
  • 2351
  • 2064
  • 2051
  • 1981
  • 1929
  • 1740
  • 1678
  • 1472
  • 1245
  • 1178
  • 1135
  • 1134
  • 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.
251

Artifact-based functional comparison of software processes

Podorozhny, Rodion Mikhailovich, Perry, Dewayne E. January 2004 (has links) (PDF)
Thesis (Ph. D.)--University of Texas at Austin, 2004. / Supervisor: Dewayne E. Perry. Vita. Includes bibliographical references. Also available from UMI.
252

Development and evaluation of software process improvement methods /

Komi-Sirviö, Seija, January 1900 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2004. / Includes bibliographical references. Also available on the World Wide Web.
253

Evaluation of dynamic properties of software architectures using software architecture execution /

Holt, James Carrell, January 2003 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2003. / Vita. Includes bibliographical references (leaves 309-319). Also available in an electronic version.
254

SIMPLE : a prototype software fault-injection tool /

Acantilado, Neil John P. Acantilado, Christopher P. January 2002 (has links) (PDF)
Thesis (M.S. in Software Engineering)--Naval Postgraduate School, December 2002. / Thesis advisor(s): J. Bret Michael, Richard H. Riehle. Includes bibliographical references (p. 91-93). Also available online.
255

Symbolic model checking for large software specifications /

Chan, Woon Chung, January 1999 (has links)
Thesis (Ph. D.)--University of Washington, 1999. / Vita. Includes bibliographical references (p. 126-141).
256

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. Document formatted into pages; contains vi, 75 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 35-39).
257

Evaluation und Erprobung des SESAM-2-Systems anhand eines strikt atomaren Modells

Eisenbarth, Thomas. Rohrbach, Jürgen. January 1998 (has links)
Stuttgart, Univ., Fakultät Informatik, Diplomarb., 1998.
258

Virtual radio engine a new programming environment for software defined radio /

Hossain, Riyadh. Unknown Date (has links) (PDF)
Kassel, University, Diss., 2008.
259

Werkzeuge zur GUI-Testautomation

Bauer, Bernd. Teuber, Arthur. Weissinger, Thomas. January 2007 (has links)
Stuttgart, Univ., Fachstudie, 2007.
260

Supporting library interface changes in open system software evolution /

Chow, Kingsum. January 1996 (has links)
Thesis (Ph. D.)--University of Washington, 1996. / Vita. Includes bibliographical references (p. [140]-149).

Page generated in 0.0485 seconds