A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Strong and weak contract formalism for third-party component reuse
2013
2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
Our aim is to contribute to bridging the gap between the justified need from industry to reuse third-party components and skepticism of the safety community in integrating and reusing components developed without real knowledge of the system context. We have developed a notion of safety contract that will help to capture safety-related information for supporting the reuse of software components in and across safety-critical systems. In this paper we present our extension of the contract
doi:10.1109/issrew.2013.6688921
dblp:conf/issre/SljivoGCH13
fatcat:fdjs6awzzbfd5jdk6z3ww53hxq