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

[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference最新文献

筛选
英文 中文
Software diversity metrics and measurements 软件多样性度量和度量
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217601
Michael R. Lyu, Jia-Hong Chen, A. Avizienis
{"title":"Software diversity metrics and measurements","authors":"Michael R. Lyu, Jia-Hong Chen, A. Avizienis","doi":"10.1109/CMPSAC.1992.217601","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217601","url":null,"abstract":"The authors define and formalize the concept of software diversity which characterizes N-Version software (NVS) from four different points of view that are designated as structural diversity, fault diversity, tough-spot diversity, and failure diversity. The goals are to find a way to quantify software diversity and to investigate the measurements which can be applied during the life cycle of NVS to gain confidence that operation will be dependable when NVS is actually used. The versions from a six-language N-Version programming project for fault-tolerant flight control software were used in the software diversity measurement.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116646482","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}
引用次数: 28
Intelligent vs. unintelligent programming systems for novices 针对新手的智能与非智能编程系统
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference Pub Date : 1992-09-21 DOI: 10.1109/CMPSAC.1992.217576
H. Ramadhan
{"title":"Intelligent vs. unintelligent programming systems for novices","authors":"H. Ramadhan","doi":"10.1109/CMPSAC.1992.217576","DOIUrl":"https://doi.org/10.1109/CMPSAC.1992.217576","url":null,"abstract":"The approach presented concentrates on integrating intelligent and unintelligent approaches to come up with an environment that helps novices develop not only problem-solving skills, but also an accurate conceptual and mental model of the programming process. DISCOVER, an intelligent discovery program system supports novices in an initial unintelligent free discovery programming phase and in a subsequent intelligent guided discovery programming phase. In the initial phase, novices explore, observe, and discover the dynamic behavior of individual programming concepts and whole programs as well as of the national machine to build the underlying conceptual programming knowledge. In the subsequent phase, novices compose together programming concepts and language constructs, observed and discovered in the initial phase, to solve given problems under explicit intelligent guidance of system domain expert to transform their programming knowledge into programming skill. Several design issues and decisions that have influenced the development of DISCOVER are discussed.<<ETX>>","PeriodicalId":286518,"journal":{"name":"[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1992-09-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121810433","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}
引用次数: 6
首页 上一页
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学术官方微信