伊莎贝尔/UTP

此软件的关键字
zbMATH中的参考文献(引用于, 1标准件 )
Simon Foster;Ana Cavalcanti;Samuel Canham;Jim Woodcock;Frank Zeyda:反应式设计合同统一理论(2020) Sheng,Feng;Zhu,Hui Biao;He,Jifeng;Yang,Zongyuan;Bowen,Jonathan P:基于UTP的MDESL指称语义的理论与实践研究(2020) 坎图比罗流程(2019年,安杰利比罗,卡瓦拉纳) 巴特菲尔德,安德鲁:Utpcalc——UTP谓词的计算器(2017) Colvin,Robert J.;Hayes,Ian J.;Meinicke,Larissa A.:为具有并发性的广谱语言设计语义模型(2017) Foster,Simon;Thiele,Bernhard;Cavalcanti,Ana;Woodcock,Jim:面向Modelica的UTP语义(2017) Ribeiro,Pedro;Cavalcanti,Ana;Woodcock,Jim:联系理论的逐步方法(2017) Zeyda,Frank;Foster,Simon;Freitas,Leo:Isabelle/UTP的公理价值模型(2017) 安娜州卡瓦尔坎蒂;伍德科克,吉姆;阿马里奥,努诺:FMI共同模拟的行为模型(2016年) Foster,Simon;Zeyda,Frank;Woodcock,Jim:《用透镜统一异质状态空间》(2016) Simon Foster,Mechanical Utdock,2015;机械工程