南京大学

价格：面议 一种基于文档的库函数的代码模型的自动合成方法

价格：面议 一种基于IFML的Android开发建模方法

价格：面议 一种智能家居物联网系统验证与修复的方法和装置

价格：面议 一种多触发机制CPS在线建模与检验的方法和装置

价格：面议 一种用PVFS替代Hadoop存储模块的方法

价格：面议 一种避免行为层组合时行为变体重复编织的处理方法

价格：面议 基于约束求解和描述逻辑的Web服务组合方法

价格：面议 一种基于对象实例的行为变体的JCOP扩展实现方法

价格：面议 一种基于逆向工程的模型库构造方法

价格：面议 一种基于人件服务模型的新型决策系统和决策方法

价格：面议 一种实时系统的循环边界内向分析方法

价格：面议 一种支持软件动态更新的服务构件架构方法