集美大学学报(自然科学版)
集美大學學報(自然科學版)
집미대학학보(자연과학판)
JOURNAL OF JIMEI UNIVERSITY (NATURAL SCIENCE)
2003年
1期
37-41
,共5页
正确性%安全性%软件工程%bug
正確性%安全性%軟件工程%bug
정학성%안전성%연건공정%bug
主要分析和研究如何在软件当前的现实下寻求功能正确性和安全性的折中策略,来解决商业软件长期以来带有"bug"和安全性问题.对功能正确性和安全性的折中方案,亦有详细的分析,最后还提出将软件开发的折中技术融入软件工程以取得实际的效果.
主要分析和研究如何在軟件噹前的現實下尋求功能正確性和安全性的摺中策略,來解決商業軟件長期以來帶有"bug"和安全性問題.對功能正確性和安全性的摺中方案,亦有詳細的分析,最後還提齣將軟件開髮的摺中技術融入軟件工程以取得實際的效果.
주요분석화연구여하재연건당전적현실하심구공능정학성화안전성적절중책략,래해결상업연건장기이래대유"bug"화안전성문제.대공능정학성화안전성적절중방안,역유상세적분석,최후환제출장연건개발적절중기술융입연건공정이취득실제적효과.