Bruce W. Watson

Gerald W. Hopple

The military intelligence co11111unity is one of the most misunderstood and maligned facets of the U.S. government. To much of the American public, intelligence means an organization of James Bonds, sophisticated, super-individualists, John Waynes who live slightly beyond the law. To others, military intelligence is considered as a constant threat to American democracy, a danger that must be contained and minimized.

The Military Intelligence Community

Peter Watson

Janell Watson

War On The Mind

Derrick G. Kourie

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 deployed in a very systematic and pragmatic way. First they provide the key theoretical background (like first-order predicate logic or refinement laws) that is needed to understand and apply the method. They then detail a series of graded examples ranging from binary search to lattice cover graph construction and finite automata minimization in order to show how it can be applied to increasingly complex algorithmic problems. The principal purpose of this book is to change the way software developers approach their task at programming-in-the-small level, with a view to improving code quality. Thus it coheres with both the IEEE’s Guide to the Software Engineering Body of Knowledge (SWEBOK) recommendations, which identifies themes covered in this book as part of the software engineer’s arsenal of tools and methods, and with the goals of the Software Engineering Method and Theory (SEMAT) initiative, which aims to “refound software engineering based on a solid theory.”

The Correctness-by-Construction Approach to Programming

Peter Tsouras

This book offers one of the first comprehensive academic views on Just Cause, the December 1989 U.S. military intervention in Panama. It presents excellent positions for the reader to consider and give a comprehensive view of all of the factors and events that prompted the operation.

The U.s. Intervention In Panama

Operation Just Cause

Susan M Watson

Originally published in 1989. Given the events of 1987 and 1988-the death of Admiral Sergei G. Gorshkov, who had served as Commander-in-Chief of the Soviet Navy from 1956 to 1985 and was so influencial in the development of the current Soviet Navy, the Soviet policy of glasnost', the U .S.-Soviet arms negotiations, Secretary Mikhail Gorbachev's visit to Washington, President Ronald Reagan's visit to Moscow, and the treaty concerning intermediate-range nuclear weapons- a study of the Soviet naval threat to Europe is particularly timely. This study begins by examining Soviet military and naval strategy, which provides a view of how the Soviets intend to use their forces. Then the book explore Soviet naval capabilities and operations, because a full understanding of Soviet naval power provides an understanding of the isolation that Europeans often feel. In the fourth and fifth sections of the book we examine the threat to northern and southern Europe.

Bruce W. Watson

About

Books

Join the club