Java; Unified Modeling Language; formal languages; software architecture; UML graphics; algebraic model; formal description language; software architecture description language; abstract data type; class; component; subsystem;
机译:基于正式的并发模型的体系结构描述语言,用于软件开发工具的综合
机译:软件体系结构描述语言对联邦和联邦体系结构建模和分析的有用性
机译:使用过程代数体系结构描述语言处理通信:建模,验证和实现
机译:软件体系结构的代数模型和形式描述语言
机译:基于XML的软件体系结构视图描述语言(AVDL)。
机译:神经系统语言:用于系统描述明确通信和神经连接自动数字化的形式化建模语言
机译:一种基于形式并发模型的体系结构描述语言,用于合成软件开发工具
机译:离散时间过程代数和sDL语义(软件描述语言);软件工程部