Can Executable Specifications Close the Gap between Software Requirements and Implementation? In Proceedings of the 2nd International Workshop on Software Knowledge - Volume 0IC3K, 87-91, 2011 , Paris, France