Tony Hoare – författare

''Tony is the real deal.'' Andy McNabSierra Leone, 2000.While on patrol as part of a peacekeeping mission, eleven British soldiers are kidnapped.The captors are a dangerous rebel group known as the West Side Boys. Fuelled by alcohol and drugs, the behaviour of the rebels is notoriously unpredictable. How long the soldiers have, no one knows. Rescuing them becomes the British military''s highest priority, and so they bring in the SAS for Operation Barras, a mission that will go down in special forces history.After negotiations break down, there are fears that the men being held in the compound could be executed at any moment, but there is no easy way in to save them. The only option is to shock the enemy on their home turf. A plan is put in place. The ambush begins.Told from the perspectives of multiple people involved in the operation, and with Tony Hoare''s expert insight into the forces, this is a heart-pounding retelling of one of the SAS''s most dangerous missions.

Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in applications of software technology, formal methods have to serve the needs and the quality of advanced software engineering methods, especially taking into account security aspects in Information Technology. This book presents mathematical foundations of software engineering and state-of-the-art engineering methods in their theoretical substance in the step towards practical applications to examine software engineering techniques and foundations used for industrial tasks.

The contributions in this volume emerged from lectures of the 25th International Summer School on Engineering Theories of Software Intensive Systems, held at Marktoberdorf, Germany from August 3 to August 15, 2004.

Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra’s algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for “fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design.” Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity.

In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra’s numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.

Edsger Wybe Dijkstra (1930–2002) was one of the most influential researchers in the history of computer science, making fundamental contributions to both the theory and practice of computing. Early in his career, he proposed the single-source shortest path algorithm, now commonly referred to as Dijkstra’s algorithm. He wrote (with Jaap Zonneveld) the first ALGOL 60 compiler, and designed and implemented with his colleagues the influential THE operating system. Dijkstra invented the field of concurrent algorithms, with concepts such as mutual exclusion, deadlock detection, and synchronization. A prolific writer and forceful proponent of the concept of structured programming, he convincingly argued against the use of the Go To statement. In 1972 he was awarded the ACM Turing Award for “fundamental contributions to programming as a high, intellectual challenge; for eloquent insistence and practical demonstration that programs should be composed correctly, not just debugged into correctness; for illuminating perception of problems at the foundations of program design.” Subsequently he invented the concept of self-stabilization relevant to fault-tolerant computing. He also devised an elegant language for nondeterministic programming and its weakest precondition semantics, featured in his influential 1976 book A Discipline of Programming in which he advocated the development of programs in concert with their correctness proofs. In the later stages of his life, he devoted much attention to the development and presentation of mathematical proofs, providing further support to his long-held view that the programming process should be viewed as a mathematical activity.

In this unique new book, 31 computer scientists, including five recipients of the Turing Award, present and discuss Dijkstra’s numerous contributions to computing science and assess their impact. Several authors knew Dijkstra as a friend, teacher, lecturer, or colleague. Their biographical essays and tributes provide a fascinating multi-author picture of Dijkstra, from the early days of his career up to the end of his life.

''Tony is the real deal.'' Andy McNabThe full, explosive, boots-on-the-ground story of the Falklands War, from a soldier at the heart of the action, published for the 40th anniversary of the conflict. Tony Hoare always knew he wanted to be in the SAS.Both his grandfather and father had been soldiers, and so Tony signed up for the Cadets at 13, then the Infantry at 17 and enlisted into the Royal Green Jackets before passing arduous SAS selection in 1978.Less than four years later, Tony and his team were sent to a collection of islands just off the coast of Argentina called the Falklands, where tensions were rising and war was on the horizon.No amount of training could prepare Tony for what happened over the course of the next twelve weeks, as the Falkland Islands became a battleground between British and Argentinian forces. As helicopters crashed and ships sank, Tony, at the centre of the action, battled across treacherous terrain and against a fearsome enemy, doing whatever it took to retake the islands.From one of the only soldiers who was on the frontline throughout the entire conflict, this is a thrilling account of what really happened in the Falklands, an explosive story of land, sea and air battles from a trooper who saw it all.