High-Integrity System Specification and Design
High-Integrity System Specification and Design

Author: Jonathan P. Bowen

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 698

ISBN-13: 1447134311

DOWNLOAD EBOOK

Errata, detected in Taylor's Logarithms. London: 4to, 1792. [sic] 14.18.3 6 Kk Co-sine of 3398 3298 - Nautical Almanac (1832) In the list of ERRATA detected in Taylor's Logarithms, for cos. 4° 18'3", read cos. 14° 18'2". - Nautical Almanac (1833) ERRATUM ofthe ERRATUM ofthe ERRATA of TAYLOR'S Logarithms. For cos. 4° 18'3", read cos. 14° 18' 3". - Nautical Almanac (1836) In the 1820s, an Englishman named Charles Babbage designed and partly built a calculating machine originally intended for use in deriving and printing logarithmic and other tables used in the shipping industry. At that time, such tables were often inaccurate, copied carelessly, and had been instrumental in causing a number of maritime disasters. Babbage's machine, called a 'Difference Engine' because it performed its cal culations using the principle of partial differences, was intended to substantially reduce the number of errors made by humans calculating the tables. Babbage had also designed (but never built) a forerunner of the modern printer, which would also reduce the number of errors admitted during the transcription of the results. Nowadays, a system implemented to perform the function of Babbage's engine would be classed as safety-critical. That is, the failure of the system to produce correct results could result in the loss of human life, mass destruction of property (in the form of ships and cargo) as well as financial losses and loss of competitive advantage for the shipping firm.

Artificial Intelligence in Real-Time Control 1991
Artificial Intelligence in Real-Time Control 1991

Author: M.G. Rodd

Publisher: Elsevier

Published: 2014-05-23

Total Pages: 181

ISBN-13: 1483298108

DOWNLOAD EBOOK

This set of proceedings contains the most significant papers presented at the third IFAC Workshop on Artificial Intelligence in Real-time Control, which was held from September 23-25, 1991 in the USA. In this workshop, although there were still some "exotic" applications, a more practical view of the applications and limitations of current AI technology dominated the participants' discussions. With its resultant focus on reliability and safety considerations, the workshop posed as many questions as it answered. It provides an excellent mirror of the current state-of-the-art which these proceedings are intended to illustrate.

Unified Modeling Language: Systems Analysis, Design and Development Issues
Unified Modeling Language: Systems Analysis, Design and Development Issues

Author: Siau, Keng

Publisher: IGI Global

Published: 2000-07-01

Total Pages: 284

ISBN-13: 1930708998

DOWNLOAD EBOOK

UML is a large and complex language, with many features in need of refinement or clarification, and there are different views about how to use UML to build systems. This book sheds light on such issues, by illustrating how UML can be used successfully in practice as well as identifying various problematic aspects of UML and suggesting possible solutions.

Temporal Logic
Temporal Logic

Author: Dov M. Gabbay

Publisher: Springer Science & Business Media

Published: 1994-06-29

Total Pages: 564

ISBN-13: 9783540582410

DOWNLOAD EBOOK

This volume constitutes the proceedings of the First International Conference on Temporal Logic (ICTL '94), held at Bonn, Germany in July 1994. Since its conception as a discipline thirty years ago, temporal logic is studied by many researchers of numerous backgrounds; presently it is in a stage of accelerated dynamic growth. This book, as the proceedings of the first international conference particularly dedicated to temporal logic, gives a thorough state-of-the-art report on all aspects of temporal logic research relevant for computer science and AI. It contains 27 technical contributions carefully selected for presentation at ICTL '94 as well as three surveys and position papers.

Temporal Logic and State Systems
Temporal Logic and State Systems

Author: Fred Kröger

Publisher: Springer Science & Business Media

Published: 2008-03-27

Total Pages: 440

ISBN-13: 3540674012

DOWNLOAD EBOOK

Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.

Logics of Specification Languages
Logics of Specification Languages

Author: Dines Bjørner

Publisher: Springer Science & Business Media

Published: 2007-12-05

Total Pages: 624

ISBN-13: 3540741070

DOWNLOAD EBOOK

This book presents comprehensive studies on nine specification languages and their logics of reasoning. The editors and authors are authorities on these specification languages and their application. In a unique feature, the book closes with short commentaries on the specification languages written by researchers closely associated with their original development. The book contains extensive references and pointers to future developments.

Computer Science 2
Computer Science 2

Author: Ricardo Baeza-Yates

Publisher: Springer Science & Business Media

Published: 2013-06-29

Total Pages: 576

ISBN-13: 1475798059

DOWNLOAD EBOOK

CSL'88
CSL'88

Author: Egon Börger

Publisher: Springer Science & Business Media

Published: 1989-09-06

Total Pages: 412

ISBN-13: 9783540516590

DOWNLOAD EBOOK

This volume contains the papers which were presented at the second workshop "Computer Science Logic" held in Duisburg, FRG, October 3-7, 1988. These proceedings cover a wide range of topics both from theoretical and applied areas of computer science. More specifically, the papers deal with problems arising at the border of logic and computer science: e.g. in complexity, data base theory, logic programming, artificial intelligence, and concurrency. The volume should be of interest to all logicians and computer scientists working in the above fields.