Design and implementation of an automated maintainability assessment tool for SOFL formal specifications

Journal of Systems and Software 2026

View at publisher
Authors: Yu Du, Shaoying Liu
DOI: 10.1016/j.jss.2026.112835
Cited by: 0
References: 18

Fields of Study & Subjects

Software Engineering Research Model-Driven Software Engineering Techniques Advanced Software Engineering Methodologies

Publication details

Journal / source
Journal of Systems and Software
Volume
237
Pages
112835–112835
Publication date
3 March 2026
Language
EN