WorldCat Identities

Watson, Bruce W.

Overview
Works: 11 works in 59 publications in 3 languages and 2,577 library holdings
Genres: Dictionaries  History  Conference papers and proceedings 
Roles: Other, Editor, Author, Creator
Publication Timeline
.
Most widely held works by Bruce W Watson
United States intelligence : an encyclopedia by Bruce W Watson( Book )

7 editions published in 1990 in English and Undetermined and held by 591 WorldCat member libraries worldwide

Military lessons of the Falkland Islands war : views from the United States( Book )

12 editions published between 1983 and 1984 in English and held by 485 WorldCat member libraries worldwide

I en række afhandlinger gennemgås en række vigtige erfaringer fra Falklandskrigen, set ud fra et amerikansk synspunkt
Operation Just Cause : the U.S. intervention in Panama by Bruce W Watson( Book )

9 editions published between 1990 and 1991 in English and held by 377 WorldCat member libraries worldwide

Sikkerhedspolitik; Udenrigspolitik; Efterretningstjeneste; Noriega; Militær intervention; Mellemamerika
China's military reforms : international and domestic implications( Book )

6 editions published in 1986 in English and held by 289 WorldCat member libraries worldwide

The Future of the Soviet Navy : an assessment to the year 2000( Book )

6 editions published between 1986 and 1988 in English and held by 172 WorldCat member libraries worldwide

United States Air Force : a dictionary( Book )

3 editions published in 1992 in English and Undetermined and held by 157 WorldCat member libraries worldwide

The correctness-by-construction approach to programming by Derrick Kourie( Book )

10 editions published between 2012 and 2014 in English and held by 41 WorldCat member libraries worldwide

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
Erfahrungen des Golfkrieges( Book )

2 editions published between 1991 and 2008 in German and held by 12 WorldCat member libraries worldwide

Fu dao zhan zheng de jun shi jiao xun( Book )

1 edition published in 1987 in Chinese and held by 4 WorldCat member libraries worldwide

The great Indian mutiny : Colin Campbell and the campaign at Lucknow by Bruce Watson( Book )

1 edition published in 1991 in English and held by 1 WorldCat member library worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.45 (from 0.38 for United Sta ... to 0.90 for Fu dao zha ...)

The great Indian mutiny : Colin Campbell and the campaign at Lucknow
Alternative Names
Watson, Bruce 1942-

Watson, Bruce W.

Languages
Covers