You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Lancaster University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Lancaster University

Return to search Previous output Next output

Output 27 of 120 in the submission

Output title

Defining and continuous checking of structural program dependencies

Type

E - Conference contribution

DOI

10.1145/1368088.1368142

Name of conference/published proceedings

Proceedings of the 30th International Conference on Software Engineering (ICSE '08)

Volume number

Issue number

First page of article

391

ISSN of proceedings

Year of publication

2008

URL

http://dl.acm.org/citation.cfm?doid=1368088.1368142

Number of additional authors

Additional information

<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.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract