Artigos mais recentes para Desenvolvimento de Software

Um método pra verificar automaticamente estruturas de dados em relação a invariantes de representação usando técnicas avançadas.

Aprenda como LLMs podem ajudar a deixar a programação em C mais segura e eficiente.

A proibição do ChatGPT na Itália afetou a produtividade dos desenvolvedores de software de maneiras inesperadas.

Um estudo sobre o uso de código inseguro por desenvolvedores em Rust.

Uma nova estrutura tem como objetivo melhorar a interoperabilidade e a eficiência de DSL em HPC.

Aprenda como integrar sistemas de XAI no Jupyter pra melhorar a compreensão de IA.

Este artigo fala sobre como melhorar o comportamento de software através de requisitos de liveness.

Crescendo attack usa conversa amigável pra manipular modelos de IA e gerar resultados prejudiciais.

Um sistema que otimiza cálculos para matrizes esparsas usando armazenamento em blocos.

Apresentando o WebSPL, um método estruturado pra criar aplicações web de forma eficiente.

Revolucione como a gente vê e analisa dados categóricos através de padrões de semelhança.

Olhando as implicações de segurança do código gerado por IA usando APIs de segurança.

O dataset ROBUST ajuda os pesquisadores a resolverem problemas de software em robótica.

Uma proposta de arquitetura de referência em engenharia do conhecimento pra melhorar a eficiência dos sistemas.

Um novo método melhora a confiança na verificação automática de programas.

Um novo método automatiza a análise de saídas de programas probabilísticos.

Explore como ferramentas automatizadas ajudam os estudantes a escrever consultas SQL de forma eficaz.

Ferramenta automatizada verifica contratos inteligentes pra garantir que tão em conformidade com ERC, melhorando a segurança.

Uma nova abordagem pra simplificar cálculos que fazem efeito em linguagens de programação.

Uma abordagem nova pra melhorar a performance de software através de métodos de ajuste dinâmico.

Este artigo apresenta um método eficiente de diffs de árvore usando resolução de SAT.

Uma nova solução de filtro pra manuseio de dados de forma eficiente e escalabilidade.

Um novo método pra acelerar a correção de modelos Stateflow e reduzir custos.

Smart HPA melhora a eficiência de escala de microsserviços em ambientes com recursos limitados.

Um novo método, DepGraph, melhora a precisão na detecção de bugs em software.

O NetKAT simplifica a criação e verificação de regras de rede pra uma gestão mais eficiente.

Uma análise de como os desenvolvedores implementam soluções arquitetônicas em projetos de código aberto.

Um método de deep learning melhora a detecção de vulnerabilidades de software em código desconhecido.

Este artigo apresenta uma estrutura para analisar a terminação de programas com eficiência melhorada.

Uma olhada detalhada em duas ferramentas de edição para desenvolvimento de software.

Um olhar sobre a extração de menções de software em textos acadêmicos.

A indústria automotiva tá abraçando soluções definidas por software pra melhorar as funções dos veículos.

Uma ferramenta interativa ajuda os alunos a criar especificações matemáticas formais.

Conheça o WebPie, uma linguagem simples que usa tipos dependentes pra programação segura.

Um novo método usa LLMs pra automatizar a correção de bugs e a adição de recursos.

Esse artigo examina como os requisitos são coletados em projetos de software do governo.

Explorando o design e os benefícios de um PMU para processadores RISC-V usados no espaço.

O MLRefScanner melhora a detecção de refatoração de código em projetos de machine learning em Python.

Este artigo analisa como os desenvolvedores veem o financiamento do governo em projetos de OSS como o scikit-learn.

Aprenda a lidar com dados escassos de forma eficaz com regras e verificação.