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

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

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 v...

Full description

Bibliographic Details
Main Author: Gordon Graell, Roberto Daniel
Format: Online
Language:spa
Published: Universidad de Panamá. Asociación de Profesores de la Universidad de Panamá. 2023
Online Access:https://revistas.up.ac.pa/index.php/saberes_apudep/article/view/3519
id APUDEP3519
record_format ojs
spelling APUDEP35192023-01-25T15:10:26Z SOFTWARE ENGINEERING, INFORMATION SYSTEMS AND FORMAL METHODS: : CHALLENGES AND APPLICATIONS IN PANAMA INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ Gordon Graell, Roberto Daniel Diseño ingeniería métodos formales sistemas de información Design engineering formal methods information systems Software engineering as a professional discipline is constantly advancing and transforming. It is a practice that becomes disruptive to the extent that the resulting products force new research and development. As a technique, the development of information systems has several methodologies that adapt to the needs of the developer/user or the end customer/user. One of these techniques is called Formal Methodologies, whose main characteristic is that it is based on the logical process and the knowledge of mathematical science for the design of theoretical models prior to the construction of algorithms. The methods it offers are preferred in highly technical environments and specialized digital ecosystems that require accurate responses to events in real time, without human presence, that solve system problems and provide reliability in the results. The article presented is a descriptive analysis of the use of formal methods in various fields of human knowledge and production areas, which can be applied in Panama. It is a documentary research whose main conclusion is that the formal methodology for the development of scientific-technical digital ecosystems, more than an option, is the appropriate solution. 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. Universidad de Panamá. Asociación de Profesores de la Universidad de Panamá. 2023-01-25 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion Artículo revisado por pares application/pdf https://revistas.up.ac.pa/index.php/saberes_apudep/article/view/3519 Revista Saberes APUDEP; Vol. 6 Núm. 1 (2023): REVISTA SABERES APUDEP; 95-111 2953-321X spa https://revistas.up.ac.pa/index.php/saberes_apudep/article/view/3519/3027 http://creativecommons.org/licenses/by-nc-sa/4.0
institution Universidad de Panamá
collection Revista Saberes APUDEP
language spa
format Online
author Gordon Graell, Roberto Daniel
spellingShingle Gordon Graell, Roberto Daniel
INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ
author_facet Gordon Graell, Roberto Daniel
author_sort Gordon Graell, Roberto Daniel
description 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.
title INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ
title_short INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ
title_full INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ
title_fullStr INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ
title_full_unstemmed INGENIERÍA DE SOFTWARE, SISTEMAS DE INFORMACIÓN Y MÉTODOS FORMALES: : DESAFIOS Y APLICACIONES EN PANAMÁ
title_sort ingeniería de software, sistemas de información y métodos formales: : desafios y aplicaciones en panamá
title_alt SOFTWARE ENGINEERING, INFORMATION SYSTEMS AND FORMAL METHODS: : CHALLENGES AND APPLICATIONS IN PANAMA
publisher Universidad de Panamá. Asociación de Profesores de la Universidad de Panamá.
publishDate 2023
url https://revistas.up.ac.pa/index.php/saberes_apudep/article/view/3519
work_keys_str_mv AT gordongraellrobertodaniel softwareengineeringinformationsystemsandformalmethodschallengesandapplicationsinpanama
AT gordongraellrobertodaniel ingenieriadesoftwaresistemasdeinformacionymetodosformalesdesafiosyaplicacionesenpanama
_version_ 1817532257973305344

Similar Items