An algebraic semantics for MOF
From MaRDI portal
Publication:973052
DOI10.1007/s00165-009-0140-9zbMath1213.68358WikidataQ125377640 ScholiaQ125377640MaRDI QIDQ973052
Publication date: 28 May 2010
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-009-0140-9
reflection; formal analysis; model-driven development; MOF; membership equational logic; metamodeling semantics
68Q55: Semantics in the theory of computing
Uses Software