The RubySpec project aims to write a complete executablespecification for the Ruby programming language that is syntax-compatible with RSpec.
RubySpec项目的目标是为Ruby编程语言提供一个完全可执行的规范,其语法兼容rspec。
2
Software refinement is an important technology with respect to transformation from formal specificationlanguage to executable code.
软件求精技术是实现从形式规范语言到可执行代码转换的一种重要技术。
3
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.