Methodology for dynamic program invariants to support software evolution
| dc.contributor.guide | Dr. A. Ananda Rao | |
| dc.coverage.spatial | Computer Science and Engineering | |
| dc.creator.researcher | P. Radhika Raju | |
| dc.date.accessioned | 2016-07-07T06:45:50Z | |
| dc.date.available | 2016-07-07T06:45:50Z | |
| dc.date.awarded | 17-05-2016 | |
| dc.date.completed | 31-08-2015 | |
| dc.date.registered | 25-08-2010 | |
| dc.description.abstract | No newline | |
| dc.description.note | Summary and Conclusion 155-156, References 1578-179 | |
| dc.format.accompanyingmaterial | None | |
| dc.format.dimensions | --- | |
| dc.format.extent | xiv, 179 P | |
| dc.identifier.uri | http://hdl.handle.net/10603/103043 | |
| dc.language | English | |
| dc.publisher.institution | Department of Computer Science and Engineering | |
| dc.publisher.place | Anantapuram | |
| dc.publisher.university | Jawaharlal Nehru Technological University, Anantapuram | |
| dc.relation | No. of References -232 | |
| dc.rights | university | |
| dc.source.university | University | |
| dc.subject.keyword | Computer Science and Engineering | |
| dc.subject.keyword | Program invariants | |
| dc.subject.keyword | Statically or Dynamically | |
| dc.title | Methodology for dynamic program invariants to support software evolution | |
| dc.title.alternative | ||
| dc.type.degree | Ph.D. |
Files
Original bundle
1 - 5 of 15
Loading...
- Name:
- 01_title page.pdf
- Size:
- 155.61 KB
- Format:
- Adobe Portable Document Format
- Description:
- Attached File
Loading...
- Name:
- 02_certificate & declaration.pdf
- Size:
- 52.01 KB
- Format:
- Adobe Portable Document Format
Loading...
- Name:
- 03_acknowledgements.pdf
- Size:
- 82.42 KB
- Format:
- Adobe Portable Document Format
License bundle
1 - 1 of 1