Results 11 -
11 of
11
The Theory and Practice of A Formal Method: NewCoRe
- In Proceedings of the IFIP World Computer Congress, volume I
, 1994
"... this paper is to demonstrate that it is possible to develop a formal method that offers both an unambiguous notation for expressing design decisions, and automated tools to check the soundness of those decisions. The need for verification, however, comes first, and * Early Movable Type in Korea, Kim ..."
Abstract
- Add to MetaCart
this paper is to demonstrate that it is possible to develop a formal method that offers both an unambiguous notation for expressing design decisions, and automated tools to check the soundness of those decisions. The need for verification, however, comes first, and * Early Movable Type in Korea, Kim Won-Yong, 1954. The quote appears in Daniel Boorstin's book The Discoverers, Vintage Books, 1983, Ch. 62
