Informática - Ingeniería del software

Un nuevo sistema de monitoreo para robots mejora la eficiencia y la fiabilidad.

Una mirada a cómo las personas neurodiversas impactan a los equipos de desarrollo de software.

Explabox simplifica el aprendizaje automático para todos, asegurando transparencia y equidad en los modelos de IA.

Una mirada a cómo el OSS está moldeando la tecnología a través de la colaboración y el uso de bibliotecas.

Una mirada a predecir cuánto tardan en ejecutarse los programas cuánticos.

SelectQA mejora la velocidad y efectividad de las pruebas de software usando técnicas de computación cuántica.

Los investigadores exploran cómo los modelos de lenguaje pueden aclarar acuerdos legales complejos.

Especificaciones claras pueden transformar el desarrollo de IA y mejorar la fiabilidad del sistema.

Este artículo explora cómo la IA puede facilitar la redacción de aserciones en la programación.

Una mirada a los problemas comunes de los desarrolladores en aplicaciones cuánticas híbridas.

Una mirada a los fallos de Jupyter notebooks y cómo prevenirlos.

Una visión general de las vulnerabilidades de software y los modelos utilizados para detectarlas.

Un enfoque nuevo para hacer que los robots sean más inteligentes y eficientes.

Explorando cómo los LLMs mejoran la creación de software mientras se mantiene la confianza.

Un estudio sobre el rendimiento de los LLMs en tareas de ingeniería de software.

Aprende sobre CodeGraphNet, un nuevo método para identificar vulnerabilidades en el software.

Examinando cómo la complejidad del código afecta la seguridad en los contratos inteligentes.

Una mirada a cómo los desarrolladores indie utilizan la Experimentación Continua.

Feature-Factory simplifica añadir nuevas funciones al software, ahorrando tiempo y esfuerzo a los desarrolladores.

Examinamos dos escenarios para desarrollar herramientas de seguridad contra ataques.

Usando modelos de lenguaje grandes para mejorar la generación de semillas de fuzzing en pruebas de software.

Aprende sobre micro frontends, sus beneficios y los desafíos comunes.

Aprende a detectar y solucionar olores de código de seguridad en JavaScript.

Aprende cómo los sistemas inteligentes organizan datos complejos de manera eficiente.

Una nueva herramienta combina LLMs y verificación formal para crear código más seguro.

Los métodos para verificar circuitos cuánticos aseguran que funcionen de manera correcta y confiable.

Un nuevo método ayuda a los desarrolladores a gestionar las relaciones de co-cambio en el software de manera más efectiva.

Explorando las limitaciones de los LLMs para generar Infraestructura como Código confiable.

Investigando la eficiencia energética y la precisión en modelos de codificación de IA para desarrolladores.

Aprende a lidiar con problemas de desreferencia de punteros nulos en la seguridad del software.

Descubre cómo O1-CODER está cambiando la forma en que las máquinas aprenden a programar.

Una visión general sobre el descubrimiento de servicios y el papel de OpenAPI y LLMs.

Examinando las barreras que enfrentan las personas con discapacidad para acceder a la tecnología.

Crear diversos entornos de carretera mejora las pruebas de seguridad para vehículos autónomos.

Una herramienta diseñada para simplificar la recopilación de requisitos a partir de conversaciones con las partes interesadas.

Una mirada a las fortalezas y debilidades de los ayudantes de código avanzados.

Un conjunto de herramientas que mejora la educación en programación con orientación estructurada y feedback automatizado.

Perspectivas sobre las necesidades y expectativas de los ingenieros de software para herramientas de detección de anomalías en logs.

Aprende a lidiar con excepciones de puntero nulo con un nuevo enfoque lógico.

Una base de datos para combatir defectos de backdoor en modelos de aprendizaje profundo.