Programming idioms, design patterns and application libraries often introduce cumbersome
and repetitive boilerplate code to a software system. Language extensions and external …

Attribute-oriented programming (source code annotations) is a program level marking
technique that enables enrichment of program elements with custom metadata. In this paper …

Security vulnerabilities are commonly caused by security bugs introduced by developers
during code construction. Static analysis tools can detect such vulnerabilities, yet are often …

In this paper, we present the Rule-Maker System, which is a visualization approach of Rule-
Based Programming. Compared to traditional Rule-Based Programming, Rule-Maker …

Abstract Model checking is an established formal method for verifying the desired behavioral
properties of system models. But popular model checkers tend to support low-level modeling …

Model checking is an established formal method for verifying the desired behavioral
properties of system models. But popular model checkers tend to support low-level modeling …

As atividades relacionadas à evolução têm sido apontadas como fatores de grande impacto
sobre o custo e o tempo inerentes ao processo de engenharia de sistemas de software. O …

Desde su introducción en Java 5, las anotaciones han pasado de ser una herramienta útil a
jugar un papel central en muchos proyectos software populares, como por ejemplo la Java …