罗斯·麦凯尼;谢泼德，特里 在软件组件接口中嵌入可执行规范的技术。 （英语） Zbl 1027.68885号 Erdogmus，Hakan（编辑）等人，基于COTS的软件系统。2003年2月10日至12日，加拿大渥太华，第二届国际会议，ICCBSS 2003。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2580, 143-156 (2003). 摘要：在本文中，我们将接口契约视为一种可能的机制，用于改善基于组件的系统中的语义完整性。契约本质上是与代码交织在一起的正式规范，允许组件或对象明确指定其行为。我们调查的现有技术主要是为面向对象系统设计的；因此，我们研究了它们可以扩展到组件级别并嵌入到接口规范而不是代码中的程度。我们的结论是，交错规范在组件级别上是可行的和有用的，但需要未来的工作来开发能够表达在此粒度级别上重要约束的语言。有关整个系列，请参见[Zbl 1013.68890号]. MSC公司： 68单位99 计算方法和应用 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 软件：j承包商 PDF格式BibTeX公司 XML格式引用 \textit{R.McKegney}和\textit{T.Shepard}，莱克特。注释计算。科学。2580143--156（2003年；Zbl 1027.68885） 全文： 链接