问答题
形式规格描述的是什么？
规格就是对系统或者对象及其期望的特性或者行为进行的描述。规格所要描述的内容包括：功能特性、行为特性、结构特性、时间特性。......
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
问答题 软件系统构建的关键是什么？
问答题 什么是形式化方法？
问答题 简述古代学者惟一的一次公理化方法尝试。
