Today software systems play a critical role in society's infrastructures and many are required
to provide uninterrupted services in their constantly changing environments. As the problem …

Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines
for such studies. We mention their main ingredients and then define nine different study …

Background Systems are considered legacy when their maintenance costs raise to
unmanageable levels, but they still deliver valuable benefits for companies. One intrinsic …

Several cohesion metrics have been proposed to support development and maintenance
activities. The most traditional ones are the structural cohesion metrics, which rely on …

Concern annotations are source code annotations over language elements, expressing
concerns related to a particular peace of code. While elements can be annotated manually …

Modularization is a goal difficult to achieve in software development. Some requirements,
named crosscutting concerns, cannot be clearly mapped into isolated source code units …

The presence of crosscutting concerns in legacy systems makes the maintenance an error-
prone and time-consuming activity. Architecture-Driven Modernization (ADM) is a good …

Requisitos descrevem as funções a ser oferecidas pelo software e as possíveis restrições a
seu funcionamento. Um grupo de requisitos com uma mesma finalidade é chamado de …