%0 Generic %1 carrington_94_review %A Carrington, David %A Hayes, Ian %A Nickson, Ray %A Watson, G. %A Welsh, J. %D 1994 %K refinement 1994 tool _to_review review %T A Review of Existing Refinement Tools %U http://citeseer.ist.psu.edu/carrington94review.html %X This report examines the requirements for a support tool for the stepwise refinement of program specifications to program code using the refinement calculus. This calculus, which was developed independently by Back, Morgan and Morris, is described briefly and the requirements for a tool to support the major roles of refinement are outlined. These broad requirements are expanded to identify more specific functionality, and some existing tools are compared within this functional framework. After...

@misc{carrington_94_review, abstract = {This report examines the requirements for a support tool for the stepwise refinement of program specifications to program code using the refinement calculus. This calculus, which was developed independently by Back, Morgan and Morris, is described briefly and the requirements for a tool to support the major roles of refinement are outlined. These broad requirements are expanded to identify more specific functionality, and some existing tools are compared within this functional framework. After...}, added-at = {2009-02-11T22:23:33.000+0100}, author = {Carrington, David and Hayes, Ian and Nickson, Ray and Watson, G. and Welsh, J.}, biburl = {https://www.bibsonomy.org/bibtex/256c6398718e160a87abf8b03a5db62c6/leonardo}, citeulike-article-id = {771780}, interhash = {f80e0e54196ee2f10b3606f7f2de9991}, intrahash = {56c6398718e160a87abf8b03a5db62c6}, keywords = {refinement 1994 tool _to_review review}, posted-at = {2006-07-24 22:36:40}, priority = {3}, timestamp = {2009-02-11T22:23:33.000+0100}, title = {A Review of Existing Refinement Tools}, url = {http://citeseer.ist.psu.edu/carrington94review.html}, year = 1994 }