摘要
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 method.Using a simple example,this paper introduces how to analyze consistency and com-pleteness of requirements specifications.
基金
The work of this paper is supported by the National Natural Science Foundation of China.
