Informática - Engenharia de software

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

A EV2Gym ajuda pesquisadores a desenvolver soluções de carregamento inteligente avançadas para veículos elétricos.

Explorando o papel da IA generativa em melhorar as práticas de segurança de software.

Um novo modelo melhora a análise de código WebAssembly através da compreensão de dados mistos.

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

Explorando como os tutores de IA melhoram a experiência de aprendizado de programação para os alunos.

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.

Aprenda como o STPA e o LTL criam sistemas mais seguros.

Estudo mostra como modificações no código influenciam as métricas de qualidade do software.

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.

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

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

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

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

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

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.

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.

Um estudo sobre a clareza e aceitação das Árvores de Ataque-Defesa entre os usuários.

Este estudo avalia quão efetivamente o ChatGPT cria diagramas de sequência UML a partir de requisitos em linguagem natural.

Um guia prático para pesquisadores usando métodos mistos em engenharia de software.

Uma olhada em como os LLMs resumem código e fatores que afetam o desempenho deles.

Focar na diversidade pode melhorar o software pra todo mundo.

Um estudo sobre o compartilhamento, manutenção e qualidade dos artefatos de pesquisa em software.

A Engenharia de Software Quântico tá evoluindo pra atender às necessidades da computação quântica avançada.

Aprimorando modelos de geração de código pra lidar com mudanças pequenas nos inputs de forma eficaz.

Uma ferramenta pra identificar vulnerabilidades em código Python gerado por IA já tá disponível.

Um novo método usa LLMs pra melhorar a eficiência da correção de programas.

Essa pesquisa analisa como usar o fluxo de informação pra identificar possíveis conflitos de código.

Uma ferramenta simplifica a evolução do esquema do banco de dados enquanto garante a integridade.

Um estudo sobre o que motiva os desenvolvedores em projetos de código aberto.

Este estudo avalia grandes modelos de linguagem para gerar textos em aplicativos móveis.

Aprenda práticas eficazes para estimar esforço de forma precisa no desenvolvimento ágil de software.

O Service Weaver facilita a criação de aplicativos nativos em nuvem, diminuindo a complexidade.

Um sistema pra facilitar o uso de OWL na programação orientada a objetos.

As crianças aprendem teste de software através de um jogo divertido sobre criaturas.

Esse estudo analisa mutantes equivalentes e o impacto deles nos testes de software.