ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4--6, 2003. Proceedings
type: Item
instance of: scholarly article
title: ZB 2003: Formal specification and development in Z and B. Third international conference of B and Z users, Turku, Finland, June 4--6, 2003. Proceedings
zbMATH Open document ID: 1020.00016
published in: Lecture Notes in Computer Science
publication date: 2003-09-16T00:00:00Z
full work available at URL: t2651.htm
review text: The articles of this volume will be reviewed individually. The preceding conference has been reviewed (see Zbl 0988.00083). Indexed articles: \textit{Jackson, Daniel}, Alloy: A logical modelling language, 1 [Zbl 1028.68548] \textit{Stepney, Susan; Polack, Fiona; Toyn, Ian}, An outline pattern language for Z: Five illustrations and two tables, 2-19 [Zbl 1028.68554] \textit{Stepney, Susan; Polack, Fiona; Toyn, Ian}, Patterns to guide practical refactoring: Examples targetting promotion in Z, 20-39 [Zbl 1028.68555] \textit{Blazy, Sandrine; Gervais, Frédéric; Laleau, Régine}, Reuse of specification patterns with the B method, 40-57 [Zbl 1028.68537] \textit{Treharne, Helen; Schneider, Steve; Bramble, Marchia}, Composing specifications using communication, 58-78 [Zbl 1028.68557] \textit{Peschanski, Frédéric; Julien, David}, When concurrent control meets functional requirements, or Z + Petri-nets, 79-97 [Zbl 1028.68551] \textit{Pouzancre, Guilhem}, How to diagnose a modern car with a formal B model?, 98-100 [Zbl 1028.68872] \textit{Hallerstede, Stefan}, Parallel hardware design in B, 101-102 [Zbl 1028.68761] \textit{Deutsch, Moshe; Henson, Martin C.; Reeves, Steve}, Operation refinement and monotonicity in the schema calculus, 103-126 [Zbl 1028.68543] \textit{Derrick, John; Wehrheim, Heike}, Using coupled simulations in non-atomic refinement, 127-147 [Zbl 1028.68541] \textit{Deutsch, Moshe; Henson, Martin C.}, An analysis of forward simulation data refinement, 148-167 [Zbl 1028.68542] \textit{Abrial, Jean-Raymond}, B\(^{\#}\): Toward a synthesis between Z and B, 168-177 [Zbl 1028.68534] \textit{Dunne, Steve}, Introducing backward refinement into B, 178-196 [Zbl 1028.68544] \textit{Stoddart, Bill; Zeyda, Frank}, Expression transformers in B-GSL, 197-215 [Zbl 1028.68556] \textit{McIver, Annabelle; Morgan, Carroll; Hoang, Thai Son}, Probabilistic termination in B, 216-239 [Zbl 1028.68549] \textit{Hoang, Thai Son; Jin, Zhendong; Robinson, Ken; McIver, Annabelle; Morgan, Carrol…
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 68-06
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68N30
zbMATH DE Number: 1982606
zbMATH Keywords: ZB 2003
zbMATH Keywords: Formal specification
zbMATH Keywords: Development in Z
zbMATH Keywords: Development in B
zbMATH Keywords: Turku (Finland)
MaRDI profile type: Publication
DOI: 10.1007/3-540-44880-2
OpenAlex ID: W2498046939
Wikidata QID: Q56939904
description: scientific article; zbMATH DE number 1982606