形式化方法在软件开发中的应用
作者机构：黄淮学院信息工程学院河南驻马店463000
出 版 物：《计算机光盘软件与应用》 (Computer CD Software and Application)
年 卷 期：2014年第17卷第12期
页 面：269-270页
学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）]
摘 要：形式化方法是把概念、判断、推理转化成特定的形式符号后,对形式符号表达系统进行研究的方法。是用具有精确语义的形式语言书写的程序功能描述,它是设计和编制程序的出发点,也是验证程序是否正确的依据。形式化方法就是用符号化的数学变换把需求分析给准确的表述出来,这样可以确保和需求的一致性,并能用于分析和验证应用程序。
维普期刊数据库
同方期刊数据库