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.

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.

Since Admiral Sergei G. Gorshkov was appointed to the office of commander in chief of the Soviet Navy in 1956, the Soviet Union has made a massive investment in naval construction, training, and operations. As a result, the Soviet Navy has grown from a coastal defense force to one of the world's two strongest navies. This book offers a detailed assessment of every major aspect of the Soviet Navy, from fleet structure and training facilities to command and control procedures and warfare and intelligence collection capabilities.

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.

This is the only book to offer a detailed chronology of modern Soviet naval operations set within the framework of long-range Soviet foreign and domestic policy. This context is important because it puts the navy in its proper place as a significant cog in the gigantic machinery of Soviet "grand strategy." Commander Watson argues that the Soviet Navy's physical configuration, strategy, and operations reflect a long-term "upgrading" pattern, designed to create an equal-partner status in the total balance of Soviet military forces. Changes in the navy's activities are not merely pragmatic reactions to momentary crises or shifts in world power trends. TTie navy has played an integral part in implementing the four strategic long-range goals of Soviet policy: defense of the Soviet Union, enhancement of its international position, establishment and maintenance of Soviet military superiority internationally, and the promotion of other Communist revolutions. Commander Watson discusses in detail Soviet naval operations in ail of the world's oceans. He provides new insight into the dimensions of Soviet naval presence and port visit activity, using vast amounts of statistical material gathered from his original research. The text is supplemented by maps, photographs, and extensive tabular documentation.

This is the only book to offer a detailed chronology of modern Soviet naval operations set within the framework of long-range Soviet foreign and domestic policy. This context is important because it puts the navy in its proper place as a significant cog in the gigantic machinery of Soviet "grand strategy." Commander Watson argues that the Soviet Navy's physical configuration, strategy, and operations reflect a long-term "upgrading" pattern, designed to create an equal-partner status in the total balance of Soviet military forces. Changes in the navy's activities are not merely pragmatic reactions to momentary crises or shifts in world power trends. TTie navy has played an integral part in implementing the four strategic long-range goals of Soviet policy: defense of the Soviet Union, enhancement of its international position, establishment and maintenance of Soviet military superiority internationally, and the promotion of other Communist revolutions. Commander Watson discusses in detail Soviet naval operations in ail of the world's oceans. He provides new insight into the dimensions of Soviet naval presence and port visit activity, using vast amounts of statistical material gathered from his original research. The text is supplemented by maps, photographs, and extensive tabular documentation.

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 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 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 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.

This book constitutes the refereed proceedings of the 51st Annual Conference of the Southern African Computer Lecturers' Association, SACLA 2022, held in Cape Town, South Africa, during July 21-22, 2022. The 10 full papers were included in this book were carefully reviewed and selected from 31 submissions. They were organized in topical sections as follows: curriculum; assessment; teaching in context; innovative teaching; and pandemic pedagogy.