首页 > 最新文献

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

英文 中文
Software diversity metrics and measurements 软件多样性度量和度量
Michael R. Lyu, Jia-Hong Chen, A. Avizienis
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.<>
作者从结构多样性、故障多样性、硬点多样性和故障多样性四个不同的角度定义并形式化了软件多样性的概念。目标是找到一种量化软件多样性的方法,并调查可在NVS生命周期中应用的测量方法,以获得在实际使用NVS时操作可靠的信心。软件多样性测量使用了容错飞行控制软件六语言N-Version编程项目的版本。
{"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 针对新手的智能与非智能编程系统
H. Ramadhan
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.<>
本文提出的方法集中于集成智能和非智能方法,以提供一个环境,帮助新手不仅培养解决问题的技能,而且还培养编程过程的准确概念和心理模型。DISCOVER是一个智能发现程序系统,支持新手在初始的无智能自由发现编程阶段和随后的智能引导发现编程阶段。在初始阶段,初学者探索、观察和发现单个编程概念和整个程序以及国家机器的动态行为,以构建潜在的概念性编程知识。在后续阶段,初学者将在初始阶段观察和发现的编程概念和语言结构组合在一起,在系统领域专家的明确智能指导下解决给定问题,将编程知识转化为编程技能。讨论了影响DISCOVER开发的几个设计问题和决策。
{"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
期刊
[1992] Proceedings. The Sixteenth Annual International Computer Software and Applications Conference
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1