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

TOTAL DOCUMENTS

27

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540431664, 9783540456483

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Theories, Implementations, and Transformations

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

10.1007/3-540-45648-1_1 ◽

2002 ◽

pp. 1-21 ◽

Author(s):

Eric Hehner ◽

Ioannis T. Kassios

Download Full-text

Verification of Dynamic Constraints for B Event Systems under Fairness Assumptions

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

10.1007/3-540-45648-1_25 ◽

2002 ◽

pp. 477-496 ◽

Author(s):

Françoise Bellegarde ◽

Samir Chouali ◽

Jacques Julliand

Keyword(s):

Dynamic Constraints ◽

Download Full-text

Generalised Substitution Language and Differentials

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

10.1007/3-540-45648-1_21 ◽

2002 ◽

pp. 396-415 ◽

Author(s):

James Blow ◽

Andy Galloway

Download Full-text

Type Synthesis in B and the Translation of B to PVS

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

10.1007/3-540-45648-1_18 ◽

2002 ◽

pp. 350-369 ◽

Author(s):

Jean-Paul Bodeveix ◽

Mamoun Filali

Keyword(s):

Download Full-text

Extraction of Abstraction Invariants for Data Refinement

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

10.1007/3-540-45648-1_7 ◽

2002 ◽

pp. 120-139 ◽

Author(s):

Marielle Doche ◽

Andrew Gravell

Keyword(s):

Data Refinement

Download Full-text

Encoding Object-Z in Isabelle/HOL

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

10.1007/3-540-45648-1_5 ◽

2002 ◽

pp. 82-99 ◽

Author(s):

Graeme Smith ◽

Florian Kammüller ◽

Thomas Santen

Download Full-text

Software Construction by Stepwise Feature Introduction

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

10.1007/3-540-45648-1_9 ◽

2002 ◽

pp. 162-183 ◽

Author(s):

Ralph-Johan Back

Keyword(s):

Software Construction

Download Full-text

A Comparison of the BTT and TTF Test-Generation Methods

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

10.1007/3-540-45648-1_16 ◽

2002 ◽

pp. 309-329 ◽

Author(s):

Bruno Legeard ◽

Fabien Peureux ◽

Mark Utting

Keyword(s):

Test Generation

Download Full-text

On Using Conditional Definitions in Formal Theories

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

10.1007/3-540-45648-1_13 ◽

2002 ◽

pp. 242-269 ◽

Author(s):

Jean-Raymond Abrial ◽

Louis Mussat

Keyword(s):

Formal Theories

Download Full-text

Reinforced Condition/Decision Coverage (RC/DC): A New Criterion for Software Testing

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

10.1007/3-540-45648-1_15 ◽

2002 ◽

pp. 291-308 ◽

Author(s):

Sergiy A. Vilkomir ◽

Jonathan P. Bowen

Keyword(s):

Software Testing ◽

Download Full-text