契约式设计 编辑
契约式设计，一种设计计算机软件的方法。这种方法要求软件设计者为基于组件的软件工程定义形式化方法，精确的并且可验证的接口，这样，为传统的抽象数据类型又增加了先验条件、后验条件和不变式。这种方法的名字里用到的“契约”或者说“契约”是一种比喻，因为它和商业契约的情况有点类似。
7
图片 0 图片
评论 0 评论
匿名用户 · [[ show_time(comment.timestamp) ]]
[[ nltobr(comment.content) ]]
相关
Eiffel是一套物件导向程式语言，1985年由伯特兰·迈耶所发明。文法类似Pascal，并且将语言本身与软件工程、和工具结合为一。Eiffel实现契约式设计的风格。
伯特兰·迈耶，生于法国，程式语言专家，Eiffel程式语言的创造者，曾提出契约式设计观念。
伯特兰·迈耶，生于法国，程式语言专家，Eiffel程式语言的创造者，曾提出契约式设计观念。