A Software Engineering Environment (SEE) for Weapon System Software | IEEE Journals & Magazine | IEEE Xplore