Incremental elicitation and formalization of user requirements through rapid prototyping via software transformations

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96 Pub Date : 1996-08-19 DOI:10.1109/CMPSAC.1996.544172

C. Chiang, J. E. Urban

{"title":"Incremental elicitation and formalization of user requirements through rapid prototyping via software transformations","authors":"C. Chiang, J. E. Urban","doi":"10.1109/CMPSAC.1996.544172","DOIUrl":null,"url":null,"abstract":"Rapid prototyping via software transformations provides a potentially economical way to construct a prototype both quickly and cheaply. User requirements and specifications can be incrementally elicited and formalized through rapid prototyping via software transformations. A formal specification language called TUG (Tree Unified with Grammar) is used not only as a language for specification but also as a language for rapid prototyping via software transformations. The abstract execution capability of the language allows specifiers to formalize the user requirements incrementally. A framework for rapid prototyping via software transformations is proposed to explain how a prototype for evolution is constructed and managed. A mechanism using change request scripts (CRSs) is used to keep track of the specification changes and make timely updates to the prototype. A telegram analysis problem, as a case study, is given to illustrate how an incomplete and inexact specification is refined successively into a more complete and precise one using the approach.","PeriodicalId":306601,"journal":{"name":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","volume":"50 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1996-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1996.544172","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 4

Abstract

Rapid prototyping via software transformations provides a potentially economical way to construct a prototype both quickly and cheaply. User requirements and specifications can be incrementally elicited and formalized through rapid prototyping via software transformations. A formal specification language called TUG (Tree Unified with Grammar) is used not only as a language for specification but also as a language for rapid prototyping via software transformations. The abstract execution capability of the language allows specifiers to formalize the user requirements incrementally. A framework for rapid prototyping via software transformations is proposed to explain how a prototype for evolution is constructed and managed. A mechanism using change request scripts (CRSs) is used to keep track of the specification changes and make timely updates to the prototype. A telegram analysis problem, as a case study, is given to illustrate how an incomplete and inexact specification is refined successively into a more complete and precise one using the approach.

查看原文本刊更多论文

通过软件转换的快速原型，增量地获取和形式化用户需求

通过软件转换进行快速原型设计提供了一种潜在的经济方法，可以快速而廉价地构建原型。用户需求和规范可以通过软件转换的快速原型，逐步地得到并形式化。一种称为TUG(统一语法树)的正式规范语言不仅用作规范语言，而且还用作通过软件转换进行快速原型设计的语言。该语言的抽象执行能力允许说明者逐步形式化用户需求。提出了一个通过软件转换实现快速原型的框架，以解释如何构建和管理进化原型。使用变更请求脚本(CRSs)的机制用于跟踪规范更改并及时更新原型。以一个电报分析问题为例，说明了如何使用该方法将不完整和不精确的规范逐步细化为更完整和精确的规范。

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

求助全文

约1分钟内获得全文求助全文

来源期刊

Proceedings of 20th International Computer Software and Applications Conference: COMPSAC '96

自引率

0.00%

发文量