Computer Engineering ›› 2007, Vol. 33 ›› Issue (05): 73-75. doi: 10.3969/j.issn.1000-3428.2007.05.025
• Software Technology and Database • Previous Articles Next Articles
HOU Lizhen, CAI Xiaojuan, ZOU Hengming
Received:
Revised:
Online:
Published:
侯丽珍,蔡小娟,邹恒明
Abstract: Requirement specification fault is one kind of software design faults. This paper presents a digestion-based software formal transformation model that eliminates the weak link existing in today’s software formal method approach, and automatically transform natural language-based requirement into formal representation.
Key words: Software requirement, Formal transformation, Software reliability
摘要: 需求规范错误是软件设计错误的一大类。该文提出了一个软件需求的形式化转换模型,用来将软件需求分析直接、自动地转换为形式化描述,为需求验证提供帮助,避免软件在需求规范上可能产生的错误。
关键词: 软件需求, 形式化转换, 软件可靠性
HOU Lizhen; CAI Xiaojuan; ZOU Hengming. Digestion-based Software Formal Transformation Model[J]. Computer Engineering, 2007, 33(05): 73-75.
侯丽珍;蔡小娟;邹恒明. 软件需求的形式化转换模型[J]. 计算机工程, 2007, 33(05): 73-75.
0 / / Recommend / Download Citations
URL: http://www.ecice06.com/EN/10.3969/j.issn.1000-3428.2007.05.025
http://www.ecice06.com/EN/Y2007/V33/I05/73