通过形式化和图形化语言消除工业标准的歧义

2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI:10.1109/RE.2011.6051634

Daniel Dietsch, Sergio Feo Arenis, B. Westphal, A. Podelski

{"title":"通过形式化和图形化语言消除工业标准的歧义","authors":"Daniel Dietsch, Sergio Feo Arenis, B. Westphal, A. Podelski","doi":"10.1109/RE.2011.6051634","DOIUrl":null,"url":null,"abstract":"Natural language safety requirements in industrial standards pose risks for ambiguities which need to be resolved by the system manufacturer in concertation with the certificate authority. This is especially challenging for small and medium-sized enterprises (SME). In this paper we report on our experiences with applying traditional requirements engineering techniques, formal methods, and visual narratives in an exploratory case-study in an SME.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"322 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"11","resultStr":"{\"title\":\"Disambiguation of industrial standards through formalization and graphical languages\",\"authors\":\"Daniel Dietsch, Sergio Feo Arenis, B. Westphal, A. Podelski\",\"doi\":\"10.1109/RE.2011.6051634\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Natural language safety requirements in industrial standards pose risks for ambiguities which need to be resolved by the system manufacturer in concertation with the certificate authority. This is especially challenging for small and medium-sized enterprises (SME). In this paper we report on our experiences with applying traditional requirements engineering techniques, formal methods, and visual narratives in an exploratory case-study in an SME.\",\"PeriodicalId\":385129,\"journal\":{\"name\":\"2011 IEEE 19th International Requirements Engineering Conference\",\"volume\":\"322 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-08-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"11\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 IEEE 19th International Requirements Engineering Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/RE.2011.6051634\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 IEEE 19th International Requirements Engineering Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/RE.2011.6051634","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 11

摘要

工业标准中的自然语言安全要求存在歧义的风险，需要系统制造商与证书颁发机构协商解决。这对中小型企业来说尤其具有挑战性。在本文中，我们报告了我们在一个中小企业的探索性案例研究中应用传统需求工程技术、形式化方法和可视化叙述的经验。

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

查看原文本刊更多论文

Disambiguation of industrial standards through formalization and graphical languages

Natural language safety requirements in industrial standards pose risks for ambiguities which need to be resolved by the system manufacturer in concertation with the certificate authority. This is especially challenging for small and medium-sized enterprises (SME). In this paper we report on our experiences with applying traditional requirements engineering techniques, formal methods, and visual narratives in an exploratory case-study in an SME.

求助全文

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

来源期刊

2011 IEEE 19th International Requirements Engineering Conference

自引率

0.00%

发文量