首页> 美国政府科技报告 >Shuttle Checkout Software System Application Verification Laboratory Manual

【24h】

Shuttle Checkout Software System Application Verification Laboratory Manual

机译：shuttle Checkout软件系统应用验证实验手册

获取原文

页面导航

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

摘要

Specifications of computer programs and simulation tests are described. Samples of input forms are shown, and flow charts are also included.

著录项

作者

展开▼
作者单位

展开▼
年度 1975
页码 1-1
总页数 1
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Checkout ; Computer programs ; Space shuttles ; User manuals (Computer programs) ; Computerized simulation ; Flow charts ; Hardware utilization lists ; Specifications;

机译：结帐;计算机程序;航天飞机;用户手册（计算机程序）;计算机模拟;流程图;硬件利用清单;规格;

相似文献

外文文献
中文文献
专利

1. MLAB: A Mathematical Modeling Laboratory. Civilized Software, Inc., Bethesda, MD, 1995. DOS version starts at $1495. Manuals included: MLAB Reference Manual by Barry Bunow and Gary Knott, MLAB Applications Manual by Gary Knott, and The Graphics Manual by Dan Kerner [J] . Martin H. Kroll Clinical Chemistry: Journal of the American Association for Clinical Chemists . 1995,第9期

机译：MLAB：数学建模实验室。文明软件公司，马里兰州贝塞斯达，1995年。DOS版本起价为1495美元。手册包括：Barry Bunow和Gary Knott撰写的《 MLAB参考手册》，Gary Knott撰写的《 MLAB应用程序手册》和Dan Kerner撰写的《图形手册》。
2. Multi-Partite Graphs and Verification of Software Applications for Real-Time Systems [J] . Sergey Baranov, Victor Nikiforov Cybernetics and information technologies: CIT . 2016,第2期

机译：实时系统的多部分图形和软件应用程序验证
3. BDD-based software verification: Applications to event-condition-action systems [J] . Dirk Beyer, Andreas Stahlbauer International Journal on Software Tools for Technology Transfer . 2014,第5期

机译：基于BDD的软件验证：事件条件行为系统的应用
4. Remote laboratory setup for software verification in an embedded systems and mechatronics course [C] . Sammy Verslype, Laure Buysse, Joan Peuteman, International Scientific Conference Electronics . 2020

机译：远程实验室设置，用于嵌入式系统和机电一体化课程中的软件验证
5. A LABORATORY MANUAL IN INDUSTRIAL CHEMICAL ANALYSIS FOR THE TRAINING OF CHEMICAL TECHNICIANS. PART I: PREPARATION OF THE LABORATORY MANUAL. PART II: THE LABORATORY MANUAL [D] . GREENHUT, SIDNEY. 1960

机译：工业化学分析实验室手册，用于化学技术人员的培训。第一部分：实验室手册的准备。第二部分：实验室手册
6. Computer Applications in Medical Care. Computer Systems in Hospitals. Clinical and Anatomic Pathology Systems: Portable Medical Laboratory Applications Software [O] . Jerome A. Silbert 1983

机译：医疗保健中的计算机应用。医院中的计算机系统。临床和解剖病理系统：便携式医学实验室应用软件
7. Guidelines for the verification and validation of expert system software and conventional software: User`s manual. Volume 7 [O] . Mirsky, S.M., Hayes, J.E., Miller, L.A. 1995

机译：专家系统软件和传统软件的验证和验证指南：用户手册。第7卷

Shuttle Checkout Software System Application Verification Laboratory Manual

摘要

著录项

相似文献

相关主题

期刊订阅