BT

Ready for InfoQ 3.0? Try the new design and let us know what you think!

rss
30:20
Followers

Beyond Contracts: An Exploration into Unified Specifications

Posted by Paul deGrandis  on  Jun 20, 2013 1 Posted by Paul deGrandis Follow 0 Followers  on  Jun 20, 2013 1

Paul deGrandis emphasizes the importance of using specification-as-a-value, a way of unifying core.contracts, test.generative, and external systems under a single common specification in Clojure.

17:36
Followers

Formal Specification of a JavaScript Module System

Posted by Seonghoon Kang  on  Apr 05, 2013 Posted by Seonghoon Kang Follow 0 Followers , Sukyoung Ryu Follow 0 Followers  on  Apr 05, 2013

In this paper, we propose a formal specification of a JavaScript module system. A module system for JavaScript will allow safe and incremental development of JavaScript web applications.

43:38
Followers

Writing Executable Specifications

Posted by Thomas Sundberg  on  Feb 19, 2013 1 Posted by Thomas Sundberg Follow 0 Followers  on  Feb 19, 2013 1

Thomas Sundberg emphasizes the need for writing executable specifications demoing on example using Cucumber.

BT