Describir: Especificación de esquema informático para métodos y prácticas de kuali-beh para facilitar la verificación semiautomatizada de sus características y propiedades