DAT357 / DIT047 Requirements engineering