Shorter Reasoning About Larger Requirements Models

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 26, 2017
Accession Number
AD1147067

Entities

People

  • George Mathew
  • John Klein
  • Neil A. Ernst
  • Tim Menzies

Organizations

  • Carnegie Mellon University

Tags

Communities of Interest

  • Engineered Resilient Systems
  • Human Systems

DTIC Thesaurus Topics

  • Algorithms
  • Artificial Intelligence
  • Commerce
  • Computational Complexity
  • Computer Programming
  • Computers
  • Engineering
  • Evolutionary Algorithms
  • Genetic Algorithms
  • Human-Computer Interaction
  • Information Systems
  • Language
  • Machine Learning
  • Notation
  • Optimization
  • Software Development
  • Standards