Improving the Trustworthiness of Software Through Rigorous Data Type Design
Richard D. Riehle, James Bret Michael · Computer · 2021
We discuss the importance of ensuring that software developers take a measured approach to making design decisions related to data. Ada can be used to reduce cyclomatic complexity to improve the trustworthiness of software.