Enforcing Structural Regularities in Source Code using IntensiVE

Authors:
J. Brichau;A. Kellens;K. Mens
Affiliations:
Univ. Catholique de Louvain, Louvain-la-Neuve;-;Univ. Catholique de Louvain, Louvain-la-Neuve
Venue:
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
Year:
2008

Citing 6
Cited 0

Law-governed systems

Software Engineering Journal - Special issue on software process and its support
Software reflexion models: bridging the gap between source and high-level models

SIGSOFT '95 Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering
XIRC: A Kernel for Cross-Artifact Information Engineering in Software Development Environments

WCRE '04 Proceedings of the 11th Working Conference on Reverse Engineering
IntensiVE, a toolsuite for documenting and checking structural source-code regularities

CSMR '06 Proceedings of the Conference on Software Maintenance and Reengineering
Using SCL to Specify and Check Design Intent in Source Code

IEEE Transactions on Software Engineering
Co-evolving code and design with intensional views

Computer Languages, Systems and Structures

Quantified Score

Hi-index	0.00

Visualization

Abstract

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), which is the subject of this demonstration, is a tool suite for documenting such structural regularities in (object-oriented) software systems and verifying their consistency in later versions of those systems.