A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Modular Specification and Checking of Structural Dependencies
[chapter]
2014
Lecture Notes in Computer Science
Checking a software's structural dependencies is a line of research on methods and tools for analyzing, modeling and checking the conformance of source code w.r.t. specifications of its intended static structure. Existing approaches have focused on the correctness of the specification, the impact of the approaches on software quality and the expressiveness of the modeling languages. However, large specifications become unmaintainable in the event of evolution without the means to modularize
doi:10.1007/978-3-642-55099-7_6
fatcat:fxwieruvs5ar5chnxwu2poc464