Stem intensi$ (all stems)

3 papers:

ICSM-2010-KellensNDJP #cobol #design #outsourcing #verification

Verifying the design of an outsourced COBOL system with IntensiVE (AK, CN, TD, LJ, BVP), pp. 1–8.

ASE-2008-BrichauKM #source code #using

Enforcing Structural Regularities in Source Code using IntensiVE (JB, AK, KM), pp. 471–472.

CSMR-2006-MensK #source code

IntensiVE, a toolsuite for documenting and checking structural source-code regularities (KM, AK), pp. 239–248.