Methodology for dynamic program invariants to support software evolution

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

Files

Original bundle

Now showing 1 - 5 of 15
Loading...
Thumbnail Image
Name:
01_title page.pdf
Size:
155.61 KB
Format:
Adobe Portable Document Format
Description:
Attached File
Loading...
Thumbnail Image
Name:
02_certificate & declaration.pdf
Size:
52.01 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
03_acknowledgements.pdf
Size:
82.42 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
04_contents.pdf
Size:
161.95 KB
Format:
Adobe Portable Document Format
Loading...
Thumbnail Image
Name:
05_preface.pdf
Size:
134.76 KB
Format:
Adobe Portable Document Format

License bundle

Now showing 1 - 1 of 1
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.79 KB
Format:
Plain Text
Description: