- 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 21242 (0.025 seconds)| 251 |
Artifact-based functional comparison of software processesPodorozhny, 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 engineeringAddy, 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 ModellsEisenbarth, 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-TestautomationBauer, 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.0294 seconds