Ana Funes

Ana FunesAna Funes is an assistant professor at the Departamento de Informática at the Universidad Nacional de San Luis, Argentina. She holds a Master degree in software engineering from that university. She is a researcher at the Software Engineering Group of the Universidad Nacional de San Luis.

Publications

Threat and Risk Assessment Using Continuous Logic
Threat and Risk Assessment Using Continuous Logic
Aristides Dasso, Ana Funes. © 2022. 17 pages.
Threat and Risk Assessment is an important area in cybersecurity. It covers multiple systems and organizations where cybersecurity is significant, such as banking, industry...
Methods and Techniques of Data Mining
Methods and Techniques of Data Mining
Ana Funes, Aristides Dasso. © 2021. 19 pages.
Nowadays, there is an increasing number of applications where artificial intelligence has fuelled the research and development of new methods, techniques, and tools related to...
Threat and Risk Assessment Using Continuous Logic
Threat and Risk Assessment Using Continuous Logic
Aristides Dasso, Ana Funes. © 2021. 16 pages.
Threat and Risk Assessment is an important area in cybersecurity. It covers multiple systems and organizations where cybersecurity is significant, such as banking, industry...
Data Mining and the KDD Process
Data Mining and the KDD Process
Ana Funes, Aristides Dasso. © 2019. 17 pages.
Nowadays, there exists an increasing number of applications where analysis and discovery of new patterns have fueled the research and development of new methods, all related to...
The What, How, and When of Formal Methods
The What, How, and When of Formal Methods
Aristides Dasso, Ana Funes. © 2019. 15 pages.
Questions such as what are formal methods, how are formal methods implemented, how are they used in software engineering, and when should they be used, among other related...
Data Mining and the KDD Process
Data Mining and the KDD Process
Ana Funes, Aristides Dasso. © 2018. 15 pages.
Nowadays, there exists an increasing number of applications where analysis and discovery of new patterns have fueled the research and development of new methods, all related to...
The What, How, and When of Formal Methods
The What, How, and When of Formal Methods
Aristides Dasso, Ana Funes. © 2018. 13 pages.
Questions such as what are Formal Methods, how are Formal Methods implemented, how are they used in Software Engineering and when should they be used, among other related...
Formal Methods Overview
Formal Methods Overview
Ana Funes, Aristides Dasso. © 2015. 10 pages.
Formalization Process in Software Development
Formalization Process in Software Development
Aristides Dasso, Ana Funes. © 2009. 7 pages.
Nowadays, software engineering (SE) is considered more frequently an engineering discipline. Several definitions have been proposed by different authors, and many of them agree...
Verification, Validation and Testing in Software Engineering
Verification, Validation and Testing in Software Engineering
Aristides Dasso, Ana Funes. © 2007. 428 pages.
Validation and verification is an area of software engineering that has been around since the early stages of program development, especially one of its more known areas...
Formal Methods in Software Engineering
Formal Methods in Software Engineering
Aristides Dasso, Ana Funes. © 2005. 7 pages.
As a general rule, all engineering applications use mathematics or mathematical tools as a basis for their development. However, software engineering is an exception to this rule.
Formalizing UML Class Diagrams
Formalizing UML Class Diagrams
Ana M. Funes, Chris George. © 2003. 70 pages.
Graphical notations have demonstrated usefulness when interacting with end users, making system validation easier. However, while they can be easily communicated, they lack...