| Type of Material: | Thesis |
| Title: | An Efficient Verification of Concurrent Programs Using Multi Layered Software Verification Tool |
| Researcher: | Gayetri Devi, S V |
| Guide: | Nalini, C |
| Department: | Department of Engineering and Technology(Computer Science and Engineering) |
| Publisher: | Bharath University, Chennai |
| Place: | Chennai |
| Year: | 2022 |
| Language: | English |
| Subject: | Computer Science | Computer Science Software Engineering | Engineering and Technology | Computer Science and Information Technology | Engineering and Technology |
| Dissertation/Thesis Note: | PhD; Department of Engineering and Technology(Computer Science and Engineering), Bharath University, Chennai, Chennai; 2022; D17CS504 |
| Fulltext: | Shodhganga |
| 000 | 00000ntm a2200000ua 4500 | |
| 001 | 455105 | |
| 003 | IN-AhILN | |
| 005 | 2024-09-23 14:38:08 | |
| 008 | __ | 240923t2022||||ii#||||g|m||||||||||eng|| |
| 035 | __ | |a(IN-AhILN)th_455105 |
| 040 | __ | |aBHAU_600073|dIN-AhILN |
| 041 | __ | |aeng |
| 100 | __ | |aGayetri Devi, S V|eResearcher |
| 110 | __ | |aDepartment of Engineering and Technology(Computer Science and Engineering)|bBharath University, Chennai|dChennai|ein|0U-0446 |
| 245 | __ | |aAn Efficient Verification of Concurrent Programs Using Multi Layered Software Verification Tool |
| 260 | __ | |aChennai|bBharath University, Chennai|c2022 |
| 300 | __ | |dDVD |
| 502 | __ | |bPhD|cDepartment of Engineering and Technology(Computer Science and Engineering), Bharath University, Chennai, Chennai|d2022|oD17CS504 |
| 520 | __ | |aSoftware verification and validation signifies an essential activity of the software development process. The structure of large software systems is very complex , difficult to understand as well as maintain and retaining its complexity within a manageable level is always a challenge. Structure analysis breaks down the system's complexity inspecting its artifacts at various levels, from diverse perspectives. When analyzing the software structure, dependency analysis is very important to control or apprehend the interaction of different classes and packages. Identifying the code dependencies among the modules, helps with uncovering bad dependencies affecting software maintainability and supports the developers in informed decision making during large scaled system refactoring. This thesis work proposes the design and construction of a multilayered framework to generate the software dependencies from ObjectOriented Java source code automatically and precisely. For every dependency, its associated complexity a |
| 650 | __ | |aComputer Science and Information Technology|2UGC |
| 650 | __ | |aEngineering and Technology|2AIU |
| 653 | __ | |aComputer Science |
| 653 | __ | |aComputer Science Software Engineering |
| 653 | __ | |aEngineering and Technology |
| 700 | __ | |aNalini, C|eGuide |
| 856 | __ | |uhttp://shodhganga.inflibnet.ac.in/handle/10603/395183|yShodhganga |
| 905 | __ | |afromsg |
User Feedback Comes Under This section.