Quote: formal requirements are often meaningless to end users; everything is based on the designer's explanations, just as before; specialized, isolated participants

Quotation Skeleton

Tip 58: Don't Be a Slave to Formal … diagrams and some supporting words. … in many cases these diagrams are meaningless to … Therefore, there is no real formal checking of … as in old-fashioned written requirements. … [p. 221] Formal methods seem to encourage specialization. One … collect use cases (or their equivalent). We've seen … Most current formal methods combine a static object … one that allows us to illustrate the kind …   Google-1   Google-2

Copyright clearance needed for quotation.

Additional Titles

Quote: formal methods use static data models and event/activity-charting; poorly suited for dynamic systems

Related Topics

Topic: limitations of formalism (92 items)
Topic: good requirement specifications (36 items)