为了建立起活文档系统，很多团队最终都为需求说明和测试设计了一门领域相关的语言。
To create a living documentation system, many teams have ended up designing a domain specific language for specifications and tests.
自动化的实例化需求，如果仍以自然语言表达，并且团队的所有成员都可以轻易获取到，那这实际上就形成了一份可执行的需求说明。
An automated specification with examples, still in a human-readable form and easily accessible to all team members, becomes an executable specification.
第三个常见的问题就是需求说明的错误设计，利用技术语言或脚本去描述某个功能是怎么被测试的，而不是去描述系统应该怎么工作。
The third common issue is getting the design of specifications wrong, using technical language and scripts to describe how something is tested instead of what the system is supposed to do.
作家和技术人员例行公事般地创作出以 SGML（标准通用标记语言）格式表示的大量产品说明书、规章需求和计算机系统文档。
Writers and technicians routinely produce voluminous product specifications, regulatory requirements, and computer system documentation in SGML (Standard Generalized Markup Language) format.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
利用形式化规格说明语言——B语言对软件需求进行了严格定义，在严格的数学基础上进行软件开发，以获得更好的软件性能。
The paper models software requirement in the form of formalized specification language b, develops software based on a precise mathematical framework in order to achieve better software performance.
应用推荐