Spelling suggestions: "subject:"computerprogramming"" "subject:"computerprogrammen""
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.0914 seconds