有效的验证和确认管理

Proceedings for Operating Research and the Management Sciences Pub Date : 1995-06-28 DOI:10.1109/IEMC.1995.523934

H. Singh, H. Bawa, A. Dhaliwal, T. Meitzler, G. Gerhart

{"title":"有效的验证和确认管理","authors":"H. Singh, H. Bawa, A. Dhaliwal, T. Meitzler, G. Gerhart","doi":"10.1109/IEMC.1995.523934","DOIUrl":null,"url":null,"abstract":"Management of large software has become a very important aspect of software engineering. Some tools exist in literature which help in the process of verification and validation. This paper highlights some of the existing literature in this area. The paper also gives some salient points to take into account in the verification and validation process.","PeriodicalId":231067,"journal":{"name":"Proceedings for Operating Research and the Management Sciences","volume":"49 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1995-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":"{\"title\":\"Management of effective verification and validation\",\"authors\":\"H. Singh, H. Bawa, A. Dhaliwal, T. Meitzler, G. Gerhart\",\"doi\":\"10.1109/IEMC.1995.523934\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Management of large software has become a very important aspect of software engineering. Some tools exist in literature which help in the process of verification and validation. This paper highlights some of the existing literature in this area. The paper also gives some salient points to take into account in the verification and validation process.\",\"PeriodicalId\":231067,\"journal\":{\"name\":\"Proceedings for Operating Research and the Management Sciences\",\"volume\":\"49 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1995-06-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"2\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings for Operating Research and the Management Sciences\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IEMC.1995.523934\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings for Operating Research and the Management Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IEMC.1995.523934","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 2

摘要

大型软件的管理已经成为软件工程的一个非常重要的方面。文献中存在一些工具可以帮助验证和确认过程。本文重点介绍了这一领域的一些现有文献。本文还给出了在验证和验证过程中需要考虑的一些要点。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Management of effective verification and validation

Management of large software has become a very important aspect of software engineering. Some tools exist in literature which help in the process of verification and validation. This paper highlights some of the existing literature in this area. The paper also gives some salient points to take into account in the verification and validation process.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings for Operating Research and the Management Sciences

自引率

0.00%

发文量