Accession Number:
AD1092623
Title:
Unified Behavior Modeling
Descriptive Note:
Technical Report
Corporate Author:
Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States
Personal Author(s):
Report Date:
2020-01-01
Pagination or Media Count:
19.0
Abstract:
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.