Sciweavers

Share
SCP
2010

Enforcing structural regularities in software using IntensiVE

9 years 20 days ago
Enforcing structural regularities in software using IntensiVE
The design and implementation of a software system is often governed by a variety of coding conventions, design patterns, architectural guidelines, 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 upon evolution of the system. The Intensional Views Environment (IntensiVE), presented in this article, is a tool suite for specifying relevant structural regularities in an (object-oriented) software system and verifying them against the current and later versions of the system. At the heart of the IntensiVE tool suite are (logic) program queries and the model of intensional views and relations, through which regularities are expressed. Upon verification of these regularities in the source code of the system, IntensiVE reports the code entities (i.e. classes, methods, variables, statements, etc.) that violate these constraints. nt IntensiVE and illustrate i...
Johan Brichau, Andy Kellens, Sergio Castro, Theo D
Added 30 Jan 2011
Updated 30 Jan 2011
Type Journal
Year 2010
Where SCP
Authors Johan Brichau, Andy Kellens, Sergio Castro, Theo D'Hondt
Comments (0)
books