Univ. de Buenos Aires, Buenos Aires, Argentina;
Aquila, Italia;
Univ. di Pisa, Pisa, Italia;
机译:使用图文法描述软件架构样式
机译:使用图文法描述软件架构样式
机译:微风图文法:一种用于对面向大数据的软件系统的软件体系结构进行建模的图文法
机译:使用曲线图语法和约束解决模型建模软件架构和风格
机译:从体系结构原语组成基于样式的软件体系结构。
机译:基于事件的体系结构用于解决约束满足问题
机译:图文法和软件架构样式的约束求解
机译:使用prolog的明确子句语法解决约束满足问题的一种技术