Modeling - UML
§ - IBM
§ - Microsoft (part of Visual Studio .NET Enterprise Architect edition)
§ - Artiso
IDEs
§ - Microsoft
§ - Sapien
§ - Microsoft
§ - Improve
Builds
§ – Atozed Software
§ - Microsoft
§ - Kinook Software
Testing
§ – MIIK Ltd.
§ – United Binary
§ - Segue
§ - Parasoft
Code validation - Standard verifiers