动态建模实验室 Dymola 是一套完整工具，用于对汽车、航空航天、机器人、加工及其他应用领域内使用的集成复杂系统进行建模和仿真。

 LabVIEW是一种程序开发环境，由美国国家仪器（NI）公司研制开发，类似于C和BASIC开发环境，但是LabVIEW与其他计算机语言的显著区别是：其他计算机语言都是采用基于文本的语言产生代码，而LabVIEW使用的是图形化编辑语言G编写程序，产生的程序是框图的形式。

 系统化的讲解

 如何进行关系数据库设计与建模

 AADL 被认为是基于模型驱动的嵌入式实时系统设计与实现的基础。

SCADE Architect是为用户提供系统设计环境，可用于具有高可靠性要求的系统，为工业系统工程流程提供全面支持，例如ARP 4754A，ISO 26262 ，以及EN 50126. 
该产品在基于SysML的环境中具有功能和架构系统建模和验证功能。SCADE Architect为部署基于模型的系统工程（MBSE）流程和最佳实践提供了坚实的基础。一个关键特性是能够生成一致和全面的接口控制文档（ICD）作为MBSE过程的重要结果。

 Unified Platform for  Defence Modeling，  防卫系统建模统一平台

 如何设计词法分析器

 语言是人类最伟大的工具之一，描述是人类所有智慧的基础，描述分为各种层次：

• 自然语言 

• 数学公式 

• 建筑图形 

• 软件模型 

人的科学知识、文学知识都是在自然语言的基础上，演进出了各种专业符号系统。如果能够理清自然语言，可以帮助我们更好的认识自己如何描述世界，进而关联到各个学科的专业符号。这可以帮助我们：

• 认识自己的思维形成基础<

 各个学科，各个国家，各个民族，各个地域，都有各自的语言，每种语言给专自己带来便利的同事，也建立了知识的壁垒，如果有一门能够适用于各种学科、民族、专业的通用语言该多好，我们能够找到或者建立这样一门语言吗？

 美国国家信息交换模型（NIEM）为解决跨领域信息交换与共享问题提供了科学有效的解决方案，对推动我国跨领域信息交换理论研究与工程实践具有重要的参考和借鉴作用。

 从设计图生成代码

 如何对C代码进行逆向，生成调用关系图和流程图？

 最近想根据工作需要建立一种编程语言。

Simulink 是一个模块图环境，用于多域仿真以及基于模型的设计。它支持系统级设计、仿真、自动代码生成以及嵌入式系统的连续测试和验证。Simulink 提供图形编辑器、可自定义的模块库以及求解器，能够进行动态系统建模和仿真。Simulink 与 MATLAB® 相集成，这样您不仅能够在 Simulink 中将 MATLAB 算法融入模型，还能将仿真结果导出至 MATLAB 做进一步分析。

Activiti是一个开源的工作流引擎，它实现了BPMN 2.0规范，可以发布设计好的流程定义，并通过api进行流程调度。
BPMN即业务流程建模与标注（Business Process Model and Notation，BPMN) ，描述流程的基本符号，包括这些图元如何组合成一个业务流程图（Business Process Diagram）。

企业架构建模涉及业务架构、应用架构、数据架构、技术架构，内容比较多，建模也复杂，希望系统学习一下。

 在搞生产系统研发，如何建模和仿真呢？

 IDEF，是ICAM Definition的缩写，是指一个家族的系统和软件工程领域的建模语言。它最初于20世纪70年代在俄亥俄州美国空军材料实验室，由赖特 - 帕特森空军基地的Dennis E. Wisnosky, Dan L. Shunk等人发起。 IDEF涵盖了广泛的用途，从功能建模到数据，模拟，面向对象的分析和设计，以及知识获取。 IDEF图表有很多类型，包括IDEF0，IDEF1，IDEF1X，IDEF2，IDEF3，IDEF4，IDEF5，IDEF6，IDEF7，IDEF8，IDEF9，IDEF10，IDEF11，IDEF12，IDEF13和I

UML相关的学习资料有吗？