问答题

【简答题】形式规格描述的是什么？

答案：规格就是对系统或者对象及其期望的特性或者行为进行的描述。规格所要描述的内容包括：功能特性、行为特性、结构特性、时间特性。...

你可能感兴趣的试题

【简答题】软件系统构建的关键是什么？

答案：形式规格是系统构建的关键。它包括客户需求的定义、程序实施、结果测试和程序文档等内容。形式规格有助于系统参与方各自的意见达...

【简答题】什么是形式化方法？

答案：形式化方法是基于严密的、数学上的形式机制的开发方法。它包括形式规格，以及支持规格语言的语法检查和规格属性证明的方法和工具...