Consorzio Nazionale Interuniversitario per le Teleconmnicazioni (CNIT), Italy Dipartimento di Informatica, Universita del Piemonte Orientale, Via Bellini 25/G, 15100 Alessandria, Italy;
Consorzio Nazionale Interuniversitario per le Teleconmnicazioni (CNIT), Italy Dipartimento di Informatica, Universita del Piemonte Orientale, Via Bellini 25/G, 15100 Alessandria, Italy;
Consorzio Nazionale Interuniversitario per le Teleconmnicazioni (CNIT), Italy Dipartimento di Informatica, Universita di Torino, Corso Svizzera 189, 10149 Torino, Italy;
CESI Ricerca, Via Rubattino 54, 20134 Milano, Italy;
CESI Ricerca, Via Rubattino 54, 20134 Milano, Italy;
CESI Ricerca, Via Rubattino 54, 20134 Milano, Italy;
Electric Power System; UML; Class Diagrams; critical scenario; modelling. CRUTIAL;
机译:数据模型维护期间对UML类图和ER图提供的支持的详细分析
机译:关于TGG的能力,将包含组合片段的UML 2序列图转换为π-演算规范
机译:在用OCL注释的Alloy规格和UML类图之间进行转换
机译:UML图支持歧视项目内的域规范
机译:从UML图生成基于网络的模型,以支持设计仿真和分析。
机译:概念问题和标准。 NLM的Umls项目的当前状态:使用Meta-1-UMLS Metathesaurus的第一个版本
机译:自动将UmL活动图映射到支持包含检查的正式规范