Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/103043
Full metadata record
DC FieldValueLanguage
dc.coverage.spatialComputer Science and Engineering
dc.date.accessioned2016-07-07T06:45:50Z-
dc.date.available2016-07-07T06:45:50Z-
dc.identifier.urihttp://hdl.handle.net/10603/103043-
dc.description.abstractNo newline
dc.format.extentxiv, 179 P
dc.languageEnglish
dc.relationNo. of References -232
dc.rightsuniversity
dc.titleMethodology for dynamic program invariants to support software evolution
dc.title.alternative
dc.creator.researcherP. Radhika Raju
dc.subject.keywordComputer Science and Engineering
dc.subject.keywordProgram invariants
dc.subject.keywordStatically or Dynamically
dc.description.noteSummary and Conclusion 155-156, References 1578-179
dc.contributor.guideDr. A. Ananda Rao
dc.publisher.placeAnantapuram
dc.publisher.universityJawaharlal Nehru Technological University, Anantapuram
dc.publisher.institutionDepartment of Computer Science and Engineering
dc.date.registered25-08-2010
dc.date.completed31-08-2015
dc.date.awarded17-05-2016
dc.format.dimensions---
dc.format.accompanyingmaterialNone
dc.source.universityUniversity
dc.type.degreePh.D.
Appears in Departments:Department of Computer Science and Engineering

Files in This Item:
File Description SizeFormat 
01_title page.pdfAttached File155.61 kBAdobe PDFView/Open
02_certificate & declaration.pdf52.01 kBAdobe PDFView/Open
03_acknowledgements.pdf82.42 kBAdobe PDFView/Open
04_contents.pdf161.95 kBAdobe PDFView/Open
05_preface.pdf134.76 kBAdobe PDFView/Open
06_abstract.pdf137.96 kBAdobe PDFView/Open
07_list of tables & figures.pdf83.27 kBAdobe PDFView/Open
08_chapter 1.pdf318.29 kBAdobe PDFView/Open
09_chapter 2.pdf325.91 kBAdobe PDFView/Open
10_chapter 3.pdf311.27 kBAdobe PDFView/Open
11_chapter 4.pdf240.39 kBAdobe PDFView/Open
12_chapter 5.pdf280.8 kBAdobe PDFView/Open
13_chapter 6.pdf707.56 kBAdobe PDFView/Open
14_chapter 7.pdf88.65 kBAdobe PDFView/Open
15_references.pdf271.09 kBAdobe PDFView/Open


Items in Shodhganga are licensed under Creative Commons Licence Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0).

Altmetric Badge: