Introducing software engineering developments to a classical operating systems course | IEEE Journals & Magazine | IEEE Xplore