DSpace/Manakin Repository

Navegação Mestrado em Ciência da Computação. por assunto "Verificação de modelos - computação"

Navegação Mestrado em Ciência da Computação. por assunto "Verificação de modelos - computação"

Classificar por: Ordenar: Resultados:

  • BARBOSA, P. E. S.; http://lattes.cnpq.br/9229454955533353; BARBOSA, Paulo Eduardo e Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2007-02-23)
    Every programmer or software engineer deals with a chronic problem during the conception of their systems: violations in the project requirements. These violations need to be discovered early be cause they generally produce ...

Buscar DSpace


Busca avançada

Navegar

Minha conta