Spelling suggestions: "subject:"computer software."" "subject:"coomputer software.""
11 |
An integrated cost model for software reuseChmiel, Senta Fowler. January 2000 (has links)
Thesis (Ph. D.)--West Virginia University, 2000. / Title from document title page. Document formatted into pages; contains x, 188 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 145-148).
|
12 |
How well do professional developers test with code coverage visualizations? : an empirical study /Lawrance, Joseph A. January 1900 (has links)
Thesis (M.S.)--Oregon State University, 2005. / Printout. Includes bibliographical references (leaves 31-32). Also available on the World Wide Web.
|
13 |
Quantitative analysis of domain testing effectiveness /Narendra, Koneru. January 2001 (has links) (PDF)
Thesis (M.S.)--East Tennessee State University, 2001. / Vita. Includes bibliographical references (leaves 66-67). Also available via Internet at the UMI web site.
|
14 |
A component-based approach to verification and validation of formal software modelsDesovski, Dejan. January 1900 (has links)
Thesis (Ph. D.)--West Virginia University, 2006. / Title from document title page. Document formatted into pages; contains viii, 109 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 95-101).
|
15 |
Unlocking test-driven developmentKnapp, Chris H. January 2006 (has links) (PDF)
Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2006. / Title from PDF title page (viewed on Sept. 19, 2006). Includes bibliographical references.
|
16 |
Creating a software assembly lineHoward, Gary Allan. January 2007 (has links) (PDF)
Thesis (M.S.C.I.T.)--Regis University, Denver, Colo., 2007. / Title from PDF title page (viewed on May 25, 2007). Includes bibliographical references.
|
17 |
Pattern-oriented analysis and design (POAD) a methodology for software development /Yacoub, Sherif M., January 1999 (has links)
Thesis (Ph. D.)--West Virginia University, 1999. / Title from document title page. Document formatted into pages; contains xx, 343 p. : ill. (some col.). Vita. Includes abstract. Includes bibliographical references (p. 324-337).
|
18 |
Automated test case generation for reactive software systems based on environment models /Imanian, James A. January 2005 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2005. / Thesis Advisor(s): Mikhail Auguston, James B. Michael. Includes bibliographical references (p. 55-56). Also available online.
|
19 |
A software customization frameworkMichaud, Jeffrey William. 10 April 2008 (has links)
No description available.
|
20 |
Steam : an asynchronous messaging framework for active objectsWierenga, Paul Andrew. 10 April 2008 (has links)
This thesis describes a framework for building a distributed concurrent system based on the
active object paradigm. An active object is an agent, such as a state machine, that only executes
in response to messages it receives, and can only communicate with other agents by
sending messages. Steam consists of a programming model, an application programming
interface and a concurrent runtime system to support the model. Steam offers an efficient
implementation of active objects. The implementation also supports location transparency,
dynamic re-configurability, and a form of atomicity. Steam is designed as a generic fi-amework
suitable for application in a variety of domains. It can be used directly as a runtime
system embedded within an application (eg. in a C program) or as a virtual machine for a
concurrent programming language such as COOL.
|
Page generated in 0.0698 seconds