What Is Formal And Informal Specification?
What Is Formal And Informal Specification? The formal specification of a programming language is written in a form ready for machine execution or written using a formal mathematical notation, as defined in [46]. On the other hand, an informal specification can be expressed through a model such as UML or in natural language [47] .