Ir al menú de navegación principal Ir al contenido principal Ir al pie de página del sitio
Enviado enero 24, 2023
Publicado 2023-01-25

Artículos

Vol. 6 Núm. 1 (2023): REVISTA SABERES APUDEP

INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ


Imagen de portada

Citación:
DOI: ND

Publicado: 2023-01-25

Cómo citar

Gordon Graell, R. D. (2023). INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ. Revista Saberes APUDEP, 6(1), 95–111. Recuperado a partir de https://www.revistas.up.ac.pa/index.php/saberes_apudep/article/view/3519

Resumen

La ingeniería del software como disciplina profesional está en constante avance y transformación. Es una práctica que se hace disruptiva en la medida en que los productos resultantes obligan nuevas investigaciones y desarrollos. Como técnica, el desarrollo de los sistemas de información cuenta con variadas metodologías que se adaptan a las necesidades del desarrollador/usuario o del cliente final/usuario. Una de esas técnicas se denomina Metodologías Formales, cuya principal característica es que se fundamenta en el proceso lógico y el conocimiento de la ciencia matemática para el diseño de modelos teóricos previo la construcción de los algoritmos. Los métodos que ofrece son los preferidos en ambientes muy técnicos y ecosistemas digitales especializados que requieren de respuestas exactas, a eventos en tiempo real, sin la presencia humana, que solucionan problemas de sistemas y aportan confiabilidad en los resultados. El artículo que se presenta es un análisis descriptivo de la utilización de los métodos formales en varios campos del conocimiento humano y áreas de producción, que pueden ser aplicados en Panamá. Es una investigación documental cuya principal conclusión es que la metodología formal para el desarrollo de ecosistemas digitales científico técnicos, más que una opción, es la solución adecuada.

Descargas

Los datos de descargas todavía no están disponibles.