9 Dec
2014
9 Dec
'14
09:53
On 12/09/2014 10:46 AM, Per Jessen wrote:
There tools such as formal programming, but I have not heard of anyone actually making productive use of it. It's too cumbersome, but in theory you can_prove_ that your code does exactly what it is specified to do. Now we just hope you have a perfect spec to write to, hahaha. ................
- btw - Tools : some must be fantastic-good : IIRC was it Yast was converted into Ruby code by robot-translator ? .......... regards -- To unsubscribe, e-mail: opensuse+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse+owner@opensuse.org