发布求助
文献互助 智能选刊 最新文献

Computers and Standards最新文献

筛选
英文 中文
Standards activities USA 美国标准活动
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90048-8
{"title":"Standards activities USA","authors":"","doi":"10.1016/0167-8051(85)90048-8","DOIUrl":"https://doi.org/10.1016/0167-8051(85)90048-8","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 1","pages":"Pages 49-70"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90048-8","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136844866","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Techniques for verification and validation of safety-related software 安全相关软件的验证和确认技术
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90023-3
EWICS (European Workshop on Industrial Computer Systems) TC7 Software Sub-group
{"title":"Techniques for verification and validation of safety-related software","authors":"EWICS (European Workshop on Industrial Computer Systems) TC7 Software Sub-group","doi":"10.1016/0167-8051(85)90023-3","DOIUrl":"10.1016/0167-8051(85)90023-3","url":null,"abstract":"<div><p>Several techniques for verification and validation of safety related software are described in the form of structured texts. The techniques include static logic analysis, testing, reliability assessment by probabilistic methods and some specialities about the test of data bases. The most relevant techniques have been selected. Their description in their various subforms includes their aims, the necessary prerequisites, their major advantages and their drawbacks. Statements are added about recommendability, the results provided, relationships to other methods and whether or not assisting tools are available.</p></div>","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 2","pages":"Pages 101-112"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90023-3","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75607393","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 12
Fortran forum year 论坛年
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90026-9
Jeanne Adams (Chair, X3J3)
{"title":"Fortran forum year","authors":"Jeanne Adams (Chair, X3J3)","doi":"10.1016/0167-8051(85)90026-9","DOIUrl":"10.1016/0167-8051(85)90026-9","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 2","pages":"Pages 133-137"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90026-9","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79046530","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Modula-2 standardisation Modula-2标准化
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90046-4
John B Souter
{"title":"Modula-2 standardisation","authors":"John B Souter","doi":"10.1016/0167-8051(85)90046-4","DOIUrl":"10.1016/0167-8051(85)90046-4","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 1","pages":"Pages 43-44"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90046-4","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78240362","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Workshop on European information technology standardization and certification policy: Introduction & discussion 欧洲信息技术标准化与认证政策研讨会:介绍与讨论
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90005-1
Harald Schumny
{"title":"Workshop on European information technology standardization and certification policy: Introduction & discussion","authors":"Harald Schumny","doi":"10.1016/0167-8051(85)90005-1","DOIUrl":"10.1016/0167-8051(85)90005-1","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 4","pages":"Pages 251-253"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90005-1","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81328942","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
The role of CEN/CENELEC in testing and certification of conformity to standards in information technology CEN/CENELEC在符合信息技术标准的测试和认证中的作用
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90007-5
W.K Wiechers
{"title":"The role of CEN/CENELEC in testing and certification of conformity to standards in information technology","authors":"W.K Wiechers","doi":"10.1016/0167-8051(85)90007-5","DOIUrl":"10.1016/0167-8051(85)90007-5","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 4","pages":"Pages 259-264"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90007-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89583189","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
8-bit ASCII and ISO Latin alphabet nr 1 draft standards 8位ASCII和ISO拉丁字母nr 1标准草案
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90027-0
Thomas N Hastings
{"title":"8-bit ASCII and ISO Latin alphabet nr 1 draft standards","authors":"Thomas N Hastings","doi":"10.1016/0167-8051(85)90027-0","DOIUrl":"10.1016/0167-8051(85)90027-0","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 2","pages":"Pages 137-139"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90027-0","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"80141290","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Standards activities ISO 标准活动ISO
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90025-7
{"title":"Standards activities ISO","authors":"","doi":"10.1016/0167-8051(85)90025-7","DOIUrl":"https://doi.org/10.1016/0167-8051(85)90025-7","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 2","pages":"Pages 117-132"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90025-7","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"137290982","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Author index to volume 4 第四卷的作者索引
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90016-6
{"title":"Author index to volume 4","authors":"","doi":"10.1016/0167-8051(85)90016-6","DOIUrl":"https://doi.org/10.1016/0167-8051(85)90016-6","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 4","pages":"Page 297"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90016-6","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136472508","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Guide to the draft American national standard for human factors engineering of visual display terminal workstations 视觉显示终端工作站人因工程美国国家标准草案指南
Computers and Standards Pub Date : 1985-01-01 DOI: 10.1016/0167-8051(85)90024-5
CBEMA Computer and Business Equipment Manufacturers Association
{"title":"Guide to the draft American national standard for human factors engineering of visual display terminal workstations","authors":"CBEMA Computer and Business Equipment Manufacturers Association","doi":"10.1016/0167-8051(85)90024-5","DOIUrl":"10.1016/0167-8051(85)90024-5","url":null,"abstract":"","PeriodicalId":100323,"journal":{"name":"Computers and Standards","volume":"4 2","pages":"Pages 113-116"},"PeriodicalIF":0.0,"publicationDate":"1985-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://sci-hub-pdf.com/10.1016/0167-8051(85)90024-5","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81950952","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 50
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信