Norman Walsh wrote:
> I'm uncomfortable with prerequisites. Adding post conditions would
> push us even farther towards modeling which I try very, very hard to
> avoid. All of our existing experience with modeling (msgset and
> funcsynopsis, to name the two most obvious examples) suggests that
> it's difficult to invent, hard to maintain, and usually not quite
> exactly right for most users.
hmm, isn't that just a question of granularity ? I share your worries,
but I think if these elements (prerequisite and postcondition) are
unstructured (and untyped), not much harm is done (to the document type)
and a lot is gained.
Regards,
Stefan
