• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 284
  • 90
  • 31
  • 11
  • 11
  • 11
  • 11
  • 11
  • 11
  • 4
  • 4
  • 3
  • 2
  • 2
  • 2
  • Tagged with
  • 607
  • 607
  • 146
  • 87
  • 87
  • 71
  • 66
  • 65
  • 63
  • 61
  • 55
  • 52
  • 47
  • 47
  • 44
  • 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.
111

A methodology for refining formal software specification using transformation-based tools

Hsu, Yung-Kao January 1991 (has links)
No description available.
112

Markovian analysis and optimization of database recovery protocols

Miller, John Alan January 1986 (has links)
No description available.
113

Private and shared data in object-oriented programming

Theologitis, 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 development

Deek, 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 development

Deek, 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.1073 seconds