首页> 外文OA文献 >Formal Specification of Geographic Data Processing Requirements

【2h】

Formal Specification of Geographic Data Processing Requirements

机译：地理数据处理要求的正式规范

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者

展开▼
作者单位

展开▼
年度 2009
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Formal specification of geographic data processing requirements [J] . Roman G.-C. IEEE Transactions on Knowledge and Data Engineering . 1990,第4期

机译：地理数据处理要求的正式规范
2. Eddy, a formal language for specifying and analyzing data flow specifications for conflicting privacy requirements [J] . Travis D. Breaux, Hanan Hibshi, Ashwini Rao Requirements Engineering . 2014,第3期

机译：Eddy，一种用于指定和分析数据流规范以应对冲突的隐私要求的正式语言
3. Formal specification scheme for database applications using requirements particle networks [J] . Wiwat Vatanawood, Wanchai Rivepiboon Engineering Computations . 2002,第7a8期

机译：使用需求粒子网络的数据库应用程序的正式规范方案
4. Formal specification of geographic data processing requirements [C] . Roman Gruia-Catalin IEEE international conference on data engineering . 1986

机译：地理数据处理要求的正式规范
5. Automated conversion from a requirements document to an executable formal specification using two-level grammar and contextual natural language processing. [D] . Lee, Beum-Seuk. 2003

机译：使用两级语法和上下文自然语言处理，将需求文档自动转换为可执行的正式规范。
6. HPARSER: extracting formal patient data from free text history and physical reports using natural language processing software. [O] . J. L. Sponsler 2001

机译：HPARSER：使用自然语言处理软件从自由文本历史记录和身体报告中提取正式的患者数据。
7. Formal specification and verification of a dataflow processor array [O] . Thomas A. Henzinger, Xiaojun Liu, Shaz Qadeer, 1999

机译：数据流处理器阵列的正式规范和验证
8. Towards the formal specification of the requirements and design of a processor interface unit: HOL listings [R] . Fura, David A., Windley, Phillip J., Cohen, Gerald C. 1993

机译：接近处理器接口单元的要求和设计的正式规范：HOL列表

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号