Interfaces; Systems engineering; Contracts; Computer architecture; Computer codes; Specifications; Foreign technology; System-of-systems (SoS); Vienna Development Method (VDM);
机译:系统对战模拟模型的形式规范与表示研究
机译:系统对战模拟模型的形式规范与表示研究
机译:JPIAspectZ:联合点接口AOP应用程序的形式要求规范语言
机译:系统系统配置中的约束规范
机译:在线交互式语言课件的设计:概念化,规范和原型设计。研究语言学功能对软件体系结构的影响。
机译:人类免疫缺陷病毒1型基因型解释的算法规范接口
机译:系统系统架构的接口规范
机译:系统体系结构的半形式和形式接口规范。