eBook PDF Download Digital Library
Author: Jonathan Jacky
Publisher: Cambridge University Press
Published: 1997
Total Pages: 382
ISBN-13: 9780521559768
DOWNLOAD EBOOK →A self-contained tutorial on Z for working programmers discussing practical ways to apply formal methods in real projects, first published in 1997.
Author: J. B. Wordsworth
Publisher: Addison Wesley Publishing Company
Published: 1992
Total Pages: 362
ISBN-13:
DOWNLOAD EBOOK →This book is a highly practical tutorial guide to the Z specification language and its role in software development. The book illustrates how familiar procedures and decisions can be made precise using mathematics. Beginning with a case study, this book is designed to be as self-contained as possible, taking the reader through the basic concepts in logic and set theory formulating precise ideas about software systems, and combines a formal approach with practical examples of its use in software development.
Author: Jonathan P. Bowen
Publisher: Springer Science & Business Media
Published: 1997-03-20
Total Pages: 452
ISBN-13: 9783540627173
DOWNLOAD EBOOK →This book constitutes the refereed proceedings of the 10th International Conference of Z Users, ZUM'97, held in Reading, UK, in April 1997. The volume presents 18 revised full papers together with three invited presentations by internationally leading experts. The papers are organized into topical sections on real-time systems, tools, logic, system development, reactive systems, refinement, and applications. Also a select Z bibliography by Jonathan Bowen is added. All in all, the book competently reports the state-of-the-art in research and advanced applications of the Z notation.
Author: Antoni Diller
Publisher: John Wiley & Sons
Published: 1994-07-19
Total Pages: 406
ISBN-13:
DOWNLOAD EBOOK →This tutorial introduction to Z takes as its starting point the practical uses of this formal specification language. Case studies are used throughout the text to illustrate all aspects of Z. This edition includes new information on how to relate Z specifications to actual program codes.
Author: Wolfgang Grieskamp
Publisher: Springer Science & Business Media
Published: 2000-10-18
Total Pages: 449
ISBN-13: 3540411968
DOWNLOAD EBOOK →This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000. The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.
Author: Jeremy Gibbons
Publisher: Springer Science & Business Media
Published: 2009-10-26
Total Pages: 185
ISBN-13: 3642049117
DOWNLOAD EBOOK →This book constitutes the refereed proceedings of the TFM 2009, held in Eindhoven, The Netherlands in November 2009. The 10 revised full papers presented together with an abstracts of invited talk were carefully reviewed and selected from 19 submissions. The papers presented explore the experiences of teaching FMs, both successful and unsuccessful, educational resources including the use of books, case studies and the internet, the education of weak and mathphobic students, the integration, or otherwise, of FMs into the curriculum, including, contributions to the definition of a Formal Methods Body of Knowledge (FMBOK), the advantages of FM-trained graduates in the workplace, changing attitudes towards FMs in students, academic staff and practitioners and the necessary mathematical background.
Author: Juliano Iyoda
Publisher: Springer
Published: 2013-08-30
Total Pages: 252
ISBN-13: 3642410715
DOWNLOAD EBOOK →This book constitutes the refereed proceedings of the 16th Brazilian Symposium on Formal Methods, SBMF 2013, held in Brasilia, Brazil, in September/October 2013. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
Author: Robert M. Hierons
Publisher: Springer
Published: 2008-04-13
Total Pages: 370
ISBN-13: 3540789170
DOWNLOAD EBOOK →This book constitutes the thoroughly refereed and peer-reviewed outcome of the Formal Methods and Testing (FORTEST) network - formed as a network established under UK EPSRC funding that investigated the relationships between formal (and semi-formal) methods and software testing - now being a subject group of two BCS Special Interest Groups: Formal Aspects of Computing Science (BCS FACS) and Special Interest Group in Software Testing (BCS SIGIST). Each of the 12 chapters in this book describes a way in which the study of formal methods and software testing can be combined in a manner that brings the benefits of formal methods (e.g., precision, clarity, provability) with the advantages of testing (e.g., scalability, generality, applicability).
