10.3969/j.issn.1000-3428.2004.16.007
形式化方法B及其程序规约机理
用形式化方法开发软件是提高软件可靠性和生产效率的革命性途径,是实现软件自动化的关键.文章针对B方法,介绍了其产生的历史背景,分析了其程序规约机理,并结合实例给出了B方法中抽象机的具体运用,对该方法的特点进行了评述.
形式化方法B、程序规约、抽象机、程序设计
30
TP311(计算技术、计算机技术)
国家自然科学基金60273092;江西省自然科学基金0411041
2004-09-16(万方平台首次上网日期,不代表论文的发表时间)
共4页
16-18,50