ellanios82 wrote:
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 ?
I believe some automated code-generation was used yes. In my experience automatically generated code is largely unmaintainable. Once upon a time, I took over an application that was auto-generated in Ada. It was terrible and we rewrote it in assembler. -- Per Jessen, Zürich (3.4°C) http://www.dns24.ch/ - free dynamic DNS, made in Switzerland. -- To unsubscribe, e-mail: opensuse+unsubscribe@opensuse.org To contact the owner, e-mail: opensuse+owner@opensuse.org