devec