The importance of static structures in software construction | IEEE Journals & Magazine | IEEE Xplore