Title: Techniques in software engineering