Abstract:The coherence and reliability of computer systems are more and more crucial.With precise mathematical semantics,formal methods support accurate specification and rigor verification for software systems.Among these methods,B-method supports the whole lifecycle of software development.This paper introduces first the development process of B-method in general in some details,and then uses POS system as an example to illustrate how B-method can be used in software development.

Applied Software Development Based on B-Method