Automated Analysis of the SCR-StyleRequirements Specifications

作     者：毋国庆 刘翔 应时 玉井哲雄 

作者机构：State Key Lab. of Software Engineering Wuhan University Wuhan P.R. China Graduate School of Art and Sciences University of Tokyo Tokyo Japan 

出 版 物：《Journal of Computer Science & Technology》 (计算机科学技术学报（英文版）)

年 卷 期：1999年第14卷第4期

页      面：401-407页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 081202[工学-计算机软件与理论] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

基　　金：国家自然科学基金 

主　　题：requirements engineering requirements specifications mode tran-sition rule requirements analysis 

摘      要：The SCR (Software Cost Reduction) requirements method is aneffective method for specifying software system requirements. This paper presents aformal model analyzing SCR-style requirements. The analysis model mainly appliesstate translation rules, semantic computing rules and attributes to define formal se-mantics of a tabular notation in the SCR requirements method, and may be used toanalyze requirements specifications to be specified by the SCR requirements *** a simple example, this paper introduces how to analyze consistency and com-pleteness of requirements specifications.