Chris:
>I bring this up because I have in fact been recently working on what I am
>calling, for lack of a better term at the moment, a Universal Rigorous
>Specification Method, or URSM. This would be a generalization of a design
>technique used for efficiently designing provably correct software. By
>suitably constraining the primitive operations and control structures, a
>design of a computer program can be mechanically (and rapidly) verified to
?be internally correct and complete (or not, of course). For the interested,
>James Martin's book, "System Design from Provably Correct Constructs"
>describes this method in detail.
Hi Chris
Just so you don't call whatever you "create" with your "design technique"
Generally Organized Dumb Stuff.
Bertvan
This archive was generated by hypermail 2b29 : Mon Aug 14 2000 - 10:50:34 EDT