|
|
|
|
|
|
by maglite77
3371 days ago
|
|
|
One area I would argue benefits greatly from this type of formal treatment is the specification of business rules in software. I can be quite insightful to formally spell out requirements from the business, and then apply converse/inverse/etc. analysis to drive out missing cases. Admittedly, most of us can do this in our head quickly (for easy cases), but I find the formal evidence lends itself well to more complex scenarios. |
|
|