Reasoning Frameworks

Abstract

Determining whether a system will satisfy critical quality attribute requirements in areas such as performance, modifiability, and reliability is a complicated task that often requires the use of many complex theories and tools to arrive at reliable answers. This report describes a vehicle for encapsulating the quality attribute knowledge needed to understand a system's quality behavior as a reasoning framework that can be used by nonexperts. A reasoning framework includes the mechanisms needed to use sound analytic theories to analyze the behavior of a system with respect to some quality attribute. This report defines the elements of a reasoning framework and illustrates the reasoning framework concept by describing several reasoning frameworks and how they realize these elements.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 01, 2005
Accession Number
ADA441248

Entities

People

  • James Ivers
  • Len Bass
  • Mark Klein
  • Paulo Merson

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Energy and Power Technologies
  • Human Systems

DTIC Thesaurus Topics

  • Abstracts
  • Automata
  • Automata Theory
  • Computations
  • Computer Programs
  • Computer Science
  • Concrete
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Language
  • Reliability
  • Simulations
  • Software Design
  • Software Development
  • Test And Evaluation

Fields of Study

  • Computer science

Readers

  • Software Engineering.
  • Systems Analysis and Design