Specification in B
Specification in B

Author: Kevin Lano

Publisher: World Scientific

Published: 1996

Total Pages: 264

ISBN-13: 9781860940088

DOWNLOAD EBOOK

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

Specification In B: An Introduction Using The B Toolkit
Specification In B: An Introduction Using The B Toolkit

Author: Howard Haughton

Publisher: World Scientific

Published: 1996-04-03

Total Pages: 256

ISBN-13: 1783262729

DOWNLOAD EBOOK

This book gives a practical introduction to the B specification language and method, an approach to the development of high-quality software using rigorous CASE techniques.It is suitable for both undergraduate and postgraduate courses, in addition to being an introduction for industrial practitioners. Extensive examples of all development life-cycle stages are given, including animation, proof, design and code generation in C. Two large case studies and exercises with solutions are provided.The authors have extensive experience in teaching B and in its industrial application to high integrity systems. The book uses the B Toolkit to support the text, but it is also relevant to users of alternative toolsets for B.

ZB 2005: Formal Specification and Development in Z and B
ZB 2005: Formal Specification and Development in Z and B

Author: Helen Treharne

Publisher: Springer Science & Business Media

Published: 2005-04-07

Total Pages: 507

ISBN-13: 3540255591

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 4th International Conference of Z and B users, ZB 2005, held in Guildford, UK in April 2005. The 25 revised full papers presented together with extended abstracts of 2 invited papers were carefully reviewed and selected for inclusion in the book. The papers document the recent advances for the Z formal specification notation and for the B method, ranging from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Integrated Formal Methods
Integrated Formal Methods

Author: Jim Davies

Publisher: Springer Science & Business Media

Published: 2007-06-22

Total Pages: 669

ISBN-13: 3540732098

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Integrated Formal Methods, IFM 2007, held in Oxford, UK. It addresses all aspects of formal methods integration, including of a process of analysis or design application of formal methods to analysis or design, extension of one method based upon the inclusion of ideas or concepts from others, and semantic integration or practical application.

SOFSEM'99: Theory and Practice of Informatics
SOFSEM'99: Theory and Practice of Informatics

Author: Jan Pavelka

Publisher: Springer

Published: 2003-07-31

Total Pages: 510

ISBN-13: 3540478493

DOWNLOAD EBOOK

This year the SOFSEM conference is coming back to Milovy in Moravia to th be held for the 26 time. Although born as a local Czechoslovak event 25 years ago SOFSEM did not miss the opportunity oe red in 1989 by the newly found freedom in our part of Europe and has evolved into a full-?edged international conference. For all the changes, however, it has kept its generalist and mul- disciplinarycharacter.Thetracksofinvitedtalks,rangingfromTrendsinTheory to Software and Information Engineering, attest to this. Apart from the topics mentioned above, SOFSEM’99 oer s invited talks exploring core technologies, talks tracing the path from data to knowledge, and those describing a wide variety of applications. TherichcollectionofinvitedtalkspresentsonetraditionalfacetofSOFSEM: that of a winter school, in which IT researchers and professionals get an opp- tunity to see more of the large pasture of today’s computing than just their favourite grazing corner. To facilitate this purpose the prominent researchers delivering invited talks usually start with a broad overview of the state of the art in a wider area and then gradually focus on their particular subject.

ZB 2003: Formal Specification and Development in Z and B
ZB 2003: Formal Specification and Development in Z and B

Author: Didier Bert

Publisher: Springer

Published: 2003-08-03

Total Pages: 559

ISBN-13: 3540448802

DOWNLOAD EBOOK

The refereed proceedings of the Third International Conference of Z and B Users, ZB 2003, held in Turku, Finland in June 2003. The 28 revised full papers presented together with 3 invited papers were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notation and for the B method, spanning the full scope from foundational, theoretical, and methodological issues to advanced applications, tools, and case studies.

Formal Methods Applied to Complex Systems
Formal Methods Applied to Complex Systems

Author: Jean-Louis Boulanger

Publisher: John Wiley & Sons

Published: 2014-07-22

Total Pages: 353

ISBN-13: 1119002923

DOWNLOAD EBOOK

This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).

The B Language and Method
The B Language and Method

Author: Kevin Lano

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 240

ISBN-13: 1447114949

DOWNLOAD EBOOK

B is one of the few formal methods which has robust, commercially-available tool support for the entire development lifecycle from specification through to code generation. This volume provides a comprehensive introduction to the B Abstract Machine Notation, and to how it can be used to support formal specification and development of high integrity systems. A strong emphasis is placed on the use of B in the context of existing software development methods, including object-oriented analysis and design. The text includes a large number of worked examples, graduated exercises in B AMN specification and development (all of which have been class-tested), two extended case studies of the development process, and an appendix of proof techniques suitable for B. Based on material which has been used to teach B at postgraduate and undergraduate level, this volume will provide invaluable reading a wide range of people, including students, project technical managers and workers, and researchers with an interest in methods integration and B semantics.

ZB 2000: Formal Specification and Development in Z and B
ZB 2000: Formal Specification and Development in Z and B

Author: Jonathan P. Bowen

Publisher: Springer Science & Business Media

Published: 2000-08-16

Total Pages: 524

ISBN-13: 3540679448

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the First International Conference of B and Z Users, ZB 2000, held in York, UK in August/September 2000. The 25 revised full papers presented together with four invited contributions were carefully reviewed and selected for inclusion in the book. The book documents the recent advances for the Z formal specification notion and for the B method; the full scope, ranging from foundational and theoretical issues to advanced applications, tools, and case studies, is covered.