Unified Behavior Modeling
Carnegie-Mellon University, Software Engineering Institute Pittsburgh United States
Pagination or Media Count:
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.