This book makes the mathematical basis of formal methods accessible both to the student and to the professional. It is motivated in the later chapters by examples and exercises. Throughout, the premise is that mathematics is as essential to design and construction in software engineering as it is to other engineering disciplines. The exercises range from simple drills, intended to provide familiarity with concepts and notation, to advanced material. The first four chapters of the book are devoted to foundations, with an introduction to formal systems, then the propositional and predicate calculi, concluding with a chapter on theories in general. The second part of the book builds upon the foundations by covering in detail the theory of sets, relations, functions, and sequences. The mathematical data types then presented are powerful enough to describe many aspects of software systems, and small case studies are included as examples of their use in the modelling of software: a configuration manager, a storage allocator, and a simple backing store interface. The concrete syntax of the Z notation has been adopted. The third part of the book presents two detailed case studies in the use of mathematics in software engineering. The first is the specification of the behaviour of a telephone exchange, and the second illustrates the importance of the development of a mathematical theory in gaining an understanding of a system. Both case studies stress the roles of modelling and of proof in the construction of specifications. The final part describes the algebraic approach to specification and then summarizes and compares the various formal techniques.
"Sobre este título" puede pertenecer a otra edición de este libro.
Descripción CRC Press, 1988. Paperback. Estado de conservación: Good. Previous owners name inside front page. Good condition is defined as: a copy that has been read but remains in clean condition. All of the pages are intact and the cover is intact and the spine may show signs of wear. The book may have minor markings which are not specifically mentioned. Most items will be dispatched the same or the next working day. Nº de ref. de la librería mon0005281639
Descripción CRC Press, 1988. Estado de conservación: Good. N/A. Ships from the UK. Former Library book. Shows some signs of wear, and may have some markings on the inside. Nº de ref. de la librería GRP16685605
Descripción CRC Press, 1988. Estado de conservación: Fair. N/A. Ships from the UK. Former Library book. Binding is slightly damaged and/or book has some loose pages. There is also some slight water damage. No missing pages. Nº de ref. de la librería GRP90074226
Descripción CRC Press, 1988. Paperback. Estado de conservación: Very Good. Software Engineering Mathematics This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. . Nº de ref. de la librería 7719-9780273026730
Descripción Software Engineering Mathematics, 1988. Estado de conservación: Fair. This book has soft covers. Ex-library, With usual stamps and markings, In fair condition, suitable as a study copy. Nº de ref. de la librería 3102899
Descripción Paperback. Estado de conservación: Very Good. The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Nº de ref. de la librería GOR004086278
Descripción Routledge, 1986. Taschenbuch. Estado de conservación: Gut. 292 Seiten ex Library Book / aus einer wissenschaftlichen Bibliothek Sprache: Englisch Gewicht in Gramm: 482. Nº de ref. de la librería 289636