Ingeniería Informática
URI permanente para esta colección
Examinar
Examinando Ingeniería Informática por Materia "ALGORITMOS"
Mostrando 1 - 3 de 3
Resultados por página
Opciones de ordenación
Ponencia en Congreso EvoSpex: An evolutionary algorithm for learning postconditions (artifact)(2021) Molina, Facundo; Ponzio, Pablo; Aguirre, Nazareno; Frías, Marcelo"Having the expected behavior of software specified in a formal language can greatly improve the automation of software verification activities, since these need to contrast the intended behavior with the actual software implementation. Unfortunately, software many times lacks such specifications, and thus providing tools and techniques that can assist developers in the construction of software specifications are relevant in software engineering. As an aid in this context, we present EvoSpex, a tool that given a Java method, automatically produces a specification of the method’s current behavior, in the form of postcondition assertions. EvoSpex is based on generating software runs from the implementation (valid runs), making modifications to the runs to build divergent behaviors (invalid runs), and executing a genetic algorithm that tries to evolve a specification to satisfy the valid runs, and leave out the invalid ones. Our tool supports a rich JML-like assertion language, that can capture complex specifications, including sophisticated object structural properties."Ponencia en Congreso Patterns in temporal series of meteorological variables using SOM & TDIDT(2006) Cogliati, Marisa; Britos, Paola Verónica; García Martínez, Ramón"The purpose of the present article is to investigate if there exist any such set of temporal stable patterns in temporal series of meteorological variables studying series of air temperature, wind speed and direction an atmospheric pressure in a period with meteorological conditions involving nocturnal inversion of air temperature in Allen, Rio Negro, Argentina. Our conjecture is that there exist independent stable temporal activities, the mixture of which give rise to the weather variables; and these stable activities could be extracted by Self Organized Maps plus Top Down Induction Decision Trees analysis of the data arising from the weather patterns, viewing them as temporal signals."Ponencia en Congreso Work in progress: programming misunderstandings discovering process based on intelligent data mining tools(2008) Britos, Paola Verónica; Jiménez Rey, Elizabeth; Rodríguez, Darío; García Martínez, Ramón"We present research work in progress that focuses on data mining tools used for helping teachers to apply a three step knowledge discovering process to diagnose students’ misunderstandings (and their causes) related to their programming errors."