Designing Ada software for maintainability | IEEE Conference Publication | IEEE Xplore