Welcome to our book review site go-pdf.online!
You may have to Search all our reviewed books and magazines, click the sign up button below to create a free account.
Formal Methods and Object Technology
Rationale Software engineering aims to develop software by using approaches which en able large and complex program suites to be developed in a systematic way. However, it is well known that it is difficult to obtain the level of assurance of correctness required for safety critical software using old fashioned program ming techniques. The level of safety required becomes particularly high in software which is to function without a break for long periods of time, since the software cannot be restarted and errors can accumulate. Consequently programming for mission critical systems, for example, needs to address the requirements of correctness with particular care. In the search for technique...
The Scientific Legacy of Beppo Occhialini
The present volume is a collection of reviews, essays and personal reminiscences on Occhialini's scientific life and work. Through these recollections the reader will also gain a vivid impression of the pioneering days of elementary particle physics when new detection methods emerged, like the triggered cloud chamber and nuclear emulsions - two techniques perfected by Occhialini - which made progress on comic ray physics possible in the first place.
Ada for Specification
This book examines the use of the Ada programming language in the specification stage of a software development project, placing emphasis throughout on the issues involved in specification and on the generation of ideas for software tools for use in an Ada environment. It begins with a discussion of the role and purpose of specification in a large-scale software project, describing the features that a specification language should have and assessing Ada as a candidate. The use of Ada as a program design language and in system modelling is then examined, together with a number of other specification languages. Conversion of a specification into a program and tools for handling specifications are then considered, before the findings are summarised and conclusions drawn. An appendix describes an Ada-related specification language, adapted to general engineering systems. The book is based on a study for the Commission of the European Communites, completed in July 1984.
