MPG.eBooks - Search Results - (databases OR database)

Cover Image

1

ZB 2000: Formal Specification and Development in Z and B : First International Conference of B and Z Users York, UK, August 29 - September 2, 2000 Proceedings

Published 2000

Springer Berlin Heidelberg

Table of Contents: “... and Object-Z Specifications -- A Generic Process to Refine a B Specification into a Relational Database...”

Cover Image

2

ZUM '95: The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Published 1995

Springer Berlin Heidelberg

Table of Contents: “... to software design: The Clepsydra methodology -- Refining database systems -- Structuring a Z specification...”