next up previous
Next: Student. Up: Taxonomy and Unifying Previous: Challenge:

Customer.

A uniform framework provides the nonexpert user of design and analysis tools with objective selection criteria that isolate essential truths and complexities from accidental model-dependent idiosyncrasies. The framework allows an explicit declaration and study of the underlying assumptions that make a formalism or method more, or less, practical for a given application domain. It will enable tool developers to emphasize strengths while explaining limitations, and to shift the standard from universality to integration of specialized tools.



Scott Smolka
Thu Aug 22 10:56:53 EDT 1996