B~#: Toward a Synthesis between Z and B

摘要

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.