Topic:Formal methods
From Wikiversity
 Please help develop this page
This page was created, but so far, little content has been added. Everyone is invited to help expand and create educational content for Wikiversity. If you need help learning how to add content, see the editing tutorial and the MediaWiki syntax reference. To help you get started with content, we have automatically added references below to other Wikimedia Foundation projects. This will help you find materials such as information, media and quotations on which to base the development of "Formal methods" as an educational resource. However, please do not simply copy-and-paste large chunks from other projects. You can also use the links in the blue box to help you classify this page by subject, educational level and resource type. |
|
Formal methods are tools in the same category as the structured and object-oriented methods of software engineering. They use a formally defined language of specification to define the properties of the system that solves a given engineering problem. The languages chosen are designed around the rules of discrete mathematics and formal logic to enable mathematical proofs of correctness to be applied to the proposed solution.
Formal methods generally cost more in man-hours in the early stages of development due to the depth to which a system has to be defined but that cost can be saved in testing later in the development lifecycle as less debugging is generally required.
[edit] Formal Specification Languages
- B
- Z
- (add more)
