首页> 美国政府科技报告 >ABSTRACT AND VERIFICATION IN ALPHARD: INTRODUCTION TO LANGUAGE AND METHODOLOGY

【24h】

ABSTRACT AND VERIFICATION IN ALPHARD: INTRODUCTION TO LANGUAGE AND METHODOLOGY

机译：aLpHaRD中的抽象与验证：语言和方法学的介绍

获取原文

页面导航

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

摘要

ion and Verification in Alphard: Introduction to Language and Methodology.- National Technical Reports Library V3.0 Abstraction and Verification in Alphard: Introduction to Language and Methodology. « Back to Search Results

著录项

作者
WILLIAM A. WULF;
展开▼
作者单位

展开▼
年度 1976
页码 1-51
总页数 51
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Programming languages; Computer programming; Methodology; Computer programs; Costs; Validation; Specifications; Structures; Computer program reliability; Scheduling; Decomposition; Alphard programming language; Data abstraction; Verification; Structured programming; Abstraction; Design;

机译：编程语言;计算机程序设计;方法论;计算机程序;成本;验证;规范;结构;计算机程序可靠性;调度;分解; alphard编程语言;数据抽象;验证;结构化编程;抽象;设计;

相似文献

外文文献
中文文献
专利

1. Abstract property language for MDG model checking methodology [J] . Saed Abed, Kamran Hussain, Otmane Ait-Mohamed International Journal of Computer Applications in Technology . 2012,第1期

机译：MDG模型检查方法的抽象属性语言
2. Video abstracts and plain language summaries are more effective than graphical abstracts and published abstracts [J] . Kate Bredbenner, Sanford M. Simon PLoS One . 2019,第11期

机译：视频摘要和普通语言摘要比图形摘要更有效，并发布摘要
3. Potential problematic rhetorical style transfer from first language to foreign language: a case of Indonesian authors writing research article introductions in English [J] . Safnil Arsyad, Arono Journal of multicultural discourses . 2016,第3a4期

机译：从第一语言到外语的潜在问题修辞风格转换：以印度尼西亚作家用英语撰写研究论文导论为例
4. An introduction to the construction and verification of Alphard programs [C] . Wm. A. Wulf, Ralph L. London, Mary Shaw Proceedings of the 2nd international conference on Software engineering . 1976

机译：Alphard程序的构建和验证简介
5. Research article abstracts and introductions: A comparative genre-based study of Arabic and English in the fields of educational psychology and sociology [D] . Alotaibi, Hmoud 2013

机译：研究文章摘要和介绍：在教育心理学和社会学领域基于比较体裁的阿拉伯语和英语研究
6. Industrial methodology for process verification in research (IMPROVER): toward systems biology verification [O] . Pablo Meyer, Julia Hoeng, J. Jeremy Rice, -1

机译：研究过程验证的工业方法论（IMPROVER）：系统生物学验证
7. An Introduction to the Construction and Verification of Alphard Programs [O] . Wulf, William A., London, Ralph L., Shaw, Mary 1976

机译：Alphard程序的构建和验证简介
8. Abstraction and Verification in Alphard:Introduction to Language and Methodology. [R] . wulf,william a. london,ralph l. 1976

机译：alphard中的抽象和验证：语言和方法论简介。

ABSTRACT AND VERIFICATION IN ALPHARD: INTRODUCTION TO LANGUAGE AND METHODOLOGY

摘要

著录项

相似文献

相关主题

期刊订阅