Universita 'La Sapienza' di Roma - Dip.Scienze dell'Informazione, via Salaria 113, 00198 Roma;
Universita di Bari - Dip. Informatica - via Orabona 4, 70126 Bari Italy;
Universita 'La Sapienza' di Roma - Dip.Scienze dell'Informazione, via Salaria 113, 00198 Roma;
Universita 'La Sapienza' di Roma - Dip.Scienze dell'Informazione, via Salaria 113, 00198 Roma;
机译:关于编程和建模语言形式化中数学实体的解释
机译:正式的EMFTVM字节码语言,用于模型转换的声音验证
机译:“这里的英语是不成文的规定”跨国公司中非正规的语言政策
机译:在视觉语言的形式化中对齐语法和语义
机译:用于数据以数据为中心的终端用户编程的语言和可视化工具,其交互式可视化设计
机译:T淋巴细胞动力学的动力学和机械重建方法:使用视觉建模语言弥合免疫学家理论学家和程序员之间的差距
机译:在视觉语言的形式化中对齐语法和语义