|
Authored by: reiisi on Friday, February 01 2013 @ 07:58 PM EST |
Formal means "of form".
Math.
It's kind of similar to the argument between focusing on theory or application
in education.
Theories are great for providing a framework for understanding. But theories
only exist in the head, and each head is different. Each person who
"understands" a theory has a different (to some degree) understanding
of the theory.
Without application, theories take us nowhere useful. Without application, we
have no idea how close one person's understanding of a theory is to another's.
Formal specifications are not applied and concrete until they are applied. And
then they go beyond formal specification. When you put concrete stuff in a
formal spec it is no longer (entirely) a formal spec. It transforms into an
implementation document, to the degree there is concrete stuff in it.
[ Reply to This | Parent | # ]
|
|
|
|
|