Buscar
Mostrando ítems 1-10 de 113
Forming Teams for Teaching Programming based on Static Code Analysis
(2012-07-04)
The use of team for teaching programming can be effective in the classroom because it helps students to generate and acquire new knowledge in less time, but these groups to be formed without taking into account some respects, ...
Combinatorial method with static analysis for source code security in web applications
Security weaknesses in web applications deployed in cloud architectures can seriously affect its data confidentiality and integrity. The construction of the procedure utilized in the static analysis tools of source code ...
Asking and Answering Questions During Memory Profiling
(2024)
The software engineering community has produced numerous tools, techniques, and methodologies for practitioners to analyze and optimize memory usage during software execution. However, little is known about the actual needs ...
Abordagem RPN para a recuperação de processos de negócio baseada na análise estática do código fonte
(Universidade Federal de São CarlosUFSCarPrograma de Pós-Graduação em Ciência da Computação - PPGCCCâmpus São Carlos, 2015-09-02)
Over time, Business Processes have become a key asset for organizations since it allows
managing what happens within their environments. It is possible to automate some activities
of business processes resorting to the ...
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 ...
Exploração de análises automatizadas de repositórios de códigos para feedback frequente a alunos de programação
(Universidade Federal de Santa MariaBrasilCiência da ComputaçãoUFSMPrograma de Pós-Graduação em Ciência da ComputaçãoCentro de Tecnologia, 2017-05-19)
Programming is a difficult subject, both to teach and learn. Thus, learning difficulties are common between CS
students, commonly by the abstract nature of this subject. This concern is reinforced by its lenghty ...
Uma abordagem unificada para especificar e checar restrições em múltiplas linguagens de programação por meio de um analisador estático no contexto de um juiz on-line
(Pós-Graduação em Ciência da ComputaçãoUniversidade Federal de Sergipe, 2019)
Uma linguagem específica de domínio para consulta em código orientado a aspectos
(Universidade Federal de Santa MariaBRCiência da ComputaçãoUFSMPrograma de Pós-Graduação em Informática, 2013-08-28)
Ensuring code quality is crucial in software development. Not seldom, developers resort
to static analysis tools to assist them in both understanding pieces of code and identifying
defects or refactoring opportunities ...