in partial ful llment of the requirements for the degree of Masters of...  Home/Search
Context
Related
| mit.edu/pubs/these...aingold_masters.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: mit.edu/publications (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Object modeling allows software designers and programmers to concisely describe the essence of a program's design, by describing program state. Automatically extracting object models from code can be useful for many reasons: to summarize the architecture of the program, to resolve anomalies in the design, or even to nd bugs. This thesis describes Superwomble, a tool for automatically extracting object models from Java bytecode. The object model is generated using an unsound type analysis on... (Update)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@misc{ ful-submitted,
author = "In Partial Ful",
title = "Submitted to the Department of Electrical Engineering and Computer Science",
url = "citeseer.ist.psu.edu/757695.html" }
Citations not processed or no citations identified.
Documents on the same site (http://sdg.csail.mit.edu/publications.html): More
Declarative Configuration Applied to Course - Scheduling Submitted To (2006) (Correct)
Problem Frame Transformations: - Deriving Specifications From (2006) (Correct)
Integrating Model Checking and Theorem - Proving For Relational (2003) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC