Development of small software units. Precise specifications expressed using logic and discrete mathematics. Design methods and design patterns. Implementation and testing. Three lectures, one tutorial (two hours); second term Prerequisite(s): SFWR ENG 2DM3, 2S03 Corequisite(s) SFWR ENG 2FA3 Antirequisite(s): COMP SCI 2ME3, SFWR ENG 2A04
