SMS dit: Application of Process Modeling in a Software- Engineering Course