Loading...
Please wait, while we are loading the content...
Similar Documents
Toward a formal evaluation of refactorings
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Paul, John Caldwell Sr., James Kuzmina, Nadya Gamboa, Ruben |
| Copyright Year | 2008 |
| Description | Refactoring is a software development strategy that characteristically alters the syntactic structure of a program without changing its external behavior [2]. In this talk we present a methodology for extracting formal models from programs in order to evaluate how incremental refactorings affect the verifiability of their structural specifications. We envision that this same technique may be applicable to other types of properties such as those that concern the design and maintenance of safety-critical systems. |
| File Size | 98042 |
| Page Count | 3 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20080022222 |
| Archival Resource Key | ark:/13960/t3vt6ms53 |
| Language | English |
| Publisher Date | 2008-04-30 |
| Access Restriction | Open |
| Subject Keyword | Mathematical And Computer Sciences (general) Computer Programming Maintenance Safety Software Engineering Proving Ntrs Nasa Technical Reports ServerĀ (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Article |