Describir: Integrácia formálnych a semiformálnych špecifikačných metód