loading...
IntensiVE, a toolsuite for documenting and checking structural source-code regularities
Bari, Italy March 22-March 24
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/CSMR.2006.29Conference on Software Maintenance an ...
 This Article 
 
PDF
HTML
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Kim Mens, Universite catholique de Louvain, Louvain-la-Neuve, Belgium
Andy Kellens, Vrije Universiteit Brussel, Belgium
As size and complexity of software systems increase, preserving the design and specification of their implementation structure gains importance in order to maintain the evolvability of the system. However, due to constant changes, the implementation structure and its documentation tend to dilute over time. To address this problem, we developed IntensiVE: a toolsuite for documenting and checking structural source-code regularities. Building on the underlying models of intensional views and relations, the toolsuite helps a developer in documenting structural source-code regularities, verifying them and offering fine-grained feedback when the source-code does not satisfy those regularities. By illustrating our tools on a Smalltalk application, we show that violations of the source code against the structural regularities can be detected easily and that our toolsuite provides useful feedback for a developer to refine the regularities or to fix the code so that it does satisfy the regularities.
Citation:
Kim Mens, Andy Kellens, "IntensiVE, a toolsuite for documenting and checking structural source-code regularities," csmr, pp.239-248, Conference on Software Maintenance and Reengineering (CSMR'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.