Diseña Software USABLE por Construcción: El método formal explicado

Описание: Constantemente nos encontramos con software y sistemas que son difíciles de usar. El enfoque tradicional suele ser intentar arreglar los problemas de usabilidad después de que el producto ha sido construido, un proceso que resulta costoso e ineficiente. Este estudio propone un cambio de paradigma: ¿y si pudiéramos garantizar que un sistema es usable desde las primeras etapas de su diseño? El documento presenta una innovadora metodología para asegurar la usabilidad de forma inherente al proceso de creación.

El concepto central es el "Usable-by-Construction" (Usable por Construcción), un framework que aplica ideas de la programación y las matemáticas para el diseño de sistemas interactivos. Mediante un conjunto de reglas de construcción y tácticas formales, se pueden desarrollar diseños que, por su propia naturaleza, cumplen con las propiedades de usabilidad deseadas. De esta manera, cualquier sistema diseñado siguiendo estas reglas tiene la garantía de ser usable, eliminando la necesidad de una verificación posterior.

Esta aproximación fomenta un diseño más abstracto, estructurado y riguroso. Permite a los desarrolladores modelar un sistema, utilizar las matemáticas para comprobar que es adecuado para su propósito y controlar la complejidad desde el inicio. Aunque la aplicación manual de estas reglas puede ser compleja, el proceso puede ser asistido por herramientas computacionales, abriendo la puerta a la creación de sistemas a gran escala que sean demostrablemente usables antes incluso de escribir la primera línea de código.


Link al paper: https://arxiv.org/pdf/2402.00218


Autores del estudio: Steve Reeves


Apoyanos en   / audioarxiv  


Unete en   / discord  


#Ciencias de la computación #Usabilidad #HCI #DiseñoDeSoftware #MétodosFormales #IngenieríaDeSoftware