Contracts in System Development: From Multiconcern Analysis to Assurance with the Architecture Analysis and Design Language
• Article
In this article, the authors discuss how system development can benefit from a contract-driven approach and they review examples that utilize the Architecture Analysis and Design Language.
Publisher
IEEE
DOI (Digital Object Identifier)
10.1109/MS.2022.3167533Subjects
Abstract
The authors advocate a broader application of the notion of contracts to support the development of software-intensive systems. They also discuss how system development can benefit from a contract-driven approach and review examples that utilize the Architecture Analysis and Design Language.