在过去的20多年中,人们已经研究出许多形式化规格说明语言和工具,用于替代自然语言规格说明技术。今天,形式化语言的倡导者正在开发交互式环境,以便可以调用自动工具把基于形式语言的规格说明翻译成可执行的程序代码,用户能够使用可执行的原型代码去进一步精化形式化的规格说明。
(视频内容是: 第3章需求分析(2))
A 第四代技术
B 可重用的软件构件
C 形式化规格说明
D 原型环境
我们了解了详细的获取需求方法
接下来我们进入学以致用。