BeSSY: Behavioural Specification System

However, I always felt a need to be able to describe algorithms/codes in an un-ambiguity manner which can be verified. In computer science, these un-ambiguity description systems are known as formal methods. Mathematics is used to confer un-ambiguity. This makes formal methods a very useful means of asynchronous technical communication (handing over software codes from developers to maintainers).

In this respect, I designed BeSSY (Behavioural Specification System) which no more than high-school mathematics (arithmetic, sets theory, functions, and Boolean algebra) as a basis to describe software systems. Functions and logic (in the form of boolean algebra) is an important aspect of computer programming; hence, is a bridge to convert a specification to skeletal source codes.