Leveraging software architectures to guide and verify the development of sense/compute/control applications
Abstract
A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification.
BibTeX
@inproceedings{Cassou-al:ICSE11,
author = {Damien Cassou and
Emilie Balland and
Charles Consel and
Julia Lawall},
title = {Leveraging software architectures to guide and verify the development of sense/compute/control applications},
booktitle = {ICSE},
pages = {431--440},
publisher = {{ACM}},
year = {2011},
}