A formal model for analyzing the SCR-style requirements specifications


E I n : W u h a n D a x u e Xuebao (Z i ran K e x u e B a n ) ,1998,44(3) :302~306] A FORMAL MODEL FOR ANALYZING THE SCR-STYLE<lb>REQUIREMENTS SPECIFICATIONS Xu Yu, Wu Guoqing, Liu Xlang<lb>(College of Computer Science, Wuhan University, Wuhan 430072,China)<lb>Chen Xinmeng<lb>(State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, China) Abstract Based on SCR(Software Cost Reduction), this paper presents a formal model analyzing<lb>SCR-style requirements. This model mainly apply state translation rules, semantic computing rules and at-<lb>tributes to define formal sementics of a tabular notation in the SCR requirements method, and may auto-<lb>matically analyze requirements specifications to be specified by the SCR method. Combining with a simple<lb>example, this paper introduces how to analyze consistency and completeness of requirements specifica-<lb>tions.<lb>

DOI: 10.1007/BF02827537

Cite this paper

@article{Yu2008AFM, title={A formal model for analyzing the SCR-style requirements specifications}, author={Xu Xin Yu and Wu Guoqing and Liu Xiang and Chen Xinmeng}, journal={Wuhan University Journal of Natural Sciences}, year={2008}, volume={3}, pages={142-142} }