Please use this identifier to cite or link to this item: http://hdl.handle.net/10603/103043
Title: Methodology for dynamic program invariants to support software evolution
Researcher: P. Radhika Raju
Guide(s): Dr. A. Ananda Rao
Keywords: Computer Science and Engineering
Program invariants
Statically or Dynamically
University: Jawaharlal Nehru Technological University, Anantapuram
Completed Date: 31-08-2015
Abstract: No newline
Pagination: xiv, 179 P
URI: http://hdl.handle.net/10603/103043
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 protected by copyright, with all rights reserved, unless otherwise indicated.