Volledige vertaling van specificaties