Software architecture describes the structure of a system, enabling more effective design,
program understanding, and formal analysis. However, existing approaches decouple …

A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design
and Implementation Page 1 V R IJE U NIVERSITEIT BR U S S E L S C IE N T IA VINCERE …

Software architecture describes the structure of a system, enabling more effective design,
program understanding, and formal analysis. However, existing approaches decouple …

During its lifecycle, the internal structure of a software system undergoes continuous
modifications. These changes push away the source code from its original design, often …

Calculating with graphs and relations has many applications in the analysis of software
systems, for example, the detection of design patterns or patterns of problematic design and …

Intensional views and relations have been proposed as a way of actively documenting high-
level structural regularities in the source code of a software system. By checking …

Software erosion can be controlled by periodically checking for consistency between the de
facto architecture and its theoretical counterpart. Studies show that this process is often not …

Many structural analyses of software systems are naturally formalized as relational queries,
for example, the detection of design patterns, patterns of problematic design, code clones …

The right software architecture is critical to achieving essential quality attributes, but these
qualities are only realized if the program as implemented conforms to its intended …

How good is a given graph clustering, graph layout, or graph ordering--specifically, how well
does it group densely connected vertices and separate sparsely connected vertices? How …