Projeto DeepSpec busca a criação de programas livres de erros

DeepSpecProfessores de quatro universidades dos Estados Unidos estão trabalhando em um projeto ambicioso: possibilitar a criação de programas livres de erros (bugs).

A ideia, segundo os membros do projeto, é criar especificações extremamente precisas sobre o comportamento de um software, com base em lógica formal. Assim, espera-se conseguir criar sistemas que sejam livres de erros e passíveis de verificação de suas especificações.

Especificações formais tem sido pesquisadas como forma de verificar e validar software. No entanto, o grupo de pesquisa argumenta que as lógicas são apenas para modelos de programas, e não programas em si. A ideia, então, é possibilitar uma análise mais profunda do código e das especificações, em especial considerando a aplicação desse código, bem como relações com outras especificações em uma cadeia de programas.

Mais informações sobre a pesquisa podem ser encontradas no site do projeto [1].

Referências:

[1] DeepSpec. http://www.deepspec.com. Acesso em 26 de janeiro de 2016.

Anúncios

Faça comentários com sugestões, dicas, palpites. Ajude o blog e seus leitores!

Preencha os seus dados abaixo ou clique em um ícone para log in:

Logotipo do WordPress.com

Você está comentando utilizando sua conta WordPress.com. Sair / Alterar )

Imagem do Twitter

Você está comentando utilizando sua conta Twitter. Sair / Alterar )

Foto do Facebook

Você está comentando utilizando sua conta Facebook. Sair / Alterar )

Foto do Google+

Você está comentando utilizando sua conta Google+. Sair / Alterar )

Conectando a %s