BT
rss
Seguidores

Facebook Open-Source RaceD - Detector de condição-de-corrida

por Kesha Williams Seguir 1 Seguidores , traduzido por Bruno Guimarães Seguir 0 Seguidores   em  30 jan, 2018

A ferramenta open-source de análise estática do Facebook, Infer, foi recentemente atualizada com detecção de condição-de-corrida (race conditions) em códigos Java via RacerD. RacerD identifica condiçoes-de-corrida nos métodos das classes que fazem uso da anotação @ThreadSafe.

Seguidores

Coverity: Código Open Source tem menos defeitos que código comercial

por Abel Avram Seguir 7 Seguidores , traduzido por Fernando Lozano Seguir 0 Seguidores   em  02 abr, 2012

Estudo realizado pela Coverity Scan, patrocinado pelo Departamento de Segurança Doméstica dos EUA, conclui que o código Open Source tem menos defeitos que código comercial, e que a análise estática de código é eficaz na redução da quantidade de defeitos em software.

Seguidores

IDEs para Ruby, um resumo das novidades

por Mirko Stocker Seguir 0 Seguidores , traduzido por Robison Tesini Seguir 0 Seguidores   em  13 mar, 2012

A JetBrains lançou a versão 4 da sua IDE para Ruby chamada RubyMine, com melhor desempenho e melhorias incrementais, o NetBeans 7.1 para Ruby está prestes a sair com mudanças importantes.

Seguidores

Spec# e Boogie Disponíveis no CodePlex

por Jonathan Allen Seguir 525 Seguidores , traduzido por Marcus Rehm Seguir 0 Seguidores   em  02 set, 2009

O código fonte do Spec# está disponível no CodePlex pela Microsoft Research Shared Source License Agreement. Esta licença restringe a utlização para fins não comerciais. E a ferramenta de verificação de código chamada Boogie foi lançada pela Microsoft Public License, a qual está em conformidade com o padrão Free/Open Source.

Faça seu login para melhorar sua experiência com o InfoQ e ter acesso a funcionalidades exclusivas


Esqueci minha senha

Follow

Siga seus tópicos e editores favoritos

Acompanhe e seja notificados sobre as mais importantes novidades do mundo do desenvolvimento de software.

Like

Mais interação, mais personalização

Crie seu próprio feed de novidades escolhendo os tópicos e pessoas que você gostaria de acompanhar.

Notifications

Fique por dentro das novidades!

Configure as notificações e acompanhe as novidades relacionada a tópicos, conteúdos e pessoas de seu interesse

BT