The focus of this book is on bridging the gap between two extreme methods for developing software. On the one hand, there are texts and approaches that are so formal that they scare off all but the most dedicated theoretical computer scientists. On the other, there are some who believe that any measure of formality is a waste of time, resulting in software that is developed by following gut feelings and intuitions. Kourie and Watson advocate an approach known as "correctness-by-construction," a technique to derive algorithms that relies on formal theory, but that requires such theory to be...

Contains analyses of the war by several prominent U.S. experts on national security affairs. Their observations reflect the continuing debate on such key issues in U.S. defence planning - and in Soviet defence planning as well - as the controversy over large versus small carriers, the advantages and dis advantages of a diesel-versus nuclear-powered submarine fleet, the effectiveness of the Harrier-type aircraft, the influence of high technology on amphibious warfare, and the ever increasing use of 'smart' weapons by all-purpose convectional armed forces.