Formal Alternatives Management Integrating Logical Inference and Rationale (Familiar)

Abstract

The FAMILIAR project goals were to: (1) position software design rationale capture in the context of alternatives management, i.e., systematic exploration of design alternatives and their trade-offs against the goals of the system under development; and (2) formalize the capture and presentation of design rationale through Functional Representation. The FAMILIAR technology is a union of alternatives management and Functional Representation. It is based on earlier technologies. KAPTUR and ZD 1, which explored these respective approaches. FAMILIAR built on lessons learned from those systems and provided a more robust tool that supports a range of rationale capture situations from completely informal to fully formal. FAMILIAR also supports the evolution towards increasing formalism as a domain matures.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2000
Accession Number
ADA373730

Entities

People

  • Dean T. Allemang
  • Sidney C. Bailin

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Human Systems
  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Air Force Research Laboratories
  • Complex Systems
  • Computer Programming
  • Computer Programs
  • Database Management Systems
  • Engineering
  • Formal Languages
  • Html
  • Information Systems
  • Knowledge Management
  • Language
  • Lessons Learned
  • Lisp Programming Language
  • Operating Systems
  • Software Design
  • Software Development
  • Three Dimensional

Readers

  • Software Engineering.

Technology Areas

  • AI & ML
  • AI & ML - DoD AI Strategy