文章免费访问 在上共享 通过约束建模进行系统验证作者:理查德·C。 水域作者信息和声明ACM SIGPLAN通知,体积26,问题8页27-36https://doi.org/10.1145/122598.122599出版:1991年8月1日 出版历史 获取引文提醒新增引文提醒！此警报已成功添加，将发送到：只要您选择的记录被引用，您就会收到通知。新引文提醒！拜托登录到您的帐户 PDF格式电子阅读器目录ACM SIGPLAN通知体积26,问题8下一篇文章枚举类型的另一种辩护下一步工具书类信息和贡献者文献计量学和引文视图选项工具书类媒体桌子分享工具书类[1][1] A.Dreiheller、M.Moerschbacher和B.Mohr，“物理：用物理单位编程Pascal”，ACM Sigplan通知，21（12）：114-1231986年12月。数字图书馆谷歌学者[2][2] N.H.Gehani，“作为数据属性的度量单位”，《计算机语言》，2:93-1111977年。数字图书馆谷歌学者[3][3] M.Gordon、R.Milner和C.Wadsworth，爱丁堡LCF：计算的机械逻辑《计算机科学讲稿》，第78页，施普林格-弗拉格出版社，1979年。谷歌学者[4][4] R.Manner，“强大的打字和物理单元”，ACM Sigplan通知，21（3）：11-20，1986年3月。数字图书馆谷歌学者[5][5] G.J.Sussman和R.M.Stallman，“计算机辅助电路分析中的启发式技术”，IEEE电路与系统汇刊，22（11）：857-8651975年11月。交叉参考谷歌学者[6][6] R.C.Waters，“基于参考模型的自动化软件管理”，软件——实践与经验，19（10）：931-9551989年10月。数字图书馆谷歌学者[7][7] P.H.Winston，人工智能第二版，Addison-Wesley，1985年。（见第3章）。谷歌学者 索引术语 通过约束建模进行系统验证概述和参考交叉计算工具和技术验证软件及其工程软件创建和管理软件开发过程管理软件开发方法软件验证和确认经验软件验证工艺验证演练 建议 通过约束建模进行系统验证阅读更多信息通过冗余建模增加约束传播：经验报告 本文描述了我们使用简单建模和编程方法来增加约束求解过程中的约束传播量的经验。该思想虽然类似于冗余约束，但基于……的概念。。。阅读更多信息软件验证中序列的约束求解INAP’05：第16届声明性编程和知识管理应用国际会议记录 约束编程技术已成功应用于工业、商业、运输、金融等软件工程的各个领域。不同数据类型的约束求解器应用于程序的验证和验证。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 信息和贡献者问询处发布于 ACM SIGPLAN通知 第26卷第8期1991年8月124页ISSN公司：0362-1340EISSN公司：1558-1160内政部：10.1145/122598编辑：理查德·韦克塞尔布拉特（Richard L.Wexelblat）期刊目录 版权所有©1991作者。出版商计算机协会美国纽约州纽约市出版历史出版：1991年8月1日在SIGPLAN中发布体积26,问题8检查更新限定符第条贡献者 其他指标查看文章指标文献计量学和引文文献计量学 文章指标 0引文总数228总下载次数下载量（最近12个月）18下载次数（最近6周）2 其他指标查看作者指标引文视图选项视图选项 PDF格式以PDF文件查看或下载。PDF格式 电子阅读器使用联机查看电子阅读器.电子阅读器获取访问权限 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此出版物 媒体数字其他桌子分享分享共享此出版物链接复制链接已复制！复制失败。在社交媒体上分享Linkedin公司重新编辑电子邮件附属公司理查德·C。 水域麻省理工学院人工智能实验室，马萨诸塞州剑桥科技广场545号查看个人资料
