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

A software quality workbench for testable requirements and specifications /

Torshizi, Faraz Ahmadi. January 2007 (has links)
Thesis (M.A.)--York University, 2007. Graduate Programme in Computer Science. / Typescript. Includes bibliographical references (leaves 314-321). Also available on the Internet. MODE OF ACCESS via web browser by entering the following URL: http://gateway.proquest.com/openurl?url_ver=Z39.88-2004&res_dat=xri:pqdiss&rft_val_fmt=info:ofi/fmt:kev:mtx:dissertation&rft_dat=xri:pqdiss:MR31975
2

Quality-driven software architecture model transformation : towards automation /

Matinlassi, Mari. January 1900 (has links) (PDF)
Thesis (doctoral)--University of Oulu, 2006. / Includes bibliographical references. Also available on the World Wide Web.
3

Development of a software architecture method for software product families and its application to the AubieSat satellite program

O'Farrell, John Ryan. Chapman, Richard O. Hamilton, John A. January 2009 (has links)
Thesis--Auburn University, 2009. / Abstract. Includes bibliographic references (p.82-85).
4

Design analysis techniques for software quality enhancement

Williams, Daniel Dee, January 2007 (has links) (PDF)
Thesis (M.S.)--Washington State University, August 2007. / Includes bibliographical references (p. 72-74).
5

A UML profile for developing airworthiness-compliant (RTCA DO-178B) safety-critical software /

Zoughbi, Gregory. January 1900 (has links)
Thesis (M.App.Sc.) - Carleton University, 2007. / Includes bibliographical references (p. 218-222). Also available in electronic format on the Internet.
6

ADEPT a tool to support the formal analysis of software design /

Campbell, Sherrie L. January 2009 (has links)
Title from first page of PDF document. Includes bibliographical references (p. Xx-Xx).

Page generated in 0.1301 seconds