ADL是一种在底层语义模拟支持下的形式化语言。基于底层语义的工具为体系结构的（）、分析、（）、（）、设计过程等提供支持。

JavaScript一种直译式脚本语言，是一种动态类型、弱类型、基于原型的语言，内置支持类型（） 模型设定指的是用形式化、()化的语言讲故事 Rapide是一种可执行的ADL，其目的在于通过定义并模拟基于事件的行为对分布式同步系统建模。 非形式化、半形式化、形式化的软件模型有什么本质的差别？ 如果将自然语言“有些人是男人”翻译为形式化语言，就是 通过对语言的物质形式的感知及对语义的理解而进行学习的一种直观形式称为__。 副语言是一种有声而无固定语义的语言，以下属于副语言的是（）。 副语言是一种有声而无固定语义的语言，以下属于副语言的是（）。 副语言是一种有声而无固定语义的语言，以下属于副语言的是()。   以下现象中，()是形式化的社会控制，()是非形式化的社会控制。 以下现象中，( )是形式化的社会控制，( )是非形式化的社会控制。 美术教育的形态包括非形式化教育、（）、形式化教育 什么是形式化方法？ （）是一种基于可扩展标记语言，为企业披露财务报告开发的一种语言。 ( )对画面主题的表达有一种俯瞰、客观、公正、强调和压抑的效果，显示出一种严肃、规范、形式化、象征、低沉的气氛。 许多国家在政府支持下强制要求投保下列哪一种个人保险（） 数学抽象性的逐级抽象，导致了数学语言的符号化和形式化。() Javascript是一种基于对象的脚本语言 叙事性作品是一种形式化的话语组织，主要表现作家内心的情感活动的文学作品类型（） （）是一种有声而无固定语义的语言如重音、笑声、叹息、掌声等。