Output details
11 - Computer Science and Informatics
Lancaster University
Defining and continuous checking of structural program dependencies
<07> The work makes an important contribution to checking the conformance of implemented software to architectural specifications. It is the first approach of this kind that supports (a) an arbitrary crosscutting partitioning of the code into architecturally relevant building blocks, independent of the implemented modular structure, whose structural dependencies are constrained, and (b) incremental checking of conformance of code to the architectural specifications in the presence of evolution. The work was published in the leading software engineering conference (ICSE), acceptance rate 15% in 2008, and has found great attention in the scientific community as reflected by the high citation rate.