On request: what are "formal methods"

Thread View: alt.uu.tools

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Jeroen van de Lagemaat Wed, 12 Aug 1992 13:16

#10

Author: Jeroen van de Lagemaat
Date: Wed, 12 Aug 1992 13:16

22 lines
1375 bytes

Using my own definition, a formal method is a language with well
defined syntax and semantics. I.e. a specification is either correct or wrong
w.r.t. the language used and the meaning of this specification is unique, 
however, two specifications may be different in syntax, but still mean 
the same.

Generally, the syntax is given in BNF. The semantics are given as a meaning
of language elements and contructs in terms of a formal model, such as
process algebra.


-- 
    ___
 __/   \__________  Jeroen van de Lagemaat    <lagemaat@cs.utwente.nl>
|  \___/          |         
|___     __   ___ | University of Twente     
| |  |  /  \ (__  | Tele-Informatics & Open Systems
| |__|__\__/____) | P.O. Box 217  NL-7500 AE Enschede  The Netherlands
|_________________| tel. +31 53 893684              tfx. +31 53 333815

                    Humour, you're making me laugh.
                                    - Herman Finkers, Dutch comedian -

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads