ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540255598, 9783540320074

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Including Design Guidelines in the Formal Specification of Interfaces in Z

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_26 ◽

2005 ◽

pp. 454-471 ◽

Cited By ~ 1

Author(s):

Judy Bowen ◽

Steve Reeves

Keyword(s):

Formal Specification ◽

Design Guidelines

Download Full-text

An Extension of Event B for Developing Grid Systems

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_9 ◽

2005 ◽

pp. 142-161 ◽

Cited By ~ 4

Author(s):

Pontus Boström ◽

Marina Waldén

Keyword(s):

Grid Systems

Download Full-text

Process Refinement in B

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_4 ◽

2005 ◽

pp. 45-64 ◽

Cited By ~ 3

Author(s):

Steve Dunne ◽

Stacey Conroy

Download Full-text

Visualising Larger State Spaces in Pro B

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_2 ◽

2005 ◽

pp. 6-23 ◽

Cited By ~ 16

Author(s):

Michael Leuschel ◽

Edd Turner

Keyword(s):

State Spaces

Download Full-text

Slicing Object-Z Specifications for Verification

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_24 ◽

2005 ◽

pp. 414-433 ◽

Cited By ~ 12

Author(s):

Ingo Brückner ◽

Heike Wehrheim

Download Full-text

Requirements as Conjectures: Intuitive DVD Menu Navigation

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_11 ◽

2005 ◽

pp. 172-186

Author(s):

Jemima Rossmorris ◽

Susan Stepney

Download Full-text

The Challenge of Probabilistic Event B—Extended Abstract—

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_10 ◽

2005 ◽

pp. 162-171 ◽

Cited By ~ 11

Author(s):

Carroll Morgan ◽

Thai Son Hoang ◽

Jean-Raymond Abrial

Download Full-text

Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_7 ◽

2005 ◽

pp. 104-123 ◽

Cited By ~ 6

Author(s):

Ian Toyn ◽

Andy Galloway

Keyword(s):

Iso Standard

Download Full-text

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_18 ◽

2005 ◽

pp. 299-318 ◽

Cited By ~ 13

Author(s):

Didier Bert ◽

Marie-Laure Potet ◽

Nicolas Stouls

Keyword(s):

Behavioral Aspects ◽

Security Properties

Download Full-text

A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science ◽

10.1007/11415787_8 ◽

2005 ◽

pp. 124-141

Author(s):

J. Christian Attiogbé

Keyword(s):

Mutual Exclusion ◽

Stepwise Development ◽

Mutual Exclusion Algorithm

Download Full-text

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Including Design Guidelines in the Formal Specification of Interfaces in Z

An Extension of Event B for Developing Grid Systems

Process Refinement in B

Visualising Larger State Spaces in Pro B

Slicing Object-Z Specifications for Verification

Requirements as Conjectures: Intuitive DVD Menu Navigation

The Challenge of Probabilistic Event B—Extended Abstract—

Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ

GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties

A Stepwise Development of the Peterson’s Mutual Exclusion Algorithm Using B Abstract Systems

ZB 2005: Formal Specification and Development in Z and B - Lecture Notes in Computer Science
Latest Publications