Design By Contract and the Component Revolution
Design By Contract and the Component Revolution
复制标题
契约设计和组件革命
DOI：
--
复制
发表时间：
2000
期刊：
影响因子：
--
通讯作者：
B. Meyer
中科院分区：
文献类型：
--
作者：
B. Meyer
契约式设计通过对系统的构建采取整体的方法来解决软件可靠性问题，从而使系统在第一次运行时就能正确工作。基于一个简单但强大的比喻-软件系统是通过合同交互的组件集合，类似于人或公司之间的合同-它对软件开发的几乎每个方面都有深远的影响，从分析和设计到实现、文档、调试、质量保证、维护和项目管理。
Design by Contract tackles head-on the issue of software reliability, by taking a holistic approach to the construction of systems so that they will work correctly the first time around. Based on a simple yet powerful metaphor — software systems as collections of components that interact through contracts, similar to those between people or companies — it has a profound effect on almost every aspect of software development, from analysis and design to implementation, documentation, debugging, quality assurance, maintenance, and project management.