论文部分内容阅读
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键.文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述.
形式化方法B及其程序规约机理
【摘 要】
：
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键.文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方
【机 构】
：
江西师范大学计算机科学系,江西师范大学计算机科学系
【出 处】
：
计算机工程
【发表日期】
：
2004年16期
【基金项目】
：
国家自然科学基金，江西省自然科学基金
其他文献
随着计算机和网络的日益发展,数字签名技术已经得到了广泛的应用.文章提出一个数字签名的基于离散对数和Hash函数(t,n)验证方案,是应用Diffie-Hellman算法进行共享值的分配,