CompInfo - The Computer Information Center The top one-stop reference resource for corporate IT, computers and communications Millions of IT users world-wide rely on our Web-based support resources Tell your colleagues and friends, and bookmark us at http://www.compinfo-center.com/
We use the term ``formal methods'' to refer to the variety of mathematical modelling techniques that are applicable to computer system (software and hardware) design. That is, formal methods is the applied mathematics of computer system engineering, and, when properly applied, can serve a role in computer system design analogous to the role CFD serves in aeronautical design.
"Traditional engineering disciplines rely heavily on mathematical models and calculation to make judgments about designs. For example, aeronautical engineers make extensive use of computational fluid dynamics (CFD) to calculate and predicte how particular airframe designs will behave in flight. We use the term ``formal methods'' to refer to the variety of mathematical modelling techniques that are applicable to computer system (software and hardware) design. That is, formal methods is the applied mathematics of computer system engineering, and, when properly applied, can serve a role in computer system design analogous to the role CFD serves in aeronautical design." (NASA LARC)
This document contains pointers to information on Safety-Critical Systems, where human lives may be at risk, especially involving software and computers, available around the world on the World Wide Web
If your company offers Products applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
If your company offers Products and/or Services applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
If your company offers Services applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
If your company offers Training Services applicable to this Topic, and you wish to reach the hundreds of thousands of IT users who benefit from these pages each month, please contact us
The Computer Information Center provides information in good faith, but does not provide any warranties whatsoever, nor assume any legal liability or responsibility whatsoever, for the accuracy, completeness or usefulness of any of the information supplied. It is not in any way responsible, and has no legal liability, in respect of the contents of any other site referenced from this site, nor for information provided through that site. The ownership of all trademarks, etc. referred to on this site is acknowledged
