@第{zbMATH06914909条，作者={Broy，Manfred}，标题={基于假设/承诺的系统接口规范和架构合同的理论和方法}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积＝{52}，数字={1}，页码={33--87}，年份={2018年}，语言={英语}，DOI={10.1007/s10703-017-0304-9}，关键词={68Q60,68M07,68M14,68M20}，zbMATH={6914909}，Zbl={1392.68238}}