Department of Computer Science, University of York, York, YO10 5DD, UK;
Z; Object-Z; UML; formalisation; specification;
机译:分类问题几种方法的比较以及有效构造最优解的可能性
机译:应用于UML类图的往返软件工程方法的系统比较
机译:UML图生成器:一种新的CASE工具,用于从事件表构造用例图和类图
机译:UML类构造在z和Object-Z中的形式化方法的比较
机译:在一种替代性学习课堂环境中,以学生为中心和以教师为中心的学习方法的比较。
机译:我们应该如何构建精神科家族史评分?达尼丁家庭健康史研究中替代方法的比较
机译:Z和Object-Z中UML类构造的形式化方法比较
机译:具有高斯极大似然的非参数分类器性能对多光谱遥感数据分类的比较