Formal requirements (IJEMS) | Department of Engineering Management and Enterprise