巴纳赫，R。;波普尔顿，M。;杰斯克，C。;斯蒂芬尼，S。 紧缩的工程和理论基础。 （英语） Zbl 1119.68348号 科学。计算。程序。 67，编号2-3，301-329（2007）. 总结：对细化进行了回顾，特别强调了它在高层用作规范构建器和在低级用作实现机制之间的区别。指出了它作为高抽象级别的规范构建器的一些缺点，这些缺点被用来激励对某些高级别开发步骤采用精简。描述了精简的基本属性，包括操作证明义务的理由、简单示例、在需求工程和模型演化中的使用，以及仿真属性。本文概述了精简与正确性精化概念的相互作用，以及一系列其他技术问题。给出了两个案例研究场景。一个是简单的数字再设计控制理论问题，另一个是紧缩在Mondex钱包开发中的应用概述。 引用于14文件 MSC公司： 68N99型 软件理论 关键词：精炼;紧缩;模拟;需求工程;模型演化;数字再设计;mondex钱包 软件：RAISE（升起）;ETPS公司;TLA公司 PDF格式BibTeX公司 XML格式引用 \textit｛R.Banach｝等人，《科学》。计算。程序。67，编号2--3，301-329（2007；Zbl 1119.68348） 全文： 内政部 链接