• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 60
  • 9
  • Tagged with
  • 76
  • 76
  • 76
  • 57
  • 26
  • 26
  • 23
  • 19
  • 14
  • 13
  • 13
  • 11
  • 10
  • 9
  • 7
  • 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.
21

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).
22

Metrics directed verification of UML designs / Metrics directed verification of Unified Modeling Language designs

Garner, Scott A. January 2005 (has links)
The goal of this research is to validate the methodology used while investigating metrics directed verification of Unified Modeling Language (UML) based designs. This document is organized into five distinct sections. The topics discussed include an introduction to the UML, a discussion of available software metrics, a tutorial regarding the nature of design metrics, a discussion of available UML metrics, and the empirical study results. The empirical study presents detailed information regarding how UML class diagrams can be mapped to design metrics, a discussion on how the data was collected and verified, the results obtained during this study, what conclusions were drawn from the data, and recommendations for future research topics. Preliminary findings indicate that a correlation does exist between the external design complexity measure and the UML class diagrams. / Department of Computer Science
23

A metamodel-based approach to integrate object-oriented graphical and formal specification techniques /

Kim, Soon-Kyeong. January 2001 (has links) (PDF)
Thesis (Ph. D.)--University of Queensland, 2002. / Includes bibliographical references.
24

Timeliness non-functional requirements of UML-based software systems application of analysis techniques in the GSM domain /

Elnaggar, Rania. January 1900 (has links)
Thesis (M.S.)--West Virginia University, 2003. / Title from document title page. Document formatted into pages; contains ix, 76 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 74-76).
25

UML modeling for VHDL designs / Unified Modeling Language modeling for Very High Speed Integrated Circuit Hardware Description Language designs

Sprunger, Steven J. January 2008 (has links)
Unified Modeling Language (UML) allows software engineers to use a standard way of expressing a design approach at a high level. The benefits of system modeling are well accepted in the software development community. Modeling of Very High Speed Integrated Circuit Hardware Description Language (VHDL) designs, for synthesizing into hardware, is a common practice also. The research herein looks at system modeling of a design using UML, in which there are both software and hardware components. The idea is to explore modeling of the system with the ability to abstract whether the implementation of a particular function is realized in software or hardware. The designer can then model/evaluate a given system design approach and later allocate functions to software and hardware, as appropriate to meet constraints such as performance, cost, schedule. Since using UML for software is a standard approach, this research investigates the UML to hardware path via VHDL. / Department of Computer Science
26

Perfective and corrective UML pattern-based design maintenance with design constraints for information systems

Park, Jaeyong. January 2007 (has links)
Thesis (Ph. D.)--George Mason University, 2007. / Title from PDF t.p. (viewed Jan. 21, 2008). Thesis directors: David C. Rine, Elizabeth White. Submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy in Information Technology. Vita: p. 230. Includes bibliographical references (p. 222-229). Also available in print.
27

Investigating the use of analysis contracts to improve the testability of object oriented code /

Sun, Hong, January 1900 (has links)
Thesis (M.Eng.) - Carleton University, 2002. / Includes bibliographical references (p. 62-63). Also available in electronic format on the Internet.
28

Feature-based object oriented modelling (FOOM) : implementation of a process to extract and extend software product line architectures.

Tierney, Patrick J. January 1900 (has links)
Thesis (M. Sc.)--Carleton University, 2003. / Includes bibliographical references (p. 107-109). Also available in electronic format on the Internet.
29

Using simulation to empirically investigate test coverage criteria based on statecharts /

Wang, Yunlan, January 1900 (has links)
Thesis (M.Sc.) - Carleton University, 2003. / Includes bibliographical references (p. 93-95). Also available in electronic format on the Internet.
30

Performance evaluation of systems built with reusable frameworks.

Zhang, Jinhua, January 1900 (has links)
Thesis (M. Sc.)--Carleton University, 2003. / Includes bibliographical references (p. 117-126). Also available in electronic format on the Internet.

Page generated in 0.0833 seconds