首页 | 本学科首页   官方微博 | 高级检索  
     

基于Z语言的形式化需求分析
引用本文:王迤冉,王春霞. 基于Z语言的形式化需求分析[J]. 商丘师范学院学报, 2007, 23(3): 90-93
作者姓名:王迤冉  王春霞
作者单位:1. 周口师范学院,计算机科学系,河南,周口,466001
2. 商丘师范学院,计算机科学系,河南,商丘,476000
摘    要:介绍了形式化方法和形式化规格说明语言Z语言,利用Z语言对软件需求进行了严格定义,在严格的数学基础上进行软件开发,以获得更好的软件性能.利用形式化方法的需求分析,有助于发现需求中隐含的不一致性、二义性和不完整性,对其进行更深入精确的理解,从而进行规范化管理.

关 键 词:需求分析  形式化方法  Z语言  状态模式  规格说明  前置条件
文章编号:1672-3600(2007)03-0090-03
修稿时间:2006-10-15

Formal Requirement Analysis Based on Z Language
WANG Yi-ran,WANG Chun-xia. Formal Requirement Analysis Based on Z Language[J]. Journal of Shangqiu Teachers College, 2007, 23(3): 90-93
Authors:WANG Yi-ran  WANG Chun-xia
Abstract:The paper first introduces formalized method and formalized specification language-Z.And then it strictly defines software requirement by using Z language,develops software based on a precise mathematical framework in order to achieve better software performance.It is helpful to find the unconsistency,unambiguity and uncompleteness,which hide in software by requirement analysis with formal methods.It also makes further and precise understanding of requirement, so as to manage it more standard.
Keywords:requirement analysis  formal method  Z language  status pattern  specification language  preconditions
本文献已被 CNKI 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号