ACM Transactions on Programming Languages and Systems (TOPLAS)
The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
On Using Conditional Definitions in Formal Theories
ZB '02 Proceedings of the 2nd International Conference of B and Z Users on Formal Specification and Development in Z and B
Introducing Dynamic Constraints in B
B '98 Proceedings of the Second International B Conference on Recent Advances in the Development and Use of the B Method
PVS: A Prototype Verification System
CADE-11 Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Implementation of control systems using B action systems: a case study
Nordic Journal of Computing
Ten commandments revisited: a ten-year perspective on the industrial application of formal methods
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
BRILLANT: An Open Source and XML-based platform for Rigourous Software Development
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Theoretical Computer Science - Applied semantics
Refinement: A Constructive Approach to Formal Software Design for a Secure e-voting Interface
Electronic Notes in Theoretical Computer Science (ENTCS)
Reconciling Axiomatic and Model-Based Specifications Reprised
ABZ '08 Proceedings of the 1st international conference on Abstract State Machines, B and Z
A simple refinement-based method for constructing algorithms
ACM SIGCSE Bulletin
An UML-based approach for validation of software architecture descriptions
TEAA'06 Proceedings of the 2nd international conference on Trends in enterprise application architecture
A formal approach for the development of reactive systems
Information and Software Technology
Combining formal methods for the development of reactive systems
International Journal of Computer Applications in Technology
Abstract interpretation-based verification of non-functional requirements
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Extensible canonical process model synthesis applying formal interpretation
ADBIS'05 Proceedings of the 9th East European conference on Advances in Databases and Information Systems
Time constraint patterns for event b development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Proved-patterns-based development for structured programs
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Practical theory extension in event-B
Theories of Programming and Formal Methods
Hi-index | 0.00 |
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.