The third edition of the highly successful Achieving Quality Software provides a concise and readable description of the main quality issues which arise in the use of software, particularly in safety-related applications. Current safety principles are described using the `safety life-cycle'. A full picture of current guidance and standards is given. The traditional methods used to enhance software quality are detailed and their limitations emphasized. Tools and techniques are fully explained. Documentation control, languages and programming standards, review, test, static analysis and fault tolerance are all covered. Moreover, 
<ul>
<li> formal mathematical methods are addressed, with examples, and their benefits and limitations are explained; </li> <li> the controversial areas of metrics and failure rate measurement are outlined; </li> <li> comprehensive checklists and a case study are provided, together with a glossary and bibliography; </li> <li> a fully worked example of source code static analysis is provided. </li> </ul> Achieving Quality Software is suitable for all engineers involved with programmable safety-related systems, especially hardware design engineers and software engineers. Not only quality and design engineers in software-related organizations, but graduate students on software and safety and reliability courses will find this book invaluable.

Achieving Quality Software: Including its Application to Safety-related Systems

Computers & Technology

Smith, D.J.

Programming

Springer

Written with full access to the documentary evidence, this book tells of the murder of a two-year-old by two ten-year-olds which horrified the nation. The murderers were captured on video leading their victim away from his mother, out of the shopping mall, to be killed shortly afterwards. His body was left on a railway line. The characteristically Liverpudlian display of grief that followed turned into mob violence. The crowd wanted to lynch the two ten-year-olds. Meanwhile, the police were faced with the delicate problem of interrogating such young people - the slightest slip-up could be disastrous - and the process began of finding out why this almost unimaginably horrible thing happened.

Sleep of Reason

Politics & Social Sciences

Social Sciences

RANDOM HOUSE UK

Outlines the development of horse-drawn vehicles from their inception to the present day. It is an evocation of state and civic dignity, recalling the efforts of magnificent Shire horses and humble but hard-working cobs or 'vanners'. Although mechanical transport has replaced stage-coach, hansom cab and family brougham, there has been a revival of interest in leisure and competitive driving, as a result of which old vehicles have been restored and new types introduced. This book will assist the identification of different vehicles and describes their purpose, history, working parts and the materials used.

Discovering Horse-drawn Vehicles (Shire Discovering)

Engineering & Transportation

Transportation

Shire

"The horse-drawn vehicle has had a remarkable history, going in a very short time from universal prominence to almost complete extinction. Now, quite unexpectedly, it is enjoying a revival. Not only are private individuals discovering the pleasure, fun and adventure of driving, but commercial companies have realised that, for certain types of work, horse-drawn transport is still the most economical. For all those who are not only interested in the historical development of the horse-drawn vehicle, but would also like to own and drive one themselves, this is the ideal book. It is crammed with practical information about restoring vehicles, driving them, and entering shows and events. Whether you are a novice, or have already made a start on this fascinating hobby, this is a source of invaluable information." --Back cover."The horse-drawn vehicle has had a remarkable history, going in a very short time from universal prominence to almost complete extinction. Now, quite unexpectedly, it is enjoying a revival. Not only are private individuals discovering the pleasure, fun and adventure of driving, but commercial companies have realised that, for certain types of work, horse-drawn transport is still the most economical. For all those who are not only interested in the historical development of the horse-drawn vehicle, but would also like to own and drive one themselves, this is the ideal book. It is crammed with practical information about restoring vehicles, driving them, and entering shows and events. Whether you are a novice, or have already made a start on this fascinating hobby, this is a source of invaluable information." --Back cover.

Collecting and Restoring Horse-Drawn Vehicles

Aztex Corp

Robert Stephenson: An Illustrated Life (Shire Library)

Biographies & Memoirs

Since ancient times, horse-drawn vehicles were the primary means of transportation for military purposes. Yet it wasn't until the last decade of the eighteenth century that the civilian contractors that the British military had previously relied upon were replaced by the Royal Waggoners, a temporary transport corps that would only form on the outbreak of war. There was no permanent royal transport corps until the Crimean War in the nineteenth century. Beginning from this period, this book explores the variety of horse-drawn vehicles used by the British Army, from the general service wagons, ambulance wagons and carts, water carts, to the specialized vehicles such as the mobile pigeon loft and the traveling field cooker. D. J. Smith describes the equipment used in horse-drawn vehicles such as draught gear and harnesses, and also explains the process of wagon construction using many detailed line drawings. Illustrated with black and white photographs throughout, Discovering Horse-Drawn Transport of the British Army reveals the vital role played by these wagons and carts for centuries until the introduction of motor vehicles in the World War I gradually superseded them.

Discovering Horse-Drawn Transport of the British Army (Shire Discovering)

History

Europe

Discovering Horse Drawn Caravans

Shire Publications Ltd.

At the beginning of the eighteenth century the Agricultural Revolution revolutionized farming. Centuries-old methods were discarded and widespread improvements were made. One of the most notable changes was the replacement of draught oxen with the more versatile special heavy breeds of horses. The Victorian ingenuity of the Industrial Revolution produced an enormous range of horse-drawn agricultural machinery. Fields had been ploughed by draught animals for centuries, but suddenly new horse-drawn machinery included not just ploughs, but grubbers, cultivators, harrows, rollers, drills, reapers, binders, root lifters, manure spreaders and rakes. This book describes and illustrates these machines, the horses and their harness, inventors and manufacturers and lists the places where the machines can be seen today.

Discovering Horse Drawn Farm Machinery (Shire Discovering)

Discovering Craftof the Inland Waterways

Business & Money

Industries

Shire Pubns

How to Use This Book The primary purpose of this book is to assist small companies, involved in both hardware and software, to devise and evolve their own quality systems. There are a number of national and now international standards which outline the activities for which procedures and records need to be specified. They are described and compared in Chapter 2, and the subsequent guidance in the book is intended to assist in meeting them. Although, at first sight, the operations of a hardware equipment developer may seem very different from those of a software house, the basic requirements of a quality system, such as the BS 5750 and ISO 1987 series of documents, are the same. For this reason the same standard can be called for in both areas and it will be seen, in Part 2, that suitable procedures can be derived to meet both types of operation. Quality standards (BS 5750, AQAP, ISO 9000 series) distinguish between companies carrying out, on the one hand, both design and manufacturing fixed functions and, on the other hand, those who only manufacture to specifications. In practice, the lesser requirements (those applying to manufacture to fixed specifications) are common to both levels of standard and the additional controls pertaining to design are added to obtain the higher standard. Chapter 2 explains the differences in detail.

Quality Procedures for Hardware and Software: A Cost Effective Guide to Establishing a Quality System―Contains Manuals and Template Procedures

Edge, J.S.

Computer Science

See the best price to sell, buy, or rent books by Smith, D.J.. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.

Books by Smith, D.J.