• Asset Source for Software Engineering Technology
• Index to Object-Oriented Information Sources
• Knowledge Sharing Library
• Logical Frameworks
• Semantics-Based Program Analysis and Manipulation
• Ph.D. Network
• Young Scientist Network