用于规范验证的自动化工具:设计和初步实现

Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences Pub Date : 1992-01-07 DOI:10.1109/HICSS.1992.183279

N. Boudriga, A. Mili, R. Zalila

{"title":"用于规范验证的自动化工具:设计和初步实现","authors":"N. Boudriga, A. Mili, R. Zalila","doi":"10.1109/HICSS.1992.183279","DOIUrl":null,"url":null,"abstract":"A specification is complete if it carries all the information required by the user, and minimal if it carries nothing but the information required by the user. The authors have designed a lifecycle of the requirements specification phase, whose purpose is to help achieve completeness and minimality by the proper use of redundancy. In their view of the lifecycle, the verification and validation group elicits information from the user and matches it against the generated specification to check completeness and minimality. In this paper, the authors give details of this lifecycle, and present an automated system that carries out the proofs of completeness and minimality using Prolog's inference capability.<<ETX>>","PeriodicalId":103288,"journal":{"name":"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences","volume":"7 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-01-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"An automated tool for specification validation: design and preliminary implementation\",\"authors\":\"N. Boudriga, A. Mili, R. Zalila\",\"doi\":\"10.1109/HICSS.1992.183279\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A specification is complete if it carries all the information required by the user, and minimal if it carries nothing but the information required by the user. The authors have designed a lifecycle of the requirements specification phase, whose purpose is to help achieve completeness and minimality by the proper use of redundancy. In their view of the lifecycle, the verification and validation group elicits information from the user and matches it against the generated specification to check completeness and minimality. In this paper, the authors give details of this lifecycle, and present an automated system that carries out the proofs of completeness and minimality using Prolog's inference capability.<<ETX>>\",\"PeriodicalId\":103288,\"journal\":{\"name\":\"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences\",\"volume\":\"7 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-01-07\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/HICSS.1992.183279\",\"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 of the Twenty-Fifth Hawaii International Conference on System Sciences","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/HICSS.1992.183279","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

如果一个规范包含了用户需要的所有信息，那么它就是完整的;如果它只包含了用户需要的信息，那么它就是最小的。作者已经设计了需求规范阶段的生命周期，其目的是通过适当使用冗余来帮助实现完整性和最小化。在他们的生命周期视图中，验证和确认组从用户那里获取信息，并将其与生成的规范相匹配，以检查完整性和最小性。在本文中，作者给出了这个生命周期的细节，并提出了一个使用Prolog的推理能力进行完备性和极小性证明的自动化系统

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

查看原文本刊更多论文

An automated tool for specification validation: design and preliminary implementation

A specification is complete if it carries all the information required by the user, and minimal if it carries nothing but the information required by the user. The authors have designed a lifecycle of the requirements specification phase, whose purpose is to help achieve completeness and minimality by the proper use of redundancy. In their view of the lifecycle, the verification and validation group elicits information from the user and matches it against the generated specification to check completeness and minimality. In this paper, the authors give details of this lifecycle, and present an automated system that carries out the proofs of completeness and minimality using Prolog's inference capability.<>

求助全文

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

来源期刊

Proceedings of the Twenty-Fifth Hawaii International Conference on System Sciences

自引率

0.00%

发文量