首页>
外国专利>
FORMAL ANALYSIS DRIVEN BASED EVOLUTION OF REQUIREMENTS SPECIFICATIONS
FORMAL ANALYSIS DRIVEN BASED EVOLUTION OF REQUIREMENTS SPECIFICATIONS
展开▼
机译:基于形式分析的需求规范演变
展开▼
页面导航
摘要
著录项
相似文献
摘要
A method for developing a specification includes receiving a plurality of requirements that define the functionality of the specification, wherein the plurality of requirements are expressed using a formal model. The method further includes analyzing the plurality of requirements using algorithms and determining if the plurality of requirements satisfies a predetermined set of criteria. The method further includes generating a summary of the formal analysis and refining the requirements by incorporating corrected analysis results.
展开▼