Specification of IT-systems