Kurssilla käsitellään ohjelmistojen vaatimusten määrittelyn vaiheita ja niissä käytettäviä menetelmiä. Esitiedot: Ohjelmistotuotanto. Kurssikirja: Axel van Lamsweerde, Requirements Engineering: From System Goals to UML models To Software Specifications. Wiley, 2009.