Towards a Generic Framework for Trustworthy Program Refactoring

DOI10.14232/ACTACYB.284349OpenAlexW3137007509MaRDI QIDQ5886168

Unnamed Author, Dániel Horpácsi, Unnamed Author

Publication date: 30 March 2023

Published in: Acta Cybernetica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.14232/actacyb.284349

zbMATH Keywords

formal verificationrefactoringdomain-specific languagerefactoring methodology

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Towards a Generic Framework for Trustworthy Program Refactoring