2013 21st IEEE International Requirements Engineering Conference (RE)最新文献_第5页

Top tips you can apply immediately to projects: Highlights from the RE'13 tutorials 您可以立即应用于项目的重要提示:RE'13教程中的亮点

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636752

Maria Lencastre, J. Beatty

引用次数: 0

Creative collisions: Meet and create: And other “RE interactive” suggestions 创意碰撞:相遇和创造:以及其他“RE互动”建议

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636756

Martin Mahaux, David Callele

引用次数: 0

Workshops and doctoral symposium at RE'13: The results: Presentation session of new ideas for researchers and practitioners who weren't there RE'13的研讨会和博士研讨会:结果:为没有参加的研究人员和实践者提供新想法的演示会议

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636757

Oliver Creighton, M. Borges

引用次数: 0

Evidence management for evolutionary safety assurance and certification 进化安全保证和认证的证据管理

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636761

Sunil S. Nair

{"title":"Evidence management for evolutionary safety assurance and certification","authors":"Sunil S. Nair","doi":"10.1109/RE.2013.6636761","DOIUrl":"https://doi.org/10.1109/RE.2013.6636761","url":null,"abstract":"Safety assurance and certification are amongst the most expensive and time-consuming activities in the development of safety-critical systems. Deeming a system to be safe involves gathering convincing evidence to argue the safe operation of the system, usually according to the requirements of some safety standard. To handle large collections of safety evidence effectively, practitioners need knowledge of how to classify different types of evidence, how to structure the evidence to show fulfilment of standards' requirements, and how to assess the evidence. However, the notion of evidence is vague and safety standards' requirements can be ambiguous and difficult to understand. Major problems also arise when a system evolves, as the body of safety evidence has to be adequately maintained in order to ensure system safety and allow its demonstration. In this context, this PhD aims to propose a framework for safety evidence management in evolutionary scenarios. The thesis work will concentrate on devising a model-based and customizable infrastructure for storage, manipulation, reuse, and analysis of evolving safety evidence. The infrastructure will be developed and evaluated in the scope of OPENCOSS a large-scale European research project.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"24 1","pages":"385-388"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"90116949","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

A safety requirement engineering method and tool 一种安全要求工程方法和工具

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636739

R. Guillerm, H. Demmou, N. Sadou

引用次数: 1

A review of traceability research at the requirements engineering conferencere@21 需求工程中可追溯性研究的回顾conferencere@21

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636722

Sunil S. Nair, J. Vara, S. Sen

引用次数: 54

The integration of an RE method and AHP: A pilot study in a large Swiss bank 可再生能源方法与层次分析法的结合:瑞士一家大型银行的试点研究

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636735

A. Golnam, Gil Regev, A. Wegmann, Sofia Kyriakopoulou

引用次数: 2

On requirements verification for model refinements 关于模型细化的需求验证

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636706

C. Ghezzi, C. Menghi, Amir Molzam Sharifloo, P. Spoletini

{"title":"On requirements verification for model refinements","authors":"C. Ghezzi, C. Menghi, Amir Molzam Sharifloo, P. Spoletini","doi":"10.1109/RE.2013.6636706","DOIUrl":"https://doi.org/10.1109/RE.2013.6636706","url":null,"abstract":"Conventional formal verification techniques rely on the assumption that a system's specification is completely available so that the analysis can say whether or not a set of properties will be satisfied. On the contrary, modern development lifecycles call for agileincremental and iterativeapproaches to tame the boosting complexity of modern software systems and reduce development risks. We focus here on requirements verification performed in the early exploratory stages on high-level models and we discuss how this can be integrated into an agile approach. We present a new technique to model-check incomplete high-level specifications against formally specified requirements. We do this in the context of incomplete hierarchical Statecharts, verified against a variation of CTL properties. Our approach supports step-wise specification and refinement verification. Verification can be incremental, that is alternative refinements may be separately explored and verification is only replayed for the modified parts. The results are presented by introducing the formalisms, the model-checking algorithm, and the tool we have implemented.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"12 1","pages":"62-71"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75789627","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 17

An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation 一个关于领域无知对需求启发过程中需求想法生成有效性影响的工业案例研究

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636730

Ali Niknafs, D. Berry

{"title":"An industrial case study of the impact of domain ignorance on the effectiveness of requirements idea generation during requirements elicitation","authors":"Ali Niknafs, D. Berry","doi":"10.1109/RE.2013.6636730","DOIUrl":"https://doi.org/10.1109/RE.2013.6636730","url":null,"abstract":"One of the factors that is supposed to have a significant effect on an individual's effectiveness during requirements engineering activities is knowledge of the problem being solved by the system to be built, i.e., domain knowledge. Nevertheless, domain knowledge is a double-edged sword. While in-depth domain knowledge facilitates understanding the details of the problem, in-depth domain knowledge can promote falling for tacit assumptions of the domain and overlooking the obvious. On the other hand, lack of domain knowledge can facilitate more innovative out-of-the-domain-box idea generation. This paper describes a case study carried out in industry of the idea generation part of a requirements idea brainstorming session conducted by a team deliberately constructed with four domain experts supplied by the company participating in the case study and with four domain ignorants supplied by the authors. The results support the conclusion that having a team consisting of a mix of domain experts and domain ignorants improves the effectiveness of the idea generation part of requirements idea brainstorming.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"90 1","pages":"279-283"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89843844","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 19

Supporting requirements traceability through refactoring 通过重构支持需求可追溯性

2013 21st IEEE International Requirements Engineering Conference (RE) Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636703

Anas Mahmoud, Nan Niu

{"title":"Supporting requirements traceability through refactoring","authors":"Anas Mahmoud, Nan Niu","doi":"10.1109/RE.2013.6636703","DOIUrl":"https://doi.org/10.1109/RE.2013.6636703","url":null,"abstract":"Modern traceability tools employ information retrieval (IR) methods to generate candidate traceability links. These methods track textual signs embedded in the system to establish relationships between software artifacts. However, as software systems evolve, new and inconsistent terminology finds its way into the system's taxonomy, thus corrupting its lexical structure and distorting its traceability tracks. In this paper, we argue that the distorted lexical tracks of the system can be systematically re-established through refactoring, a set of behavior-preserving transformations for keeping the system quality under control during evolution. To test this novel hypothesis, we investigate the effect of integrating various types of refactoring on the performance of requirements-to-code automated tracing methods. In particular, we identify the problems of missing, misplaced, and duplicated signs in software artifacts, and then examine to what extent refactorings that restore, move, and remove textual information can overcome these problems respectively. We conduct our experimental analysis using three datasets from different application domains. Results show that restoring textual information in the system has a positive impact on tracing. In contrast, refactorings that remove redundant information impact tracing negatively. Refactorings that move information among the system modules are found to have no significant effect. Our findings address several issues related to code and requirements evolution, as well as refactoring as a mechanism to enhance the practicality of automated tracing tools.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"15 1","pages":"32-41"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"89903103","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 25