Buscar recursos académicos

Documento de conferencia La alfabetización desde un concepto ampliado y renovado nos conduce a pensar en un proceso integral que involucra al sujeto en todas sus dimensiones para dotarlo de múltiples habilidades y herr...

"Program repair techniques attempt to fix programs by looking for patches within a search space of fix candidates. These techniques require a specification of the program to be repaired, used as an acceptance criterion f...

"SAT-based bounded veri cation of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for speci cation violations using a SAT-solver. If a v...

"El siguiente trabajo busca analizar la viabilidad en la inversión de una planta de cerveza artesanal y el desarrollo de marca de la misma, llamada General Stud." Proyecto final Ingeniería Industrial (grado) - Institut...

"We describe DynAlloy Analyzer, a tool that extends Alloy Analyzer with support for dynamic elements in Alloy models. The tool builds upon Alloy Analyzer in a way that makes it fully compatible with Alloy models, and ext...

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