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 (Q1407695)

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, Carroll}, Probabilistic invariants for probabilistic machines, 240-259 [Zbl 1028.68547] \textit{Smith, Graeme; Winter, Kirsten}, Proving temporal properties of Z specifications using abstraction, 260-279 [Zbl 1028.68553] \textit{Winter, Kirsten; Smith, Graeme}, Compositional verification for Object-Z, 280-299 [Zbl 1028.68559] \textit{Derrick, John}, Timed CSP and Object-Z, 300-318 [Zbl 1028.68540] \textit{Utting, Mark; Wang, Shaochun}, Object orientation without extending \(Z\), 319-338 [Zbl 1028.68558] \textit{Amálio, Nuno; Polack, Fiona}, Comparison of formalisation approaches of UML class constructs in Z and Object-Z, 339-358 [Zbl 1028.68536] \textit{Meyer, Bertrand}, Towards practical proofs of class correctness, 359-387 [Zbl 1028.68550] \textit{Hierons, Robert M.; Harman, Mark; Singh, Harbhajan}, Automatically generating information from a Z specification to support the classification tree method, 388-407 [Zbl 1028.68546] \textit{Darlot, Christophe; Julliand, Jacques; Kouchnarenko, Olga}, Refinement preserves PLTL properties, 408-420 [Zbl 1028.68539] \textit{Frappier, Marc; Laleau, Régine}, Proving event ordering properties for information systems, 421-436 [Zbl 1028.68545] \textit{Utting, Mark; Toyn, Ian; Sun, Jing; Martin, Andrew; Dong, Jin Song; Daley, Nicholas; Currie, David}, ZML: XML support for standard Z, 437-456 [Zbl 1028.68507] \textit{Abrial, Jean-Raymond; Cansell, Dominique; Méry, Dominique}, Formal derivation of spanning trees algorithms, 457-476 [Zbl 1028.68945] \textit{Ferreira, Carla; Butler, Michael}, Using B refinement to analyse compensating business processes, 477-496 [Zbl 1028.68506] \textit{Poerschke, Christine; Lightfoot, David E.; Nealon, John L.}, A formal specification in B of a medical decision support system, 497-512 [Zbl 1028.68552] \textit{Burdy, Lilian; Requet, Antoine}, Extending B with control flow breaks, 513-527 [Zbl 1028.68538] \textit{Aguirre, Nazareno; Bicarregui, Juan; Dimitrakos, Theo; Maibaum, Tom}, Towards dynamic population management of abstract machines in the B method, 528-545 [Zbl 1028.68535]