Buscar
Mostrando ítems 1-10 de 32
Statically identifying class dependencies in legacy JavaScript systems: First results
(IEEE, 2017)
Identifying dependencies between classes is an essen-tial activity when maintaining and evolving software applications.It is also known that JavaScript developers often use classes tostructure their projects. This happens ...
O-ODM Framework for Object-Relational Databases
Object-Relational Databases introduce new features which allow manipulating objects in databases.At present, many DBMS offer resources to manipulate objects in database, but most application developers just map class to ...
Programação concorrente baseada em acordes para plataforma java
(Universidade Federal de Minas GeraisUFMG, 2009-06-26)
The most important mechanisms used to express parallelism and concurrency available in major modern programming languages are constructions with low level of abstraction, inadequate to the development of large scale ...
TACO: efficient SAT-based bounded verification using symmetry breaking and tight bounds
(IEEE Computer Society, 2013-03)
SAT-based bounded verification of annotated code consists of translating the code together with the annotations to a propositional formula, and analyzing the formula for specification violations using a SAT-solver. If a ...
Hibersafe: um sistema de recomendação baseado no StackOverflow para Bugs do Hibernate relacionados a exceções
(Universidade Federal do Rio Grande do NorteBrasilUFRNPROGRAMA DE PÓS-GRADUAÇÃO EM SISTEMAS E COMPUTAÇÃO, 2022-03-29)
Hibernate is a popular Java framework used to support data persistence through object
relational mapping. This mapping is accomplished through the use of Java annotations.
The way these annotations are processed, however, ...
RiPLE-HC: JavaScript Systems Meets SPL Composition
(ACMBrasil, 2016-09)
Context. Software Product Lines (SPL) engineering is increasingly being applied to handle variability in industrial software systems. Problem. The research community has pointed out a series of benefits which modularity ...
TacoFlow: optimizing SAT program verification using dataflow analysis
(Springer Heidelberg, 2015-01)
In previous work, we presented TACO, a tool for efficient bounded verification. TACO translates programs annotated with contracts to a SAT problem which is then solved resorting to off-the-shelf SAT-solvers. TACO may deem ...
Practical JFSL verification using TACO
(Wiley, 2013-11)
Translation of Annotated COde (TACO) is a SAT-based tool for bounded verification of Java programs. One challenge many formal tools share is to provide a practical interface for a non-proficient user. In this article, we ...