formal semantics; mapping; model; model driven development; software architecture;
机译:(嵌入式)软件密集型系统的模型驱动的以架构为中心的工程:建模理论和架构里程碑
机译:使用类别理论对分布式和动态资源分配进行形式化
机译:使用类别理论对分布式和动态资源分配进行形式化
机译:使用类别理论的体系结构模型映射的形式化
机译:使用类别理论对多面浏览进行建模以实现重用和互操作性。
机译:通过形式化学版理论促进复杂性科学与临床实践之间的差距:功能分析的计算模型
机译:(嵌入式)软件密集型系统的模型驱动的以架构为中心的工程:建模理论和架构里程碑