formal semantics

Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems

Graics, B., Molnár, V., Vörös, A., Majzik, I., and Varró, D., "Mixed-Semantics Composition of Statecharts for the Component-Based Design of Reactive Systems", Software and Systems Modeling, vol. 19, issue Interplay of Model-Driven and Component-Based Software Engineering: Springer, 2020.

BibTex

{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}

Varró, D., and Pataricza, A., "{VPM}: A visual, precise and multilevel metamodeling framework for describing mathematical domains and {UML}", Journal of Software and Systems Modeling, vol. 2, no. 3: Springer, pp. 187–210, October, 2003.

BibTex