Unified Behavior Modeling
CARNEGIE-MELLON UNIV PITTSBURGH PA PITTSBURGH United States
Pagination or Media Count:
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.
- Computer Programming and Software