Jérôme Hugues, Sam Procter. Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language. IEEE Software, 39(4):34-38, 2022. [doi]
@article{HuguesP22,
title = {Contracts in System Development: From Multiconcern Analysis to Assurance With the Architecture Analysis and Design Language},
author = {Jérôme Hugues and Sam Procter},
year = {2022},
doi = {10.1109/MS.2022.3167533},
url = {https://doi.org/10.1109/MS.2022.3167533},
researchr = {https://researchr.org/publication/HuguesP22},
cites = {0},
citedby = {0},
journal = {IEEE Software},
volume = {39},
number = {4},
pages = {34-38},
}