Bibtex

Lars Fischer, Hendrik Kausch, Bernhard Rumpe, Max Stachon, Sebastian Stüber, Lucas Wollenhaupt, Methodical and Formally Verified Model-Driven Architecture Refactoring

@article{JOT:issue_2025_02/a13, author = {<a href="/contents.html?query=Fischer">Lars Fischer</a> and <a href="/contents.html?query=Kausch">Hendrik Kausch</a> and <a href="/contents.html?query=Rumpe">Bernhard Rumpe</a> and <a href="/contents.html?query=Stachon">Max Stachon</a> and <a href="/contents.html?query=Stüber">Sebastian Stüber</a> and <a href="/contents.html?query=Wollenhaupt">Lucas Wollenhaupt</a>}, title = {Methodical and Formally Verified Model-Driven Architecture Refactoring}, journal = {Journal of Object Technology}, volume = {24}, number = {2}, issn = {1660-1769}, year = {2025}, month = may, editor = {}, note = {The 21st European Conference on Modelling Foundations and Applications (ECMFA 2025)}, pages = {2:1-14}, doi = {10.5381/jot.2025.24.2.a13}, url = {http://www.jot.fm/contents/issue_2025_02/a13.html} }

Back