Difference between revisions of "Formal methods"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→External links) |
Karl Jones (Talk | contribs) (→External links) |
||
| Line 31: | Line 31: | ||
[[Category:Computer science]] | [[Category:Computer science]] | ||
| + | [[Category:Logic]] | ||
[[Category:Management]] | [[Category:Management]] | ||
[[Category:Software development]] | [[Category:Software development]] | ||
Latest revision as of 08:30, 21 April 2016
In computer science, specifically software engineering and hardware engineering, formal methods are a particular kind of mathematically based techniques for the specification, development and formal verification of software and hardware systems.
Description
The use of formal methods for software and hardware design is motivated by the expectation that, as in other engineering disciplines, performing appropriate mathematical analysis can contribute to the reliability and robustness of a design. See Quality control.
Interdisciplinary principles
Formal methods draw upon interdisciplinary principles from many fields, including:
- Theoretical computer science
- Logical calculus - see Logic in computer science
- Formal language
- Automata theory
- Program semantics
- Type systems
- Algebraic data types
See also
- Computer science
- Formal verification
- Hardware engineering
- Mathematics
- Quality controll
- Software engineering
External links
- Formal methods @ Wikipedia
