改编和修改纳西-施耐德曼图表，以直观地表示笛卡儿规范

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping Pub Date : 1992-06-23 DOI:10.1109/IWRSP.1992.243907

A. Khwaja, J. E. Urban

{"title":"改编和修改纳西-施耐德曼图表，以直观地表示笛卡儿规范","authors":"A. Khwaja, J. E. Urban","doi":"10.1109/IWRSP.1992.243907","DOIUrl":null,"url":null,"abstract":"Descartes is an executable specification language that supports the rapid prototyping of partial through complete software specifications. A technique developed to represent Descartes executable specifications visually by adapting the charts of I. Nassi and B. Shneiderman (1973), is described. Symbols are identified for the data structuring methods and the rationale for selecting these symbols is discussed. The benefits gained in moving a graphical technique up to the front end of the software life cycle are discussed. Sample specifications are included to illustrate the effectiveness of the technique.<<ETX>>","PeriodicalId":210681,"journal":{"name":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","volume":"45 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1992-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually\",\"authors\":\"A. Khwaja, J. E. Urban\",\"doi\":\"10.1109/IWRSP.1992.243907\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Descartes is an executable specification language that supports the rapid prototyping of partial through complete software specifications. A technique developed to represent Descartes executable specifications visually by adapting the charts of I. Nassi and B. Shneiderman (1973), is described. Symbols are identified for the data structuring methods and the rationale for selecting these symbols is discussed. The benefits gained in moving a graphical technique up to the front end of the software life cycle are discussed. Sample specifications are included to illustrate the effectiveness of the technique.<<ETX>>\",\"PeriodicalId\":210681,\"journal\":{\"name\":\"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping\",\"volume\":\"45 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1992-06-23\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/IWRSP.1992.243907\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"[1992 Proceedings] The Third International Workshop on Rapid System Prototyping","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/IWRSP.1992.243907","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

笛卡尔是一种可执行的规范语言，它支持从部分到完整的软件规范的快速原型化。本文描述了一种通过采用I. Nassi和B. Shneiderman(1973)的图表来可视化地表示笛卡儿可执行规范的技术。为数据结构方法确定了符号，并讨论了选择这些符号的基本原理。讨论了将图形技术移动到软件生命周期的前端所获得的好处。包括样品规格，以说明该技术的有效性。

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

查看原文本刊更多论文

Adaptation and modification of Nassi-Shneiderman charts to represent Descartes specifications visually

Descartes is an executable specification language that supports the rapid prototyping of partial through complete software specifications. A technique developed to represent Descartes executable specifications visually by adapting the charts of I. Nassi and B. Shneiderman (1973), is described. Symbols are identified for the data structuring methods and the rationale for selecting these symbols is discussed. The benefits gained in moving a graphical technique up to the front end of the software life cycle are discussed. Sample specifications are included to illustrate the effectiveness of the technique.<>

求助全文

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

来源期刊

[1992 Proceedings] The Third International Workshop on Rapid System Prototyping

自引率

0.00%

发文量