Reasoning Frameworks

A reasoning framework is a way to package, as a fully-automated tool, the expertise needed to understand and predict the runtime qualities of software systems. A key objective of a reasoning framework is to make this expertise available to engineers who are not expert in the quality attribute. As such, the reasoning framework includes all that is necessary to generate and analyze quality-specific views of an architectural specification. The reasoning framework also exposes the assumptions underlying an analytic theory, and ensures that systems satisfy these assumptions so that the user has confidence that all predictions are not only sound, but valid.

Learn More

  • the ComFoRT model checking reasoning framework
  • the Lambda-star performance reasoning frameworks

A Closer Look at Reasoning Frameworks

References

Reasoning Frameworks
Len Bass, James Ivers, Mark Klein, & Paulo Merson

Find Us Here

Find us on Youtube  Find us on LinkedIn  Find us on twitter  Find us on Facebook

Share This Page

Share on Facebook  Send to your Twitter page  Save to del.ico.us  Save to LinkedIn  Digg this  Stumble this page.  Add to Technorati favorites  Save this page on your Google Home Page 

For more information

Contact Us

info@sei.cmu.edu

412-268-5800

Help us improve

Visitor feedback helps us continually improve our site.

Please tell us what you
think with this short
(< 5 minute) survey.