Title: Modeling Techniques in Programming and Algorithms