Aprenda como o STPA e o LTL criam sistemas mais seguros.
― 7 min ler
Informática - Engenharia de software
RSSEstudo mostra como modificações no código influenciam as métricas de qualidade do software.
― 11 min ler
Uma abordagem nova pra melhorar a performance de software através de métodos de ajuste dinâmico.
― 6 min ler
Este artigo apresenta um método eficiente de diffs de árvore usando resolução de SAT.
― 10 min ler
Um novo método pra acelerar a correção de modelos Stateflow e reduzir custos.
― 7 min ler
Um novo método, DepGraph, melhora a precisão na detecção de bugs em software.
― 7 min ler
Uma análise de como os desenvolvedores implementam soluções arquitetônicas em projetos de código aberto.
― 7 min ler
Uma olhada detalhada em duas ferramentas de edição para desenvolvimento de software.
― 6 min ler
A indústria automotiva tá abraçando soluções definidas por software pra melhorar as funções dos veículos.
― 9 min ler
Um novo método usa LLMs pra automatizar a correção de bugs e a adição de recursos.
― 19 min ler
Esse artigo examina como os requisitos são coletados em projetos de software do governo.
― 7 min ler
O MLRefScanner melhora a detecção de refatoração de código em projetos de machine learning em Python.
― 7 min ler
Este artigo analisa como os desenvolvedores veem o financiamento do governo em projetos de OSS como o scikit-learn.
― 7 min ler
Um estudo sobre a clareza e aceitação das Árvores de Ataque-Defesa entre os usuários.
― 8 min ler
Este estudo avalia quão efetivamente o ChatGPT cria diagramas de sequência UML a partir de requisitos em linguagem natural.
― 8 min ler
Um guia prático para pesquisadores usando métodos mistos em engenharia de software.
― 12 min ler
Uma olhada em como os LLMs resumem código e fatores que afetam o desempenho deles.
― 8 min ler
Focar na diversidade pode melhorar o software pra todo mundo.
― 7 min ler
Um estudo sobre o compartilhamento, manutenção e qualidade dos artefatos de pesquisa em software.
― 6 min ler
A Engenharia de Software Quântico tá evoluindo pra atender às necessidades da computação quântica avançada.
― 9 min ler
Aprimorando modelos de geração de código pra lidar com mudanças pequenas nos inputs de forma eficaz.
― 8 min ler
Uma ferramenta pra identificar vulnerabilidades em código Python gerado por IA já tá disponível.
― 9 min ler
Um novo método usa LLMs pra melhorar a eficiência da correção de programas.
― 6 min ler
Essa pesquisa analisa como usar o fluxo de informação pra identificar possíveis conflitos de código.
― 7 min ler
Uma ferramenta simplifica a evolução do esquema do banco de dados enquanto garante a integridade.
― 7 min ler
Um estudo sobre o que motiva os desenvolvedores em projetos de código aberto.
― 9 min ler
Este estudo avalia grandes modelos de linguagem para gerar textos em aplicativos móveis.
― 7 min ler
Aprenda práticas eficazes para estimar esforço de forma precisa no desenvolvimento ágil de software.
― 6 min ler
O Service Weaver facilita a criação de aplicativos nativos em nuvem, diminuindo a complexidade.
― 8 min ler
Um sistema pra facilitar o uso de OWL na programação orientada a objetos.
― 7 min ler
As crianças aprendem teste de software através de um jogo divertido sobre criaturas.
― 8 min ler
Esse estudo analisa mutantes equivalentes e o impacto deles nos testes de software.
― 5 min ler
Esse estudo analisa problemas de qualidade nas instruções para modelos de geração de código.
― 5 min ler
Uma visão geral do trabalho híbrido e sua conexão com práticas ágeis de software.
― 8 min ler
Usando LLMs pra melhorar a eficácia dos testes de mutação e a qualidade do software.
― 7 min ler
Uma nova ferramenta oferece definições flexíveis de justiça para análise de aprendizado de máquina.
― 8 min ler
Um novo conjunto de dados pra melhorar a geração de código usando visuais.
― 7 min ler
Este artigo examina o papel dos LLMs na correção das especificações do Alloy.
― 7 min ler
Envolvendo os alunos em Teste de Software com Aprendizado Baseado em Equipes e projetos de Código Aberto.
― 7 min ler
O 3DGen usa IA pra transformar descrições de dados informais em código seguro.
― 9 min ler