Spelling suggestions: "subject:"java."" "subject:"lava.""
571 |
Runtime assertion checking for JML on the eclipse platform using AST mergingSarcar, Amritam, January 2009 (has links)
Thesis (M.S.)--University of Texas at El Paso, 2009. / Title from title screen. Vita. CD-ROM. Includes bibliographical references. Also available online.
|
572 |
JavaCAVE : A 3D immersive environment in JavaMilvich, Michael Lazar. January 2004 (has links) (PDF)
Thesis (M.S.)--Montana State University--Bozeman, 2004. / Typescript. Chairperson, Graduate Committee: Gary Harkin. Includes bibliographical references (leaves 39-40).
|
573 |
Execution level Java software and hardware for the NPS autonomous underwater vehicle /Ayala, Miguel A. January 2002 (has links) (PDF)
Thesis (M.S. in Computer Science)--Naval Postgraduate School, September 2002. / Thesis advisor(s): Don Brutzman, Man-Tak Shing. Includes bibliographical references (p. 259-260). Also available online.
|
574 |
Cognitive characteristics for learning Java, an object oriented programming languageWhite, Garry L. January 2001 (has links)
Thesis (Ph. D.)--University of Texas at Austin, 2001. / Vita. Includes bibliographical references. Available also in a digital version from UMI/Dissertation Abstracts International.
|
575 |
Use of 3D program visualization to show visibility, cohesion, and quality of Java class elementsGoethals, Andrea. January 2002 (has links)
Thesis (M.S.)--University of Florida, 2002. / Title from title page of source document. Document formatted into pages; contains v, 152 p.; also contains graphics. Includes vita. Includes bibliographical references.
|
576 |
SimPackJ/S a Web-oriented toolkit for discrete event simulation /Park, Minho. January 2002 (has links)
Thesis (M.S.)--University of Florida, 2002. / Title from title page of source document. Document formatted into pages; contains x, 69 p.; also contains graphics. Includes vita. Includes bibliographical references.
|
577 |
Crisp - a fault localization tool for Java programs.Chesley, Ophelia. January 2007 (has links)
Thesis (M.S.)--Rutgers University, 2007. / "Graduate Program in Computer Science." Includes bibliographical references (p. 74-75).
|
578 |
Assertion seeding development of program instrumentation through iterative formal analysis /Nagulakonda, Vikram. January 1999 (has links)
Thesis (M.S.)--West Virginia University, 1999. / Title from document title page. Document formatted into pages; contains v, 80 p. : ill. Includes abstract. Includes bibliographical references (p. 33-35).
|
579 |
Secure telemedicine system for home health careVasudevan, Sridhar. January 2000 (has links)
Thesis (M.S.)--West Virginia University, 2000. / Title from document title page. Document formatted into pages; contains vi, 94 p. : ill. (some col.). Includes abstract. Includes bibliographical references (p. 92-93).
|
580 |
Modular Java web applications /Kaegi, Simon Richard, January 1900 (has links)
Thesis (M.C.S.) - Carleton University, 2007. / Includes bibliographical references (p. 114-118). Also available in electronic format on the Internet.
|
Page generated in 0.0469 seconds