基于可执行的形式化规范的可视化的需求验证

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241) Pub Date : 1998-08-19 DOI:10.1109/CMPSAC.1998.716684

M. B. Özcan, P. Parry, I. Morrey, J. Siddiqi

{"title":"基于可执行的形式化规范的可视化的需求验证","authors":"M. B. Özcan, P. Parry, I. Morrey, J. Siddiqi","doi":"10.1109/CMPSAC.1998.716684","DOIUrl":null,"url":null,"abstract":"This paper reports on ongoing research work to facilitate the user validation process based on executable formal specifications. It embodies a visualisation system which allows software developers to choose an appropriate representation of objects used in a formal specification and create a dynamic and/or static animation of these objects in an interactive and iterative fashion. This paper outlines our approach and illustrates its application in a real-world setting.","PeriodicalId":252030,"journal":{"name":"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1998-08-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"6","resultStr":"{\"title\":\"Requirements validation based on the visualisation of executable formal specifications\",\"authors\":\"M. B. Özcan, P. Parry, I. Morrey, J. Siddiqi\",\"doi\":\"10.1109/CMPSAC.1998.716684\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"This paper reports on ongoing research work to facilitate the user validation process based on executable formal specifications. It embodies a visualisation system which allows software developers to choose an appropriate representation of objects used in a formal specification and create a dynamic and/or static animation of these objects in an interactive and iterative fashion. This paper outlines our approach and illustrates its application in a real-world setting.\",\"PeriodicalId\":252030,\"journal\":{\"name\":\"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1998-08-19\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"6\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/CMPSAC.1998.716684\",\"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. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/CMPSAC.1998.716684","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 6

摘要

本文报告了正在进行的研究工作，以促进基于可执行的正式规范的用户验证过程。它包含了一个可视化系统，允许软件开发人员选择在正式规范中使用的对象的适当表示，并以交互和迭代的方式创建这些对象的动态和/或静态动画。本文概述了我们的方法，并说明了它在现实世界中的应用。

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

查看原文本刊更多论文

Requirements validation based on the visualisation of executable formal specifications

This paper reports on ongoing research work to facilitate the user validation process based on executable formal specifications. It embodies a visualisation system which allows software developers to choose an appropriate representation of objects used in a formal specification and create a dynamic and/or static animation of these objects in an interactive and iterative fashion. This paper outlines our approach and illustrates its application in a real-world setting.

求助全文

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

来源期刊

Proceedings. The Twenty-Second Annual International Computer Software and Applications Conference (Compsac '98) (Cat. No.98CB 36241)

自引率

0.00%

发文量