APCB
Encyclopedia
The APCB organizes conferences about the B-Method
, one of the leading formal methods
, used in high-integrity software engineering
.
It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation
, co-organized with the Z User Group
), and from 2008 the ABZ conference (with Abstract State Machines
as well). In 2010, the ABZ conference also included Alloy
.
B-Method
The B method is method of software development based on B, a tool-supported formal method based around an abstract machine notation, used in the development of computer software. It was originally developed by Jean-Raymond Abrial in France and the UK. B is related to the Z notation and supports...
, one of the leading formal methods
Formal methods
In computer science and software engineering, formal methods are a particular kind of mathematically-based techniques for the specification, development and verification of software and hardware systems...
, used in high-integrity software engineering
Software engineering
Software Engineering is the application of a systematic, disciplined, quantifiable approach to the development, operation, and maintenance of software, and the study of these approaches; that is, the application of engineering to software...
.
It has organized B meetings and conferences. From 2000, these became the ZB Conference (jointly with the Z notation
Z notation
The Z notation , named after Zermelo–Fraenkel set theory, is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.-History:...
, co-organized with the Z User Group
Z User Group
The Z User Group exists to promote use and development of the Z notation, a formal specification language for the description of and reasoning about computer-based systems...
), and from 2008 the ABZ conference (with Abstract State Machines
Abstract State Machines
In computer science, an abstract state machine is a state machine operating on states which are arbitrary data structures .The ASM Method is a practical and scientifically well-founded systems engineering method which bridges...
as well). In 2010, the ABZ conference also included Alloy
Alloy (specification language)
In computer science and software engineering, Alloy is a declarative specification language for expressing complex structural constraints and behavior in a software system. Alloy provides a simple structural modeling tool based on first-order logic...
.