Software design and maintenance tools for Ada and C | IEEE Conference Publication | IEEE Xplore