Abstract
This chapter elaborates the different aspects of formal methods. A formal system is a well-defined system of notation together with well-defined rules for manipulating that notation, which are based on mathematical theory. A formal method is a set of rigorous engineering practices which are generally based on formal systems, and which are applied to the development of engineering products such as software, or hardware. A formal language is a language which has a precise set of semantics, as opposed to natural languages in which it is possible to construct ambiguous sentences. A formal language is needed to support a formal method. Formal methods are partly because they stress that what a software engineer designs, and what a programmer implements is a formal, mathematical structure. They are formal partly because they describe these structures in formal terms. Formal specification techniques secure the software development process in the well-understood mathematical basis of computer science, namely formal logic, and discrete mathematics.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
