AI 助理
备案控制台
开发者社区 问答 正文

契约式编程包含哪些主要部分？

契约式编程包含哪些主要部分？

展开
收起
萝卜丝丸子 2024-05-29 16:33:49 63 分享 版权

版权声明：本文内容由阿里云实名注册用户自发贡献，版权归原作者所有，阿里云开发者社区不拥有其著作权，亦不承担相应法律责任。具体规则请查看《阿里云开发者社区用户服务协议》和《阿里云开发者社区知识产权保护指引》。如果您发现本社区中有涉嫌抄袭的内容，填写侵权投诉表单进行举报，一经查实，本社区将立刻删除涉嫌侵权内容。

1 条回答
写回答
取消 提交回答
  • 宇宙超级无敌霸王龙

    契约式编程主要包含先验条件（P / 前断言）、不变式、副作用管理、后验条件（Q / 后断言）等部分。它强调代码编写过程中的严格性，如同按照契约进行编码。

    2024-05-29 17:01:26
    赞同 1 展开评论
问答地址：
开发者社区 > 云计算 > 问答
相关问答
this xml file does not appear to have any style in
49117
10
0
通过www和不带www的网址输入最终都指向www.我的域名.com，求指教
127613
28
0
请问下 我访问接口不通 什么原因 Provisional headers are shown
2228
0
0
购买阿里国外的云服务器是否可以访问谷歌？
81096
47
0
OSS的endpoint如何查看
36517
6
0
配置了安全组规则，端口还是无法访问
32476
25
0
sql server的用户名和密码怎么查啊？
35889
21
0
手机弹出支付风险问题
6273
2
0
域名在腾讯云备案成功，解析到阿里云服务器，提示仍需备案？
59748
30
0
设置域名解析如何指向我的服务器url包括端口号
17701
2
0