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 Science & Business Media

Published: 2003-05-20

Total Pages: 559

ISBN-13: 3540402535

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.

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.

B 2007: Formal Specification and Development in B
B 2007: Formal Specification and Development in B

Author: Jacques Julliand

Publisher: Springer Science & Business Media

Published: 2006-12-14

Total Pages: 305

ISBN-13: 3540687602

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 7th International Conference of B Users, B 2007, held in Besançon, France, January 2007. Coverage in this volume includes industrial applications and case studies using B, integration of model-based specification methods in the software development lifecycle, derivation of hardware-software architecture from model-based specifications, and validating requirements through formal models.

Theoretical Aspects of Computing - ICTAC 2005
Theoretical Aspects of Computing - ICTAC 2005

Author: Dang Van Hung

Publisher: Springer Science & Business Media

Published: 2005-10-04

Total Pages: 628

ISBN-13: 3540291075

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the Second International Colloquium on Theoretical Aspects of Computing, ICTAC 2005 held in Hanoi, Vietnam, in October 2005. The 35 revised full papers presented together with 5 invited talks and a summary of 5 tutorials were carefully reviewed and selected from 122 submissions. The papers are organized in topical sections on formal languages, computer science logics, program construction, real-time systems, concurrency and refinement, software security, quantitative logics, object-orientation and component systems, model-checking and algorithms, and applied logics and computing theory.

Communicating Process Architectures 2009
Communicating Process Architectures 2009

Author: P. H. Welch

Publisher: IOS Press

Published: 2009

Total Pages: 420

ISBN-13: 1607500655

DOWNLOAD EBOOK

"This book is a collection of the papers presented at the 32nd Communicating Process Architecture conference (CPA), held at the Technical University Eindhoven, the Netherlands, from the 1st to the 4th of November 2009. Concurrency is a fundamental mechanism of the universe, existing in all structures and at all levels of granularity. To be useful in this universe, any computer system has to model and reflect an appropriate level of abstraction. For simplicity, therefore, the system needs to be concurrent - so that this modeling is obvious and correct. Today, the commercial reality of multicore processors means that concurrency issues can no longer be ducked if applications are going to be able to exploit more than an ever-diminishing fraction of their power. This is a second, but very forceful, reason to take this subject seriously. We need theory and programming technology that turns this around and makes concurrency an elementary part of the everyday toolkit of every software engineer. This is what these proceedings are all about. Subjects covered in this volume include: system design and implementation for both hardware and software; tools for concurrent programming languages, libraries and run-time kernels; and formal methods and applications."--

Abstraction, Refinement and Proof for Probabilistic Systems
Abstraction, Refinement and Proof for Probabilistic Systems

Author: Annabelle McIver

Publisher: Springer Science & Business Media

Published: 2005-10-27

Total Pages: 394

ISBN-13: 038727006X

DOWNLOAD EBOOK

Illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm . Presents results of a large and integrated body of research in the area of 'quantitative' program logics.

FME 2003: Formal Methods
FME 2003: Formal Methods

Author: Keijiro Araki

Publisher: Springer Science & Business Media

Published: 2003-08-27

Total Pages: 955

ISBN-13: 3540408282

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the International Symposium of Formal Methods Europe, FME 2003, held in Pisa, Italy in September 2003. The 44 revised full papers presented together with 5 invited papers were carefully reviewed and selected from 144 submissions. The papers are organized in topical sections on industrial issues, control systems and applications, communication system verfication, co-specification and compilers, composition, Java, object-orientation and modularity, model checking, parallel processes, program checking and testing, B method, and security.

Formal Methods for Components and Objects
Formal Methods for Components and Objects

Author: Frank S. de Boer

Publisher: Springer

Published: 2004-11-08

Total Pages: 380

ISBN-13: 3540301011

DOWNLOAD EBOOK

Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more complex systems, resulting from the object-oriented and the more recent component-based software engineering paradigms, requires further development of specification and verification techniques supporting the concepts of reusability and modifiability. This book presents revised tutorial lectures given by invited speakers at the Second International Symposium on Formal Methods for Components and Objects, FMCO 2003, held in Leiden, The Netherlands, in November 2003. The 17 revised lectures by leading researchers present a comprehensive account of the potential of formal methods applied to large and complex software systems such as component-based systems and object systems. The book makes a unique contribution to bridging the gap between theory and practice in software engineering.

Refinement in Z and Object-Z
Refinement in Z and Object-Z

Author: John Derrick

Publisher: Springer Science & Business Media

Published: 2013-08-30

Total Pages: 498

ISBN-13: 1447153553

DOWNLOAD EBOOK

Refinement is one of the cornerstones of the formal approach to software engineering, and its use in various domains has led to research on new applications and generalisation. This book brings together this important research in one volume, with the addition of examples drawn from different application areas. It covers four main themes: Data refinement and its application to Z Generalisations of refinement that change the interface and atomicity of operations Refinement in Object-Z Modelling state and behaviour by combining Object-Z with CSP Refinement in Z and Object-Z: Foundations and Advanced Applications provides an invaluable overview of recent research for academic and industrial researchers, lecturers teaching formal specification and development, industrial practitioners using formal methods in their work, and postgraduate and advanced undergraduate students. This second edition is a comprehensive update to the first and includes the following new material: Early chapters have been extended to also include trace refinement, based directly on partial relations rather than through totalisation Provides an updated discussion on divergence, non-atomic refinements and approximate refinement Includes a discussion of the differing semantics of operations and outputs and how they affect the abstraction of models written using Object-Z and CSP Presents a fuller account of the relationship between relational refinement and various models of refinement in CSP Bibliographic notes at the end of each chapter have been extended with the most up to date citations and research