Unified Behavior Modeling

Abstract

Objective: To investigate a common approach to modeling flow graphs, behavior specifications, and error behavior specifications; To simplify the three layered approach of EMV2 specifications; To simplify these specifications as annex declarations; To leverage V3 unified type system and expression language.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 2019
Accession Number
AD1088692

Entities

People

  • Peter Feiler

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Copyrights
  • Department Of Defense
  • Engineering
  • Governments
  • Guarantees
  • Identification
  • Language
  • Machine Learning
  • Materials
  • Models
  • Software Development
  • Specifications
  • Transitions
  • Universities

Readers

  • Computational Linguistics
  • Theoretical Analysis.