PackageDescription: Intensional Tools(Bundle)

Intensional Tools

Last published: November 20, 2006 by 'andyk'

IntensiVE is an environment that is seamlessly integrated with a software development environment and that supports the definition, manipulation and verification of intensionally defined sets of source code entities (called intensional views), and relations between such sets (called intensional relations).
This toolsuite is available under the MIT-BSD License.
More information can be found at: