Conference
Supporting Verification-Driven Incremental Distributed Design of Components
Abstract
Software systems are usually formed by multiple components which interact with one another. In large systems, components themselves can be complex systems that need to be decomposed into multiple sub-components. Hence, system design must follow a systematic approach, based on a recursive decomposition strategy. This paper proposes a comprehensive verification-driven framework which provides support for designers during development. The …
Authors
Menghi C; Spoletini P; Chechik M; Ghezzi C
Series
Lecture Notes in Computer Science
Volume
10802
Pagination
pp. 169-188
Publisher
Springer Nature
Publication Date
2018
DOI
10.1007/978-3-319-89363-1_10
Conference proceedings
Lecture Notes in Computer Science
ISSN
0302-9743