The RubySpec project aims to write a complete executable specification for the Ruby programming language that is syntax-compatible with RSpec.
RubySpec项目的目标是为Ruby编程语言提供一个完全可执行的规范，其语法兼容rspec。
An automated specification with examples, still in a human-readable form and easily accessible to all team members, becomes an executable specification.
自动化的实例化需求，如果仍以自然语言表达，并且团队的所有成员都可以轻易获取到，那这实际上就形成了一份可执行的需求说明。
An automated specification with examples, still in a human readable form and easily accessible to all team members, becomes an executable specification.
自动化的实例化需求，如果仍然用可被人们读懂的方式去描述，而且整个团队的成员都很容易获取到，那么它实际上就变成了并可执行的需求。
However, RubySpec also emphasizes describing Ruby in prose as an essential element of the executable specification and is the reason we use RSpec-compatible syntax.
除此之外，它还强调用一种可执行的规范来描述Ruby，这也是我们使用RSpec兼容语法的原因。
Authors: Model-based analysis USES a model program — a kind of executable specification — to check specifications or designs, including communication protocols for example.
作者：基于模型的分析使用了一个模型程序——一种可执行的规格说明书——去检测规格说明或者设计，例如包含了对通信协议的检测。
I tend to use which when I am reasonably sure I'll find an executable and I just need its full path specification.
当我确信我将找到一个可执行文件并且只需要它的完整路径说明时，我将使用which。
Even better if the specification is actually executable code instead of pages of prose.
如果该规格是可执行的代码而非文字说明，那更就好了。
TDD is a style of coding where the desired behavior or specification is written first in the form of an executable example (typically as a JUnit test case).
TDD是一种编码风格，它先以可执行示例(通常是JUnit测试用例)的形式编写所需的行为或规范。
By using PAR method, it is possible to provide the detailed design process from problem specification to executable code.
应用PAR方法，可以给出从需求解的问题，到可执行程序的具体设计过程。
Software refinement is an important technology with respect to transformation from formal specification language to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
By using PAR method, it is possible to get detailed design process from problem specification to executable code.
应用PAR方法，可以给出从需求解问题，到可执行程序的具体设计过程。
The specification of an executable statement that forms an abstraction of a computational procedure.
动作是一条可执行语句的规格说明，此规格说明形成计算例程的抽象。
The timeline shows that we already had executable process languages with the web services flow language (WSFL) by IBM and the XLANG specification by Microsoft.
时间线表明我们已经具有可执行流程语言：IBM的Web服务流程语言（WSFL）。Microsoft的XLANG规范。
The timeline shows that we already had executable process languages with the web services flow language (WSFL) by IBM and the XLANG specification by Microsoft.
时间线表明我们已经具有可执行流程语言：IBM的Web服务流程语言（WSFL）。Microsoft的XLANG规范。
应用推荐