Informática - Ingeniería del software

Nueva herramienta basada en AST mejora la precisión en la comparación de código y la colaboración entre desarrolladores.

Un nuevo método mejora la precisión en las recomendaciones de temas para proyectos de software.

Crear un sistema para comparar bibliotecas entre lenguajes de programación de manera efectiva.

Un nuevo marco mejora la autocompletación de código al utilizar el contexto del repositorio.

Un estudio sobre herramientas de análisis estático para la recuperación de arquitectura de microservicios.

Descubre cómo las herramientas NLP4RE simplifican la ingeniería de requisitos.

Una mirada a los contratos inteligentes, su mecánica, beneficios y preocupaciones de seguridad.

Nuevos métodos mejoran la eficiencia de la verificación de software usando invariantes auxiliares.

Presentamos un lenguaje de programación para mejorar la toma de decisiones y la ejecución de tareas en robots.

JupyLabel ofrece una mejor manera de clasificar y etiquetar secciones de código en Jupyter Notebooks.

Nuevos conjuntos de datos y referencias buscan mejorar la producción de código de los modelos de IA.

Este artículo examina cómo las puntuaciones de compatibilidad obtenidas por la multitud ayudan a gestionar las dependencias de software.

Este artículo examina problemas de "code smells" en la calidad del software de ML.

AutoDev agiliza el proceso de desarrollo de software a través de la automatización avanzada con IA.

Esta investigación evalúa el uso de LLMs para escenarios realistas de autos autónomos.

Analizando la seguridad de los Helm charts usando herramientas e IA para posibles soluciones.

Aprende cómo los modelos de IA mejoran la calidad de las historias de usuario en el desarrollo ágil de software.

Un nuevo marco mejora el análisis de flujo de datos en el diseño de software para una mejor seguridad.

Examinando métodos PEFT en LLMs para generación de código y resumen en R.

FuseFL mejora la localización de fallos al combinar varias fuentes de datos para dar explicaciones más claras.

Un análisis de las interacciones de los desarrolladores con ChatGPT en GitHub.

Un nuevo método mejora la finalización de código al reducir la obtención de información innecesaria.

Aprende a verificar sistemas complejos de manera eficiente usando métodos modernos.

Un marco simplifica las optimizaciones de miradas furtivas para mejorar el rendimiento en aplicaciones de Java.

Un nuevo marco simplifica las pruebas de los compiladores JIT al generar casos de prueba automatizados.

SliSE mejora la detección de vulnerabilidades de reentrancia en contratos inteligentes complejos.

Descubre cómo los Gemelos Digitales están revolucionando el monitoreo y la eficiencia en varios sectores.

HDLdebugger automatiza y simplifica el proceso de depuración del código HDL para los ingenieros.

Linguacodus traduce lenguaje natural a código de computadora para tareas de aprendizaje automático.

UMBRELLA es un laboratorio vivo para probar tecnología IoT en entornos del mundo real.

FastFlip ayuda a los desarrolladores a encontrar y analizar errores de software rápidamente.

El aprendizaje por refuerzo mejora los métodos de prueba para la seguridad de la conducción autónoma.

El Marco de Apertura del Modelo establece estándares para la transparencia y la confianza en el desarrollo de la IA.

Una mirada a los desafíos y prácticas de la licencia OSS en el desarrollo de software.

Q-COSMIC ofrece una nueva forma de medir el tamaño del software cuántico de manera efectiva.

Explorando cómo la IA impacta el desarrollo de software y las prácticas de codificación.

Una nueva herramienta mejora la integridad de los sistemas de prueba de cero conocimiento.

Este artículo examina los problemas de licencia de código en el entrenamiento de modelos de IA.

Una nueva herramienta predice y evalúa los riesgos de seguridad en microservicios.

Una nueva metodología mejora el desarrollo de sistemas críticos de seguridad.