VisSim是用于模拟嵌入式系统的动力系统和基于模型的设计的视觉框图语言。它是由马萨诸塞州Westford的Visual Solutions开发的视觉解决方案，由Altair于2015年8月被收购，其产品已被重新定义为solidThinki

Defensics 是新一代的安全测试平台，帮助开发人员和技术用户迅速、可靠且高效地找到并纠正各种危险的错误和缺陷。通过主动将未知因素纳入整体视图之中，Defensics 可以设定标准，以此支持出色的漏洞管理。Defensics 的核心技术

Coverity 是一款精确的综合静态分析与应用安全测试 (SAST) 平台，它可以在编写代码时发现关键的缺陷和安全缺陷，防止它们变成安全漏洞、故障或维护缺陷。

　　通过TIA Portal ，可以不受限制地访问西门子的完整数字化服务系列：从数字化规划和一体化工程到透明的运行。 新版本通过仿真工具等来缩短产品上市时间，通过附加诊断及能源管理功能提高工厂生产力，并通过连接到管理层来提供更大灵活性。新的

Micro Focus® LoadRunner 是一款行业标准性能工程软件。生成真实负载。确定并诊断问题。放心地进行部署。

快速交付安全软件：在开发周期早期发现安全问题，并以 DevOps 速度修复问题。 功能： 1、支持行业领先的编程语言 扫描采用开发人员首选的编程语言编写的源代码。支持 25 种语言，包括 Java、C#、C、C++、Swift、P

Keil®MDK是基于ARM®的微控制器的最全面的软件开发解决方案。包括您需要创建，构建所有的组件以及调试嵌入式应用。

DevExpress Universal Subscription拥有.NET开发需要的所有平台控件，包含600多个UI控件、报表平台、DevExpress Dashboard eXpressApp 框架、适用于 Visual Studio

Sketch 是一款适用于所有设计师的矢量绘图应用。矢量绘图也是目前进行网页，图标以及界面设计的方式。但除了矢量编辑的功能之外，我们同样添加了一些基本的位图工具，比如模糊和色彩校正。

Nessus 是全球部署最广泛的网络安全技术之一

从开发到部署期间提供安全保障和管理开源。Black Duck 提供全面的软件组件分析 (SCA) 解决方案，用于管理在应用程序和Docker中使用开源和第三方代码所带来的安全、质量和许可证合规性风险。Black Duck 为您提供无与伦比的

强大的 DevSecOps 精确定位应用程序漏洞，从而在开发生命周期的每个阶段进行快速补救。HCL AppScan 提供一流的应用程序安全测试工具，以确保您的业务和客户不会受到攻击。

Axure RP作为一个专业的快速原型设计工具，它可以让设计师们利用需求，设计功能和界面来快速的创建应用软件的线框图、流程图、原型和规格说明文档，并且同时支持多人协作和版本控制管理。

Delphi 拥有一个可视化的集成开发环境(IDE），采用面向对象的编程语言ObjectPascal和基于部件的开发结构框架。Delphi它提供了500多个可供使用的构件，利用这些部件，开发人员可以快速地构造出应用系统。开发人员也可以根据自

Parasoft® C/C++test™ – 针对 C/C++ 开发的综合性代码质量保障工具

最优秀的二元代码分析工具，是世界级软件分析师、反向工程师、恶意软件分析员和网络安全专业人员工具箱中不可或缺的项目。

Windows Forms拥有190多个控件，DevExpress WinForms订阅版拥有为Windows Forms平台创建高影响力的商业解决方案所需的一切。Windows Forms是一个功能完整、完全集成的开发工具集，旨在满足针对

WebStorm 是JetBrains公司旗下一款JavaScript 开发工具。已经被广大中国JS开发者誉为“Web前端开发神器”、“最强大的HTML5编辑器”、“最智能的JavaScript IDE”等。与IntelliJ IDEA同源

PyCharm是一种Python IDE（Integrated Development Environment，集成开发环境），带有一整套可以帮助用户在使用Python语言开发时提高其效率的工具，比如调试、语法高亮、项目管理、代码跳转、智能

　　Ansys SCADE LifeCycle 嵌入式软件解决方案可为应用程序生命周期管理提供专业的技术支持。它通过应用程序生命周期管理 (ALM) 工具、可追溯性模型、配置和变更管理以及自动生成文档来实现对可追溯性的需求。 　　SC