• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 32
  • Tagged with
  • 32
  • 32
  • 32
  • 3
  • 3
  • 3
  • 3
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 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.
1

Performance driven optimization tuning in VISTA

Kulkarni, Prasad A., Whalley, David B. January 2003 (has links)
Thesis (M.S.)--Florida State University, 2003. / Advisor: Dr. David Whalley, Florida State University, College of Arts and Sciences, Dept. of Computer Science. Title and description from dissertation home page (viewed Apr. 9,2004). Includes bibliographical references.
2

Combining complementary formal verification strategies to improve performance and accuracy

Owen, David R. January 1900 (has links)
Thesis (Ph. D.)--West Virginia University, 2007. / Title from document title page. Document formatted into pages; contains xi, 129 p. : ill. Includes abstract. Includes bibliographical references (p. 125-129).
3

Software change management processes in the development of embedded software /

Mäkäräinen, Minna. January 2000 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2000. / Includes bibliographical references. Also available on the World Wide Web.
4

Measurement based continuous assessment of software engineering processes /

Järvinen, Janne. January 2000 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2000. / Includes bibliographical references. Also available on the World Wide Web.
5

System architecture metrics : an evaluation.

Shepperd, Martin John. January 1990 (has links)
Thesis (Ph. D.)--Open University. BLDSC no. DX98111.
6

Formal analysis of component adaptation techniques

Kanetkar, Kavita Vijay. January 2002 (has links)
Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: formal analysis; active interfaces; Z notations; EJ. Includes bibliographical references (p. 97-99).
7

A generic software architecture for deception-based intrusion detection and response systems /

Uzuncaova, Engin. January 2003 (has links) (PDF)
Thesis (M.S. in Computer Science and M.S. in Software Engineering)--Naval Postgraduate School, March 2003. / Thesis advisor(s): James Bret Michael, Richard Riehle. Includes bibliographical references (p. 63-66). Also available online.
8

Project risk management in smaller software teams a thesis submitted to Auckland University of technology in partial fulfilment of the requirements for the degree of Master of Information Technology, 2007.

Crosby, Dave January 2007 (has links)
Thesis (MInfoTech) -- AUT University, 2007. / Includes bibliographical references. Also held in print (vi, 217 leaves : ill. ; 30 cm.) in City Campus Theses Collection (T 005.1068 CRO)
9

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.
10

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.

Page generated in 0.1331 seconds