Enforcing structural regularities in software using IntensiVE

Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt
2010 Science of Computer Programming  
The design and implementation of a software system is often governed by many different coding conventions, design patterns, architectural design rules, and other so-called structural regularities. To prevent a deterioration of the system's source code, it is important that these regularities are verified and enforced in subsequent evolutions of the system. The Intensional Views Environment (IntensiVE), presented in this article, is a tool suite for documenting such structural regularities in
more » ... ject-oriented) software systems and verifying their consistency in later versions of those systems.
doi:10.1016/j.scico.2009.11.005 fatcat:3meefp45ffccvc2s72xdq7n2se