摘要
非形式化的需求规格说明容易产生歧义,导致所开发的软件系统不能满足用户的功能要求。Z语言是一种基于集合和一阶谓词逻辑的模式规约语言,可用于产生精确的需求规格说明。介绍了需求分析的Z语言形式化方法,并给出了一个通用堆栈的Z语言描述实例,同时指出这种形式化方法有待进一步研究的地方。
Non-formal requirement specification bring ambiguity easily, and causes me soItware system can＇t satisfy the client＇ s function request . Z notation is a model-based specification language based on set theory and first-order predicate logic. It can used to precisely express requirement specifications. Formal method for requirement analysis using Z notation is introduced, and an example of general stack described in Z notation is given, also, the places of this formal method that need to study further are pointed.
出处
《科学技术与工程》
2008年第8期2245-2248,共4页
Science Technology and Engineering
关键词
软件工程
需求分析
Z语言
Z模式
形式化方法
software engineering requirement analysis Z notation Z schema formal method
