Formalização e Validação de Princípios Ergonômicos de Interfaces