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

TOTAL DOCUMENTS

29

(FIVE YEARS 0)

H-INDEX

7

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540679448, 9783540445258

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Analysis of Compiled Code: A Prototype Formal Model

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

10.1007/3-540-44525-0_25 ◽

2000 ◽

pp. 433-449

Author(s):

R. D. Arthan

Keyword(s):

Formal Model ◽

Download Full-text

Formal Methods for Industrial Products

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

10.1007/3-540-44525-0_22 ◽

2000 ◽

pp. 374-393 ◽

Author(s):

Susan Stepney ◽

David Cooper

Keyword(s):

Formal Methods ◽

Industrial Products

Download Full-text

Are Smart Cards the Ideal Domain for Applying Formal Methods

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

10.1007/3-540-44525-0_21 ◽

2000 ◽

pp. 363-373 ◽

Author(s):

Jean-Louis Lanet

Keyword(s):

Formal Methods ◽

Smart Cards ◽

Ideal Domain ◽

Download Full-text

Guards, Preconditions, and Refinement in Z

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

10.1007/3-540-44525-0_17 ◽

2000 ◽

pp. 286-303 ◽

Author(s):

Ralph Miarka ◽

Eerke Boiten ◽

John Derrick

Download Full-text

Typechecking Z

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

10.1007/3-540-44525-0_16 ◽

2000 ◽

pp. 264-285 ◽

Author(s):

Ian Toyn ◽

Samuel H. Valentine ◽

Susan Stepney ◽

Steve King

Download Full-text

Reformulate Dynamic Properties during B Refinement and Forget Variants and Loop Invariants

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

10.1007/3-540-44525-0_14 ◽

2000 ◽

pp. 230-249 ◽

Author(s):

F. Bellegarde ◽

C. Darlot ◽

J. Julliand ◽

O. Kouchnarenko

Keyword(s):

Dynamic Properties

Download Full-text

Program Development and Specification Refinement in the Schema Calculus

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

10.1007/3-540-44525-0_20 ◽

2000 ◽

pp. 344-362 ◽

Author(s):

Martin C. Henson ◽

Steve Reeves

Keyword(s):

Program Development

Download Full-text

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context

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

10.1007/3-540-44525-0_8 ◽

2000 ◽

pp. 107-126 ◽

Author(s):

Theo Dimitrakos ◽

Juan Bicarregui ◽

Brian Matthews ◽

Tom Maibaum

Keyword(s):

Download Full-text

Reconciling Axiomatic and Model-Based Specifications Using the B Method

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

10.1007/3-540-44525-0_7 ◽

2000 ◽

pp. 95-106 ◽

Author(s):

Ken Robinson

Keyword(s):

Model Based ◽

Download Full-text

Recursive Schema Definitions in Object-Z

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

10.1007/3-540-44525-0_4 ◽

2000 ◽

pp. 42-58 ◽

Author(s):

Graeme Smith

Download Full-text