正式软件开发实验: 在VDM案例研究中使用B定理证明器
![PDF第一页](/cms/10.1145/103167.103174/asset/c54b45f4-7dad-499b-90a9-2273f65f6e6e/assets/103167.103174.fp.png)
工具书类
建议
形式化方法和软件开发 SEEP’96:1996年软件工程国际会议论文集:教育与实践(SE:EP’96) 可以对软件开发过程提供完整的数学解释。 数学可以基于一些基本概念,这些概念用于给出编程语言的语义并提供对…的解释。。。 基于形式化方法的敏捷软件开发研究 MINES’10:2010年多媒体信息网络与安全国际会议记录 敏捷软件开发是一种能够满足需求变化的轻量级开发方法。 本文将形式化方法应用于敏捷软件开发,并探讨了在敏捷软件开发中采用rCOS的方法。。。
评论
信息和贡献者
问询处
发布于
出版商
出版历史
检查更新
限定符
第条
贡献者
其他指标
文献计量学和引文
文献计量学
文章指标
5 引文总数 查看引文 452 总下载次数
下载次数(过去12个月) 42 下载次数(最近6周) 6
其他指标
引文
引用人
莱德鲁Y (2005) 使用KIDS/VDM进行基于验证的规范开发 FME’94:正式方法的工业效益 10.1007/3-540-58555-9_97 (214-232) 在线发布日期:2005年6月1日 卢斯特曼F (1994) 用正则表达式指定基于事务的信息系统 IEEE软件工程汇刊 10.1109/32.268922 20 :3 (207-217) 网上发布日期:1994年3月1日 莱德鲁Y (1993) 在VDM框架中开发反应系统 计算机程序设计科学 10.1016/0167-6423(93)90022-H 20 :1-2 (51-71) 网上发布日期:1993年4月1日 莱德鲁Y 财务J 盖兹C 罗马字母G (1991) 在VDM框架中开发反应系统 第六届软件规范和设计国际研讨会会议记录 10.5555/952786.952806 (130-139) 在线发布日期:1991年10月25日 莱德鲁Y (1991) 在VDM框架中开发反应系统 第六届软件规范与设计国际研讨会论文集 10.1109/IWSSD.1991.213068 (130-139) 网上发布日期:1991年