Ques : What is Formal Method in software development ?

, , No Comments

 A formal method in software development is a method that provides a formal language for describing a software artifact (e.g., specifications, designs, source code) such that formal proofs are possible, in principle, about properties of the artifact so expressed.

0 टिप्पणियाँ:

Post a Comment