![##common.pageHeaderLogo.altText##](https://revistas.up.ac.pa/public/journals/10/pageHeaderLogoImage_es_ES.png)
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
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.