用expect提高软件设计质量:基于案例的原型设计在现实世界中的应用

Proceedings of 6th International Workshop on Computer-Aided Software Engineering Pub Date : 1993-07-19 DOI:10.1109/CASE.1993.634818

L. Somers, M. Voorhoeve, K. M. Van Hee

{"title":"用expect提高软件设计质量:基于案例的原型设计在现实世界中的应用","authors":"L. Somers, M. Voorhoeve, K. M. Van Hee","doi":"10.1109/CASE.1993.634818","DOIUrl":null,"url":null,"abstract":"ExSpect (Executable Specification Tool) has been developed for the prototyping of software systems with their environment. It is based on high-level Petri nets with hierarchy, which makes it akin to flow diagram techniques. The bottom level uses a typed functional language. ExSpect has been applied in industry, showing promising results with respect to productivity and design quality. A real-world application of ExSpect is described.","PeriodicalId":442754,"journal":{"name":"Proceedings of 6th International Workshop on Computer-Aided Software Engineering","volume":"228 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1993-07-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"3","resultStr":"{\"title\":\"Improving software design quality with ExSpect: An application of CASE-based prototyping in real-world situations\",\"authors\":\"L. Somers, M. Voorhoeve, K. M. Van Hee\",\"doi\":\"10.1109/CASE.1993.634818\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"ExSpect (Executable Specification Tool) has been developed for the prototyping of software systems with their environment. It is based on high-level Petri nets with hierarchy, which makes it akin to flow diagram techniques. The bottom level uses a typed functional language. ExSpect has been applied in industry, showing promising results with respect to productivity and design quality. A real-world application of ExSpect is described.\",\"PeriodicalId\":442754,\"journal\":{\"name\":\"Proceedings of 6th International Workshop on Computer-Aided Software Engineering\",\"volume\":\"228 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1993-07-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"3\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings of 6th International Workshop on Computer-Aided Software Engineering\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CASE.1993.634818\",\"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 6th International Workshop on Computer-Aided Software Engineering","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CASE.1993.634818","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 3

摘要

ExSpect(可执行规范工具)是为软件系统及其环境的原型而开发的。它基于具有层次结构的高级Petri网，这使得它类似于流程图技术。底层使用类型化函数式语言。expect已在工业中应用，在生产率和设计质量方面显示出有希望的结果。本文描述了expect的一个实际应用。

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

查看原文本刊更多论文

Improving software design quality with ExSpect: An application of CASE-based prototyping in real-world situations

ExSpect (Executable Specification Tool) has been developed for the prototyping of software systems with their environment. It is based on high-level Petri nets with hierarchy, which makes it akin to flow diagram techniques. The bottom level uses a typed functional language. ExSpect has been applied in industry, showing promising results with respect to productivity and design quality. A real-world application of ExSpect is described.

求助全文

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

来源期刊

Proceedings of 6th International Workshop on Computer-Aided Software Engineering

自引率

0.00%

发文量