Defining software by continuous, smooth functions | IEEE Journals & Magazine | IEEE Xplore