| Formal Specification |
Article Index for Formal |
Shopping Specification |
Website Links For Formal |
Information AboutFormal Specification |
| CATEGORIES ABOUT FORMAL SPECIFICATION | |
| formal methods | |
| formal specification languages | |
| formal specification | |
|
It is important to note that a design (or implementation) cannot ever be declared “correct” in isolation, but only “correct with respect to a given specification”. Whether the formal specification correctly describes the problem to be solved is a separate issue. It is also a difficult issue to address, since it ultimately concerns the problem constructing abstracted formal representations of an informal concrete problem domain, and such an abstraction step is not amenable to formal proof. However, it is possible to Validate a specification by proving “challenge” Theorems concerning properties that the specification is expected to exhibit. If correct, these theorems reinforce the specifiers understanding of the specification and its relationship with the underlying problem domain. If not, the specification probably needs to be changed to better reflect the domain understanding of those involved with producing (and implementing) the specification. The Z Notation is an example of a leading formal Specification Language . Others include the VDM Specification Language (VDM-SL) of the Vienna Development Method and the Abstract Machine Notation (AMN) of the B-Method . SEE ALSO EXTERNAL LINKS
|
|
|