机译:正式的关系数据库设计;扩展正式模板语言的练习
Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford OX1 3QD, UK;
Department of Computer Science, University of Oxford, Wolfson Building, Parks Road, Oxford OX1 3QD, UK;
Formal Template Language; Z notation; Software patterns; Metamodels;
机译:正式关系数据库设计:扩展正式模板语言的练习
机译:关系数据库和粗糙关系数据库中的形式概念分析
机译:数据库语言设计和约束处理的形式方法
机译:迈向Z中的正式模板化关系数据库表示形式
机译:CAD应用程序数据库系统的数据模型和语言的设计和正式规范。
机译:正式运动计划对帕金森氏病的影响:使用延迟开始设计的初步研究
机译:ImpREss DDT:基于正式规范语言的数据库设计工具箱
机译:多集扩展关系代数:实际问题的形式化方法