论文部分内容阅读
The SCR (Software Cost Reduction)requirements method is an effectivemethod for specifying softwaresystem requirements. This paper presents a formalmodel analyzingSCR-style requirements. The analysis model mainly appliesstatetranslation rules, semantic computing rules and attributes to defineformalsemantics of a tabular notation in the SCR requirements method,and may be used toanalyze requirements specifications to be specifiedby the SCR requirements method.Using a simple example, this paperintroduces how to analyze consistency andcompleteness of requirementsspecifications.