Quote: formal methods do not help with conceptual models and high-level structuring; both require experience; formal specification gives a false feeling of confidence

Quotation Skeleton

[Making models] involves choosing the right abstraction level and … However, formal specification gives a false feeling of … selection process … It turns out that people who have experience … have an advantage (e.g., control engineers with experience … is very difficult to teach and must be … [p. 213] The experience of BOS is that formal … designs.   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: formal methods and languages (53 items)
Topic: limitations of formalism (92 items)
Topic: software models of reality (22 items)