|
I have another page in progress intended to address specifically the use of Formal Methods in Information Systems Engineering. This page attempts to approach formal methods from a broader perspective. The structure, as yet more aspiration than substance, is a personal statement of position, not a scholarly overview of work in this field. See also A Framework for Formal Analysis. |
|
What are Formal Methods?
A Formal Method is any method in which formal notations or logics are applied.
Theory Pointers to sources of relevant theoretical material. The Methods Its not easy to separate out methods from languages and tools, because often researchers intending to develop one of these, will find it necessary to develop the others in tandem. |
Philosophy
Philosophical issues relevant to formal methods.
Language and Logic Formal languages and formal logics are the intellectual tools at the heart of formal methods. Tools The tools section will consider not only those tools normally though of as formal methods tools, but also tools which are concerned with the formalisation or mechanisation of mathematics, including borderline cases such as symbolic mathematics tools. |
© 
created 1995/7/1 modified 1997/12/26
