架构描述语言

架构描述语言 结构描述语言 (ADL) 用于多个学科：系统工程、软件工程以及企业建模和工程。 系统工程社区使用架构描述语言作为语言和/或概念模型来描述和表示系统架构。 软件工程社区使用架构描述语言作为计算机语言来创建软件架构的描述。 在所谓的技术架构的情况下，必须将架构传达给软件开发人员； 将功能架...

计算机对肢体语言的处理

计算机对肢体语言的处理（了解如何以及何时删除此模板信息） 计算机手动运作的正常方式是通过一个人控制计算机。一个人通过使用计算机鼠标或键盘来产生计算机动作。然而，最新的技术和计算机创新可能使计算机不仅能检测到身体语言，还能对其作出反应。现代设备正在进行实验，有可能让计算机相关设备对个人的手势、特定动作...

守护命令语言

守护命令语言 守护命令语言（GCL）是在中为谓词变换器语义定义的一种编程语言。它以一种紧凑的方式结合了编程概念。它使开发一个程序和它的证明携手并进变得更加容易，证明的思路处于领先地位；此外，一个程序的部分内容实际上可以被计算。GCL的一个重要属性是非决定性。例...

嵌入式C语言

嵌入式C语言 嵌入式C语言是C语言标准委员会为解决不同嵌入式系统的C语言扩展之间的共性问题而对C语言编程进行的一套语言扩展。 嵌入式C语言编程通常需要对C语言进行非标准扩展，以支持增强的微处理器特性，如定点运算、多个不同的内存库和基本的I/O操作。C语言标准委员会编写了一份技术报告，最近一次修订是在...