[上海-招聘] C++工程师、前端全栈开发

你这 c++只是为了完成 wasm 部分吧

我不理解为啥要拖拽控件生成 c 代码？

@cwaken

不同于常规的互联网领域，在工业领域，系统研发工程有套理论体系，MBSE （ Model Base Systems Engineering ）基于模型的系统工程。

简要的解释：
(A)- MBSE 工业领域，强调每一个环节都可以基于模型设计、可追溯、可验证、可仿真，以及最终基于工具生成可信的代码。
(B)- 这里的每个环节包括：需求、系统架构设计、详细设计等，每个环节目前在领域里都已有相关的工具去做(A)所述的功能。
(C)这些过程都是通过基于理论实现工具化的方式去实现的。

目前我们是针对其中环节做相关的工具，C++目前主要用来实现相关的理论模型的实现的落地，比如，静态变量的分析、形式化验证等等。
C++实现的东西，以 dll 或者 wasm 的形式提供给 GUI 应用层。应用层基于 Canvas 相关的技术去实现可视化模型编辑工具，最终的模型是调用 dll/Wasm 做静态变量分析，形式化验证的执行。

@cwaken "我不理解为啥要拖拽控件生成 c 代码？"

目前相关的工业领域，大多是以 C 实现为主，工具目前初步选择 C 代码为生成目标。