机译:使用动态描述逻辑指定动态软件架构
School of Computer & Information Engineering, Shandong University of Finance, Jinan, Shandong, China, 250014;
School of Information & Communication Technology, Central Queensland University, Rockhampton, Australia, 4702;
dynamic software architecture; dynamic description logic; runtime reconfiguration;
机译:使用动态描述逻辑指定动态软件架构
机译:分布式系统动态软件架构的描述和验证
机译:基于图块逻辑的软件体系结构描述分析方法
机译:基于动态描述逻辑的架构描述语言
机译:一种基于软件体系结构的方法和框架,用于设计可动态重新配置的产品线软件体系结构。
机译:核建筑与动力学的焦点问题:核建筑与动力学:领土核机构和核质运输
机译:在动态收缩体系结构中集成abductive逻辑编程和描述逻辑