Accession Number:

AD1088692

Title:

Unified Behavior Modeling

Descriptive Note:

Technical Report

Corporate Author:

CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States

Personal Author(s):

Report Date:

2019-01-01

Pagination or Media Count:

16.0

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.

Subject Categories:

  • Computer Programming and Software

Distribution Statement:

APPROVED FOR PUBLIC RELEASE