@第{zbMATH06914910条，作者={西马蒂、亚历山德罗和德马西、拉米罗和托内塔、斯特凡诺}，标题＝{加强系统架构的契约细化}，FJournal={系统设计中的形式化方法}，日志={Form.Methods系统设计}，ISSN={0925-9856}，体积={52}，数字＝｛1｝，页码={88--116}，年份={2018}，语言={英语}，DOI={10.1007/s10703-017-0312-9}，关键词={68Q60,68M07,68M14,68M20}，zbMATH＝{6914910}，Zbl={1392.68241}}