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

TOTAL DOCUMENTS

31

(FIVE YEARS 0)

H-INDEX

10

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540402534, 9783540448808

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Introducing Backward Refinement into B

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

10.1007/3-540-44880-2_13 ◽

2003 ◽

pp. 178-196 ◽

Author(s):

Steve Dunne

Download Full-text

An Analysis of Forward Simulation Data Refinement

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

10.1007/3-540-44880-2_11 ◽

2003 ◽

pp. 148-167 ◽

Author(s):

Moshe Deutsch ◽

Martin C. Henson

Keyword(s):

Forward Simulation ◽

Data Refinement ◽

Simulation Data

Download Full-text

Object Orientation without Extending Z

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

10.1007/3-540-44880-2_20 ◽

2003 ◽

pp. 319-338 ◽

Author(s):

Mark Utting ◽

Shaochun Wang

Keyword(s):

Object Orientation

Download Full-text

A Formal Specification in B of a Medical Decision Support System

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

10.1007/3-540-44880-2_29 ◽

2003 ◽

pp. 497-512 ◽

Author(s):

Christine Poerschke ◽

David E. Lightfoot ◽

John L. Nealon

Keyword(s):

Decision Support ◽

Decision Support System ◽

Support System ◽

Formal Specification ◽

Medical Decision ◽

Medical Decision Support

Download Full-text

Extending B with Control Flow Breaks

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

10.1007/3-540-44880-2_30 ◽

2003 ◽

pp. 513-527

Author(s):

Lilian Burdy ◽

Antoine Requet

Keyword(s):

Download Full-text

ZML: XML Support for Standard Z

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

10.1007/3-540-44880-2_26 ◽

2003 ◽

pp. 437-456 ◽

Author(s):

Mark Utting ◽

Ian Toyn ◽

Jing Sun ◽

Andrew Martin ◽

Jin Song Dong ◽

...

Download Full-text

Using B Refinement to Analyse Compensating Business Processes

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

10.1007/3-540-44880-2_28 ◽

2003 ◽

pp. 477-496 ◽

Author(s):

Carla Ferreira ◽

Michael Butler

Keyword(s):

Business Processes

Download Full-text

Automatically Generating Information from a Z Specification to Support the Classification Tree Method

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

10.1007/3-540-44880-2_23 ◽

2003 ◽

pp. 388-407 ◽

Author(s):

Robert M. Hierons ◽

Mark Harman ◽

Harbhajan Singh

Keyword(s):

Classification Tree ◽

Download Full-text

Probabilistic Termination in B

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

10.1007/3-540-44880-2_15 ◽

2003 ◽

pp. 216-239 ◽

Author(s):

Annabelle McIver ◽

Carroll Morgan ◽

Thai Son Hoang

Download Full-text

Parallel Hardware Design in B

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

10.1007/3-540-44880-2_8 ◽

2003 ◽

pp. 101-102 ◽

Author(s):

Stefan Hallerstede

Keyword(s):

Hardware Design

Download Full-text