The RubySpec project aims to write a complete executable specification for the Ruby programming language that is syntax-compatible with RSpec.

RubySpec项目的目标是为Ruby编程语言提供一个完全可执行的规范，其语法兼容rspec。

youdao

Software refinement is an important technology with respect to transformation from formal specification language to executable code.

软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。

youdao

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规范。

youdao