Abstract
In this paper, I present some ideas and principles underlying the realization of a new project called B#. This project follows the main ideas and principles already at work in B, but it also follows a number of older concepts developed in Z. In B#, the intent is to have a formal system to be used to model complex system in general, not only software systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
J.-R. Abrial. The B-Book: Assigning Programs to Meanings. Cambridge University Press (1996).
J.-R. Abrial and L. Mussat. On Using Conditional Definitions in Formal Theories. In ZB2002: Formal Specification and Development in Z and B, LNCS 2272, pages 242–269. Springer-Verlag, 2002.
J.-R. Abrial and L. Mussat. Introducing Dynamic Constraints in B. In B’98: Recent Advances in the Development and Use of the B Method, LNCS 1393, pages 83–128. Springer-Verlag, april 1998.
R. J. R. Back and R. Kurki-Suonio. Decentralization of Process Nets with Centralized Control. 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, 1983.
L. Lamport. The Temporal Logic of Actions. ACM Trans. Program. Lang. Syst., 16(3):872–923, 1994.
S. Owre, J. M. Rushby and N. Shankar. PVS: A Prototype Verification System. In 11th Int. Conf. on Automated Deduction (CADE), LNCS 607, pages 748–752, Springer-Verlag, 1992.
L. C. Paulson. Newblock Isabelle: A Generic Theorem Prover. In LNCS 828. Springer-Verlag, 1994.
J. M. Spivey. Understanding Z. Cambridge University Press, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Abrial, JR. (2003). B#: Toward a Synthesis between Z and B. In: Bert, D., Bowen, J.P., King, S., Waldén, M. (eds) ZB 2003: Formal Specification and Development in Z and B. ZB 2003. Lecture Notes in Computer Science, vol 2651. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44880-2_12
Download citation
DOI: https://doi.org/10.1007/3-540-44880-2_12
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-40253-4
Online ISBN: 978-3-540-44880-8
eBook Packages: Springer Book Archive