DSpace/Manakin Repository

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

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

Classificar por: Ordenar: Resultados:

  • Uma técnica para modelagem e verificação de programas JAVA concorrentes auxiliada por anotações de código. 
    OLIVEIRA, E. A. da S.; http://lattes.cnpq.br/7627571580413875; OLIVEIRA, Elthon Allex da Silva. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2006-06-02)
    Formal methods have been used so much nowadays in development projects in where there is a requirement for the software behavior being as it is expected to be. However, there are few projects that are disposed to invest ...
  • Verificação de modelos em redes de petri orientadas a objetos. 
    RODRIGUES, C. L.; http://lattes.cnpq.br/2590620617848677; RODRIGUES, Cássio Leonardo. (BrasilCentro de Engenharia Elétrica e Informática - CEEIPÓS-GRADUAÇÃO EM CIÊNCIA DA COMPUTAÇÃOUFCGUniversidade Federal de Campina Grande, 2004-02-18)
    Today, hardware and software systems are used in situations where failures are unacceptable, for example, in electronic commerce, telephone systems, banks systems, hospitals systems etc. An essential activity to guarantee ...

Buscar DSpace


Busca avançada

Navegar

Minha conta