- 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 111 to 120 of 607 (0.026 seconds)| 111 |
A methodology for refining formal software specification using transformation-based toolsHsu, Yung-Kao January 1991 (has links)
No description available.
|
| 112 |
Markovian analysis and optimization of database recovery protocolsMiller, John Alan January 1986 (has links)
No description available.
|
| 113 |
Private and shared data in object-oriented programmingTheologitis, Vassilios. January 1992 (has links)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, March 1992. / Thesis Advisor: Nelson, Michael L. "March 1992." Includes bibliographical references (p. 158-161). Also available in print.
|
| 114 |
The CMS-2 subset compiler /Badura, J. T. January 1980 (has links)
Thesis (M.S.)--Rochester Institute of Technology. / Typescript. Includes bibliographical references (leaf 55).
|
| 115 |
Techniques for grading programming labs /Muller, Kathleen. January 1984 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1984. / Typescript. Includes bibliographical references.
|
| 116 |
Software estimating : a description and analysis of current methodologies with recommendations on appropriate techniques for estimating RIT Research Corporatin software projects /Armstrong, Norma B. January 1987 (has links)
Thesis (M.S.)--Rochester Institute of Technology, 1987. / Typescript. Includes bibliographical references.
|
| 117 |
An integrated environment for problem solving and program developmentDeek, Fadi Pierre. January 1997 (has links)
Thesis (Ph. D.)--New Jersey Institute of Technology, 1997. / eContent provider-neutral record in process. Description based on print version record.
|
| 118 |
An integrated environment for problem solving and program developmentDeek, Fadi Pierre. January 1997 (has links)
Thesis (Ph. D.)--New Jersey Institute of Technology, 1997. / eContent provider-neutral record in process. Description based on print version record.
|
| 119 |
VIEWER a user interface for failure region analysis /Abel, Vicki Sue. Monti, Medio. January 1990 (has links)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, December 1990. / Thesis Advisor(s): Shimeall, Timothy. Second Reader: Griffin, Rachel. "December 1990." Description based on title screen as viewed on March 28, 2010. DTIC Descriptor(s): Test and evaluation, communities, tools, user needs, interfaces, failure, regions, graphics, computer programs, computers DTIC Identifier(s): Computer program verification, man computer interface, software engineering, viewer computer program. Author(s) subject terms: Failure Regions, User Interfaces, Testing Tools Includes bibliographical references (p. 256-259). Also available in print.
|
| 120 |
Integration of the execution support system for the Computer-Aided Prototyping System (CAPS)Palazzo, Frank V. January 1990 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 1990. / Thesis Advisor(s): Luqi. Second Reader: Berzins, Valdis. "September 1990." Description based on title screen as viewed on March 22, 2010. DTIC Identifier(s): Prototypes, Software Engineering, Integrated Systems, Savings, High Costs, CAPS (Computer Aided Prototyping System). Author(s) subject terms: Hard Real-Time Systems, Prototype System Description Language (PSDL), Execution Support System (EES), Computer Aided Prototyping Systems (CAPS). Includes bibliographical references (p. 123-124). Also available in print.
|
Page generated in 0.0329 seconds