High-level Refinement of Random Access Data Structures (Extended Abstract)

机译：随机访问数据结构的高级细化（扩展摘要）

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

Data refinement (3, 4) is a method for replacing abstract data types by concrete ones. This paper explores data refinement in the context of data abstraction and software reuse. There are two parts of the exploration: - The construction of reusable data structures. - The use of abstract data structures in a design process beginning with math-ematical specifications.

机译：数据优化（3，4）是一种用具体的数据类型替换抽象数据类型的方法。本文在数据抽象和软件重用的背景下探索了数据优化。探索包括两个部分：-可重用数据结构的构建。 -从数学规范开始的设计过程中使用抽象数据结构。

著录项

来源
《Proceedings of FMP '97 Formal Methods Pacific '97 9-11 July 1997 Wellington, New Zealand》|1997年|p.317-318|共2页
会议地点 Wellington(NZ);Wellington(NZ)
作者
Martin Schwenke;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Data structures and accessing in data-base systems, III: Data representations and the data independent accessing model [J] . IBM Systems Journal . 1973,第1期

机译：数据库系统中的数据结构和访问，III：数据表示形式和与数据无关的访问模型
2. Nano-metrology of porous structures - I Comparison of measured neutron scattering with calculated scattering to access pore lattice, diameter, and wall parameters, using models of extended arrays of regular or randomised pores [J] . Webber J.B.W. Physics Reports: A Review Section of Physics Letters (Section C) . 2013,第4期

机译：多孔结构的纳米计量学-I使用规则或随机孔的扩展阵列模型比较测得的中子散射与计算得出的散射以访问孔格，直径和壁参数
3. Validating the use of registries and claims data to support randomized trials: Rationale and design of the Extending Trial-Based Evaluations of Medical Therapies Using Novel Sources of Data (EXTEND) Study [J] . Strom Jordan B., Tamez Hector, Zhao Yuansong, The American heart journal . 2019,第期

机译：验证注册管理机构和索赔数据的使用，以支持随机试验：使用小说数据来源（延伸）研究的延伸基于试验的医疗疗法评估的理由和设计
4. High-level Refinement of Random Access Data Structures (Extended Abstract) [C] . Martin Schwenke Conference on formal methods Pacific . 1997

机译：随机访问数据结构的高级细化（扩展摘要）
5. Dynamic key-ordered file structures for the random and sequential access to very large data/knowledge bases [D] . Hachem, Nabil I. 1988

机译：动态密钥排序文件结构，用于随机和顺序访问非常大的数据/知识库
6. RNA structure refinement using NMR solvent accessibility data [O] . Christoph Hartlmüller, Johannes C. Günther, Antje C. Wolter, -1

机译：使用NMR溶剂可及性数据完善RNA结构
7. Extended Query Refinement for Content-Based Access to Large Medical Image Databases [O] . Thomas M. Lehmann, Bartosz Plodowski, Klaus Spitzer, 2008

机译：基于内容的大型医学图像数据库访问的扩展查询细化

High-level Refinement of Random Access Data Structures (Extended Abstract)

摘要

著录项

相似文献

相关主题

期刊订阅