TY - GEN
T1 - Can executable specifications close the gap between software requirements and implementation
AU - Yagel, Reuven
PY - 2011/12/1
Y1 - 2011/12/1
N2 - This paper reviews some of the techniques which are considered executable specifications. It explains why, in spite of their apparent benefit, they did not become an industry mainstream (yet) and what might be done about it. At last several future directions, research plans and suggestions are drawn.
AB - This paper reviews some of the techniques which are considered executable specifications. It explains why, in spite of their apparent benefit, they did not become an industry mainstream (yet) and what might be done about it. At last several future directions, research plans and suggestions are drawn.
UR - https://www.scopus.com/pages/publications/84862179390
M3 - Conference contribution
AN - SCOPUS:84862179390
SN - 9789898425829
T3 - Proceedings of the 2nd International Workshop on Software Knowledge, SKY 2011, in Conjunction with IC3K 2011
SP - 87
EP - 91
BT - Proceedings of the 2nd International Workshop on Software Knowledge, SKY 2011, in Conjunction with IC3K 2011
T2 - 2nd International Workshop on Software Knowledge, SKY 2011, in Conjunction with IC3K 2011
Y2 - 26 October 2011 through 26 October 2011
ER -