Aristides Dasso

Aristides DassoAristides Dasso is an associate professor, at the Departmento de Informática at Universidad Nacional de San Luis, Argentina. He has published more than fifty articles in international conferences and journals and has presented several papers in international conferences on software engineering and information systems. He has studied political science in Argentina and computer science in Argentina and France, and has been a fellow at the International Institute for Software Technologies of the United Nations University, Macao. He is a member of both ACM and IEEE.

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.