Compositional Analysis of Hierarchical UML Statecharts
Sign Up to like & getrecommendations! Published in 2022 at "IEEE Transactions on Software Engineering"
DOI: 10.1109/tse.2021.3125720
Abstract: Quantitative evaluation of stochastic models supports early verification of design choices and assessment of non-functional requirements. Model Driven Engineering (MDE) leverages automated derivation of formal stochastic models from semi-formal artifacts of the Unified Modeling Language… read more here.
Keywords: evaluation; compositional analysis; analysis; uml statecharts ... See more keywords