首页 > 最新文献

2013 21st IEEE International Requirements Engineering Conference (RE)最新文献

英文 中文
A goal model elaboration for localizing changes in software evolution 一个目标模型的细化,用于在软件演进中本地化变更
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636715
Hiroyuki Nakagawa, Akihiko Ohsuga, S. Honiden
Software evolution is an essential activity that adapts existing software to changes in requirements. Localizing the impact of changes is one of the most efficient strategies for successful evolution. We exploit requirements descriptions in order to extract loosely coupled components and localize changes for evolution. We define a process of elaboration for the goal model that extracts a set of control loops from the requirements descriptions as components that constitute extensible systems. We regard control loops to be independent components that prevent the impact of a change from spreading outside them. To support the elaboration, we introduce two patterns: one to extract control loops from the goal model and another to detect possible conflicts between control loops. We experimentally evaluated our approach in two types of software development and the results demonstrate that our elaboration technique helps us to analyze the impact of changes in the source code and prevent the complexity of the code from increasing.
软件演进是使现有软件适应需求变化的基本活动。本地化变化的影响是成功进化的最有效策略之一。我们利用需求描述来提取松散耦合的组件,并为进化定位变更。我们为目标模型定义了一个细化过程,该过程从需求描述中提取一组控制循环,作为构成可扩展系统的组件。我们认为控制回路是独立的组件,可以防止变化的影响扩散到它们之外。为了支持精化,我们引入了两种模式:一种用于从目标模型中提取控制循环,另一种用于检测控制循环之间可能的冲突。我们在两种类型的软件开发中实验地评估了我们的方法,结果表明,我们的细化技术帮助我们分析了源代码中变化的影响,并防止了代码复杂性的增加。
{"title":"A goal model elaboration for localizing changes in software evolution","authors":"Hiroyuki Nakagawa, Akihiko Ohsuga, S. Honiden","doi":"10.1109/RE.2013.6636715","DOIUrl":"https://doi.org/10.1109/RE.2013.6636715","url":null,"abstract":"Software evolution is an essential activity that adapts existing software to changes in requirements. Localizing the impact of changes is one of the most efficient strategies for successful evolution. We exploit requirements descriptions in order to extract loosely coupled components and localize changes for evolution. We define a process of elaboration for the goal model that extracts a set of control loops from the requirements descriptions as components that constitute extensible systems. We regard control loops to be independent components that prevent the impact of a change from spreading outside them. To support the elaboration, we introduce two patterns: one to extract control loops from the goal model and another to detect possible conflicts between control loops. We experimentally evaluated our approach in two types of software development and the results demonstrate that our elaboration technique helps us to analyze the impact of changes in the source code and prevent the complexity of the code from increasing.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"1 1","pages":"155-164"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83117698","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
Learning from evolution history to predict future requirement changes 从进化历史中学习以预测未来的需求变化
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636713
Lin Shi, Qing Wang, Mingshu Li
Managing the costs and risks of evolution is a challenging problem in the RE community. The challenge lies in the difficulty of analyzing and assessing the proneness to requirement changes across multiple versions, especially when the scale of requirements is large. In this paper, we define a series of metrics to characterize historic evolution information, and propose a novel method for predicting requirements that are likely to evolve in the future based on the metrics. We apply the prediction method to analyze the product updates history through a case study. The empirical results show that this method can provide a tradeoff solution that narrows down the scope of change analysis to a small set of requirements, but it still can retrieve nearly half of the future changes. The results indicate that the defined metrics are sensitive to the history of requirements evolution, and the prediction method can reach a valuable outcome for requirement engineers to balance their workload and risks.
管理进化的成本和风险是可再生能源社区中一个具有挑战性的问题。挑战在于分析和评估跨多个版本的需求变更倾向的难度,特别是当需求规模很大的时候。在本文中,我们定义了一系列度量来描述历史演化信息,并提出了一种新的方法来预测基于度量的未来可能演化的需求。通过案例分析,应用预测方法对产品更新历史进行分析。经验结果表明,该方法可以提供一个折衷的解决方案,将变更分析的范围缩小到一小部分需求,但是它仍然可以检索近一半的未来变更。结果表明,所定义的度量对需求演变的历史是敏感的,预测方法可以为需求工程师平衡他们的工作量和风险提供有价值的结果。
{"title":"Learning from evolution history to predict future requirement changes","authors":"Lin Shi, Qing Wang, Mingshu Li","doi":"10.1109/RE.2013.6636713","DOIUrl":"https://doi.org/10.1109/RE.2013.6636713","url":null,"abstract":"Managing the costs and risks of evolution is a challenging problem in the RE community. The challenge lies in the difficulty of analyzing and assessing the proneness to requirement changes across multiple versions, especially when the scale of requirements is large. In this paper, we define a series of metrics to characterize historic evolution information, and propose a novel method for predicting requirements that are likely to evolve in the future based on the metrics. We apply the prediction method to analyze the product updates history through a case study. The empirical results show that this method can provide a tradeoff solution that narrows down the scope of change analysis to a small set of requirements, but it still can retrieve nearly half of the future changes. The results indicate that the defined metrics are sensitive to the history of requirements evolution, and the prediction method can reach a valuable outcome for requirement engineers to balance their workload and risks.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"41 1","pages":"135-144"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"77188518","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}
引用次数: 20
An empirical study on project-specific traceability strategies 项目特定可追溯性策略的实证研究
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636719
P. Rempel, Patrick Mäder, Tobias Kuschke
Effective requirements traceability supports practitioners in reaching higher project maturity and better product quality. Researchers argue that effective traceability barely happens by chance or through ad-hoc efforts and that traceability should be explicitly defined upfront. However, in a previous study we found that practitioners rarely follow explicit traceability strategies. We were interested in the reason for this discrepancy. Are practitioners able to reach effective traceability without an explicit definition? More specifically, how suitable is requirements traceability that is not strategically planned in supporting a project's development process. Our interview study involved practitioners from 17 companies. These practitioners were familiar with the development process, the existing traceability and the goals of the project they reported about. For each project, we first modeled a traceability strategy based on the gathered information. Second, we examined and modeled the applied software engineering processes of each project. Thereby, we focused on executed tasks, involved actors, and pursued goals. Finally, we analyzed the quality and suitability of a project's traceability strategy. We report common problems across the analyzed traceability strategies and their possible causes. The overall quality and mismatch of analyzed traceability suggests that an upfront-defined traceability strategy is indeed required. Furthermore, we show that the decision for or against traceability relations between artifacts requires a detailed understanding of the project's engineering process and goals; emphasizing the need for a goal-oriented procedure to assess existing and define new traceability strategies.
有效的需求跟踪支持从业者达到更高的项目成熟度和更好的产品质量。研究人员认为,有效的可追溯性几乎不会偶然发生,也不会通过特别的努力而发生,而且可追溯性应该预先明确定义。然而,在之前的研究中,我们发现实践者很少遵循明确的可追溯性策略。我们对产生这种差异的原因很感兴趣。执行者是否能够在没有明确定义的情况下达到有效的可追溯性?更具体地说,在支持项目的开发过程中,没有战略性规划的需求可追溯性有多适合。我们的访谈研究涉及17家公司的从业人员。这些实践者熟悉开发过程、现有的可追溯性和他们所报告的项目的目标。对于每个项目,我们首先基于收集到的信息建模一个可跟踪性策略。其次,我们对每个项目的应用软件工程过程进行了检查和建模。因此,我们关注已执行的任务、涉及的参与者和追求的目标。最后,我们分析了项目可追溯性策略的质量和适用性。我们报告所分析的可追溯性策略中的常见问题及其可能的原因。分析的可追溯性的总体质量和不匹配表明,确实需要预先定义的可追溯性策略。此外,我们表明,决定支持或反对工件之间的可追溯性关系需要对项目的工程过程和目标的详细理解;强调需要一个目标导向的过程来评估现有的和定义新的可追溯性策略。
{"title":"An empirical study on project-specific traceability strategies","authors":"P. Rempel, Patrick Mäder, Tobias Kuschke","doi":"10.1109/RE.2013.6636719","DOIUrl":"https://doi.org/10.1109/RE.2013.6636719","url":null,"abstract":"Effective requirements traceability supports practitioners in reaching higher project maturity and better product quality. Researchers argue that effective traceability barely happens by chance or through ad-hoc efforts and that traceability should be explicitly defined upfront. However, in a previous study we found that practitioners rarely follow explicit traceability strategies. We were interested in the reason for this discrepancy. Are practitioners able to reach effective traceability without an explicit definition? More specifically, how suitable is requirements traceability that is not strategically planned in supporting a project's development process. Our interview study involved practitioners from 17 companies. These practitioners were familiar with the development process, the existing traceability and the goals of the project they reported about. For each project, we first modeled a traceability strategy based on the gathered information. Second, we examined and modeled the applied software engineering processes of each project. Thereby, we focused on executed tasks, involved actors, and pursued goals. Finally, we analyzed the quality and suitability of a project's traceability strategy. We report common problems across the analyzed traceability strategies and their possible causes. The overall quality and mismatch of analyzed traceability suggests that an upfront-defined traceability strategy is indeed required. Furthermore, we show that the decision for or against traceability relations between artifacts requires a detailed understanding of the project's engineering process and goals; emphasizing the need for a goal-oriented procedure to assess existing and define new traceability strategies.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"20 1","pages":"195-204"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86589804","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}
引用次数: 47
Using tracelab to design, execute, and baseline empirical requirements engineering experiments 使用tracelab来设计、执行和基线经验需求工程实验
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636744
J. Cleland-Huang, Adam Czauderna, J. Hayes
As Requirements Engineering research continues to grow into a mature and rigorous discipline, an increasing focus is placed on the need for sound evaluation techniques that compare the benefits of a new solution against existing ones. In this tool demonstration we introduce TraceLab, an instrumented environment for modeling, executing, and comparatively evaluating experimental results. While initially developed for the Software Traceability domain, TraceLab provides a framework which can be populated with experiments, datasets, and reusable components for almost any empirical software engineering domain. In this demo we present examples from the Requirements Engineering domain.
随着需求工程研究继续成长为一个成熟和严格的学科,越来越多的焦点被放在对可靠的评估技术的需求上,这些评估技术可以比较新解决方案和现有解决方案的好处。在这个工具演示中,我们介绍了TraceLab,一个用于建模、执行和比较评估实验结果的仪器化环境。虽然TraceLab最初是为软件可追溯性领域开发的,但它提供了一个框架,可以为几乎任何经验软件工程领域填充实验、数据集和可重用组件。在这个演示中,我们展示了来自需求工程领域的例子。
{"title":"Using tracelab to design, execute, and baseline empirical requirements engineering experiments","authors":"J. Cleland-Huang, Adam Czauderna, J. Hayes","doi":"10.1109/RE.2013.6636744","DOIUrl":"https://doi.org/10.1109/RE.2013.6636744","url":null,"abstract":"As Requirements Engineering research continues to grow into a mature and rigorous discipline, an increasing focus is placed on the need for sound evaluation techniques that compare the benefits of a new solution against existing ones. In this tool demonstration we introduce TraceLab, an instrumented environment for modeling, executing, and comparatively evaluating experimental results. While initially developed for the Software Traceability domain, TraceLab provides a framework which can be populated with experiments, datasets, and reusable components for almost any empirical software engineering domain. In this demo we present examples from the Requirements Engineering domain.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"14 1","pages":"338-339"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86883637","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}
引用次数: 1
Requirements engineering for the uganda police force crime records management system 乌干达警察部队犯罪记录管理系统的需求工程
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636734
A. Muyanja, P. I. Musasizi, C. Nassimbwa, S. S. Tickodri-Togboa, Edward Kale Kayihura, Amos Ngabirano
This paper presents the requirements engineering process for the Uganda Police Force Crime Records Management System. The system was envisioned to substantially improve the performance of the crime records management function of the Uganda Police Force through strengthening the pertinent processes. The requirements engineering process involved definition of the system context and goals, requirements elicitation, analysis and specification. The process was championed by the ARMS Project, Makerere University. Following the successful requirements engineering process, the ARMS Project together with the Uganda Police Force embarked on a two year project to design, construct and deploy the envisioned Crime Records Management System at selected police sites in Uganda. The key challenges faced during the requirements engineering process, such as changes in the composition of the Uganda Police Force project team, requirements traceability, and low representation of business process owners, are also presented.
本文介绍了乌干达警察部队犯罪记录管理系统的需求工程过程。该系统的设想是通过加强有关程序,大大改善乌干达警察部队犯罪记录管理职能的执行情况。需求工程过程包括系统上下文和目标的定义、需求的提取、分析和规格说明。这一过程得到了马凯雷雷大学ARMS项目的支持。在需求工程过程取得成功之后,ARMS项目与乌干达警察部队一起开始了一项为期两年的项目,在乌干达选定的警察场所设计、建造和部署预期的犯罪记录管理系统。在需求工程过程中面临的关键挑战,例如乌干达警察部队项目团队组成的变化、需求可追溯性以及业务流程所有者的低代表性,也被提出。
{"title":"Requirements engineering for the uganda police force crime records management system","authors":"A. Muyanja, P. I. Musasizi, C. Nassimbwa, S. S. Tickodri-Togboa, Edward Kale Kayihura, Amos Ngabirano","doi":"10.1109/RE.2013.6636734","DOIUrl":"https://doi.org/10.1109/RE.2013.6636734","url":null,"abstract":"This paper presents the requirements engineering process for the Uganda Police Force Crime Records Management System. The system was envisioned to substantially improve the performance of the crime records management function of the Uganda Police Force through strengthening the pertinent processes. The requirements engineering process involved definition of the system context and goals, requirements elicitation, analysis and specification. The process was championed by the ARMS Project, Makerere University. Following the successful requirements engineering process, the ARMS Project together with the Uganda Police Force embarked on a two year project to design, construct and deploy the envisioned Crime Records Management System at selected police sites in Uganda. The key challenges faced during the requirements engineering process, such as changes in the composition of the Uganda Police Force project team, requirements traceability, and low representation of business process owners, are also presented.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"58 4 1","pages":"30-307"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"83874422","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}
引用次数: 4
Visual notation design 2.0: Towards user comprehensible requirements engineering notations 可视化符号设计2.0:面向用户可理解的需求工程符号
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636711
Patrice Caire, Nicolas Genon, P. Heymans, D. Moody
The success of requirements engineering depends critically on effective communication between business analysts and end users, yet empirical studies show that business stakeholders understand RE notations very poorly. This paper proposes a novel approach to designing RE visual notations that actively involves naïve users in the process. We use i*, one of the most influential RE notations, to demonstrate the approach, but the same approach could be applied to any RE notation. We present the results of 5 related empirical studies that show that novices outperform experts in designing symbols that are comprehensible to novices: the differences are both statistically significant and practically meaningful. Symbols designed by novices increased semantic transparency (their ability to be spontaneously interpreted by other novices) by almost 300% compared to the existing i* notation. The results challenge the conventional wisdom about visual notation design: that it should be conducted by a small group of experts; our research suggests that it should instead be conducted by large numbers of novices. The approach is consistent with Web 2.0, in that it harnesses the collective intelligence of end users and actively involves them in the notation design process as “prosumers” rather than passive consumers. We believe this approach has the potential to radically change the way visual notations are designed in the future.
需求工程的成功主要依赖于业务分析师和最终用户之间的有效沟通,然而经验研究表明,业务涉众对RE符号的理解非常差。本文提出了一种设计RE可视化符号的新方法,该方法可以让naïve用户积极参与到设计过程中。我们使用i*(最具影响力的正则符号之一)来演示这种方法,但同样的方法可以应用于任何正则符号。我们提出了5项相关实证研究的结果,表明新手在设计新手可理解的符号方面优于专家:差异既有统计学意义又有实践意义。与现有的i*符号相比,由新手设计的符号增加了语义透明度(它们被其他新手自发解释的能力)近300%。研究结果挑战了视觉符号设计的传统观念:它应该由一小群专家来完成;我们的研究表明,它应该由大量的新手来进行。该方法与Web 2.0是一致的,因为它利用了最终用户的集体智慧,并将他们作为“产消者”而不是被动的消费者积极地参与到符号设计过程中。我们相信这种方法有潜力从根本上改变未来视觉符号的设计方式。
{"title":"Visual notation design 2.0: Towards user comprehensible requirements engineering notations","authors":"Patrice Caire, Nicolas Genon, P. Heymans, D. Moody","doi":"10.1109/RE.2013.6636711","DOIUrl":"https://doi.org/10.1109/RE.2013.6636711","url":null,"abstract":"The success of requirements engineering depends critically on effective communication between business analysts and end users, yet empirical studies show that business stakeholders understand RE notations very poorly. This paper proposes a novel approach to designing RE visual notations that actively involves naïve users in the process. We use i*, one of the most influential RE notations, to demonstrate the approach, but the same approach could be applied to any RE notation. We present the results of 5 related empirical studies that show that novices outperform experts in designing symbols that are comprehensible to novices: the differences are both statistically significant and practically meaningful. Symbols designed by novices increased semantic transparency (their ability to be spontaneously interpreted by other novices) by almost 300% compared to the existing i* notation. The results challenge the conventional wisdom about visual notation design: that it should be conducted by a small group of experts; our research suggests that it should instead be conducted by large numbers of novices. The approach is consistent with Web 2.0, in that it harnesses the collective intelligence of end users and actively involves them in the notation design process as “prosumers” rather than passive consumers. We believe this approach has the potential to radically change the way visual notations are designed in the future.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"34 1","pages":"115-124"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"82464378","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}
引用次数: 89
Requirements reviews revisited: Residual challenges and open research questions 需求回顾:剩余的挑战和开放的研究问题
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636725
Frank Salger
It is widely accepted that early reviews on requirements specifications (RS) are an effective and efficient quality assurance technique. So why are they still not applied all over the software industry? In this paper we pinpoint that this is due to five major challenges: 1) Software requirements are based on flawed `upstream' requirements and reviews on RS are thus in vain. 2) The impact of sociological issues related to reviews is underestimated. 3) Important quality aspects of RS escape reviews. 4) The goal of applying reviews is not made clear and different review approaches are mixed. 5) Incremental software development poses specific challenges to applying reviews on RS. In this paper we argue that in order to solve these five challenges research on reviews must take a more holistic approach, stretching to pre-project phases and incorporating various other disciplines in order to add more value for the software industry. The paper also offers preliminary solutions to the discussed challenges and sketches open research questions of high relevance for the software industry.
需求说明(RS)的早期评审是一种有效且高效的质量保证技术,这一点已被广泛接受。那么,为什么它们仍然没有在整个软件行业得到应用呢?在本文中,我们指出这是由于五个主要的挑战:1)软件需求是基于有缺陷的“上游”需求,因此对RS的审查是徒劳的。2)与评论相关的社会学问题的影响被低估。3) RS逃生评审的重要质量方面。4)申请评审的目标不明确,不同的评审方式混杂。5)增量软件开发对在RS上应用评审提出了具体的挑战。在本文中,我们认为为了解决这五个挑战,对评审的研究必须采取更全面的方法,延伸到项目前阶段,并结合各种其他学科,以便为软件行业增加更多的价值。本文还为讨论的挑战提供了初步解决方案,并概述了与软件行业高度相关的开放性研究问题。
{"title":"Requirements reviews revisited: Residual challenges and open research questions","authors":"Frank Salger","doi":"10.1109/RE.2013.6636725","DOIUrl":"https://doi.org/10.1109/RE.2013.6636725","url":null,"abstract":"It is widely accepted that early reviews on requirements specifications (RS) are an effective and efficient quality assurance technique. So why are they still not applied all over the software industry? In this paper we pinpoint that this is due to five major challenges: 1) Software requirements are based on flawed `upstream' requirements and reviews on RS are thus in vain. 2) The impact of sociological issues related to reviews is underestimated. 3) Important quality aspects of RS escape reviews. 4) The goal of applying reviews is not made clear and different review approaches are mixed. 5) Incremental software development poses specific challenges to applying reviews on RS. In this paper we argue that in order to solve these five challenges research on reviews must take a more holistic approach, stretching to pre-project phases and incorporating various other disciplines in order to add more value for the software industry. The paper also offers preliminary solutions to the discussed challenges and sketches open research questions of high relevance for the software industry.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"45 1","pages":"250-255"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"73313241","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}
引用次数: 11
MIRA: A tooling-framework to experiment with model-based requirements engineering MIRA:使用基于模型的需求工程进行实验的工具框架
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636740
Sabine Teufl, Dongyue Mou, D. Ratiu
Model-based requirements engineering supports eliciting, specifying and analyzing the work products elaborated during the requirements engineering process by providing adequate models. However, especially the inclusion of formal models needs to be investigated further. These models represent requirements and have to be integrated with reference models that define and structure the work results and their relations. We have developed the research tool MIRA to provide an infrastructure for the tool-based evaluation of the usage of models in the field of requirements engineering. In this paper we present the research questions addressed by MIRA concerning the reference model and the formal models. We explain how MIRA supports answering these research questions.
基于模型的需求工程通过提供适当的模型,支持在需求工程过程中对工作产品进行提取、指定和分析。然而,特别是正式模型的包含还需要进一步研究。这些模型表示需求,并且必须与定义和构建工作结果及其关系的参考模型集成。我们已经开发了研究工具MIRA,为需求工程领域中基于工具的模型使用评估提供了基础结构。本文介绍了MIRA在参考模型和形式模型方面的研究问题。我们将解释MIRA如何支持回答这些研究问题。
{"title":"MIRA: A tooling-framework to experiment with model-based requirements engineering","authors":"Sabine Teufl, Dongyue Mou, D. Ratiu","doi":"10.1109/RE.2013.6636740","DOIUrl":"https://doi.org/10.1109/RE.2013.6636740","url":null,"abstract":"Model-based requirements engineering supports eliciting, specifying and analyzing the work products elaborated during the requirements engineering process by providing adequate models. However, especially the inclusion of formal models needs to be investigated further. These models represent requirements and have to be integrated with reference models that define and structure the work results and their relations. We have developed the research tool MIRA to provide an infrastructure for the tool-based evaluation of the usage of models in the field of requirements engineering. In this paper we present the research questions addressed by MIRA concerning the reference model and the formal models. We explain how MIRA supports answering these research questions.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"21 1","pages":"330-331"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76620367","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}
引用次数: 21
RE@21 spotlight: Most influential papers from the requirements engineering conference RE@21 spotlight:需求工程会议上最有影响力的论文
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636755
M. Glinz, R. Wieringa
Since 2003, an award has been presented annually at the IEEE International Requirements Engineering Conference for the Most Influential Paper presented at the conference 10 years previously. In 2013, we celebrate 21 years of the Requirements Engineering Conference, and we use this as an opportunity to reflect on the Most Influential Papers to date. Two sessions of the 2013 conference highlight the work of previous award winners and provide the authors with the opportunity to describe the trajectory of their work over the ten years that led to the award, and to discuss its impact since.
自2003年以来,每年在IEEE国际需求工程会议上颁发一个奖项,以表彰10年前在该会议上发表的最具影响力的论文。在2013年,我们庆祝了21年的需求工程会议,我们利用这个机会来反思迄今为止最具影响力的论文。2013年大会的两次会议重点介绍了往届获奖者的工作,并为作者提供了一个机会,描述他们获得该奖项的十年来的工作轨迹,并讨论了自那以后的影响。
{"title":"RE@21 spotlight: Most influential papers from the requirements engineering conference","authors":"M. Glinz, R. Wieringa","doi":"10.1109/RE.2013.6636755","DOIUrl":"https://doi.org/10.1109/RE.2013.6636755","url":null,"abstract":"Since 2003, an award has been presented annually at the IEEE International Requirements Engineering Conference for the Most Influential Paper presented at the conference 10 years previously. In 2013, we celebrate 21 years of the Requirements Engineering Conference, and we use this as an opportunity to reflect on the Most Influential Papers to date. Two sessions of the 2013 conference highlight the work of previous award winners and provide the authors with the opportunity to describe the trajectory of their work over the ten years that led to the award, and to discuss its impact since.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"20 1","pages":"368-370"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81583790","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}
引用次数: 2
Formal analysis of privacy requirements specifications for multi-tier applications 对多层应用程序的隐私需求规范进行正式分析
Pub Date : 2013-07-15 DOI: 10.1109/RE.2013.6636701
T. Breaux, Ashwini Rao
Companies require data from multiple sources to develop new information systems, such as social networking, e-commerce and location-based services. Systems rely on complex, multi-stakeholder data supply-chains to deliver value. These data supply-chains have complex privacy requirements: privacy policies affecting multiple stakeholders (e.g. user, developer, company, government) regulate the collection, use and sharing of data over multiple jurisdictions (e.g. California, United States, Europe). Increasingly, regulators expect companies to ensure consistency between company privacy policies and company data practices. To address this problem, we propose a methodology to map policy requirements in natural language to a formal representation in Description Logic. Using the formal representation, we reason about conflicting requirements within a single policy and among multiple policies in a data supply chain. Further, we enable tracing data flows within the supply-chain. We derive our methodology from an exploratory case study of Facebook platform policy. We demonstrate the feasibility of our approach in an evaluation involving Facebook, Zynga and AOL-Advertising policies. Our results identify three conflicts that exist between Facebook and Zynga policies, and one conflict within the AOL Advertising policy.
公司需要来自多个来源的数据来开发新的信息系统,如社交网络、电子商务和基于位置的服务。系统依赖于复杂的、多方利益相关者的数据供应链来提供价值。这些数据供应链具有复杂的隐私要求:影响多个利益相关者(例如用户、开发人员、公司、政府)的隐私政策规范了多个司法管辖区(例如加利福尼亚、美国、欧洲)的数据收集、使用和共享。监管机构越来越希望公司确保公司隐私政策和公司数据实践之间的一致性。为了解决这个问题,我们提出了一种方法,将自然语言中的策略需求映射到描述逻辑中的形式化表示。使用形式化表示,我们可以对数据供应链中单个策略内和多个策略之间的冲突需求进行推理。此外,我们支持在供应链中跟踪数据流。我们的方法来源于Facebook平台政策的探索性案例研究。我们通过对Facebook、Zynga和aol广告政策的评估,证明了我们方法的可行性。我们的研究结果表明,Facebook和Zynga的政策存在三个冲突,AOL的广告政策存在一个冲突。
{"title":"Formal analysis of privacy requirements specifications for multi-tier applications","authors":"T. Breaux, Ashwini Rao","doi":"10.1109/RE.2013.6636701","DOIUrl":"https://doi.org/10.1109/RE.2013.6636701","url":null,"abstract":"Companies require data from multiple sources to develop new information systems, such as social networking, e-commerce and location-based services. Systems rely on complex, multi-stakeholder data supply-chains to deliver value. These data supply-chains have complex privacy requirements: privacy policies affecting multiple stakeholders (e.g. user, developer, company, government) regulate the collection, use and sharing of data over multiple jurisdictions (e.g. California, United States, Europe). Increasingly, regulators expect companies to ensure consistency between company privacy policies and company data practices. To address this problem, we propose a methodology to map policy requirements in natural language to a formal representation in Description Logic. Using the formal representation, we reason about conflicting requirements within a single policy and among multiple policies in a data supply chain. Further, we enable tracing data flows within the supply-chain. We derive our methodology from an exploratory case study of Facebook platform policy. We demonstrate the feasibility of our approach in an evaluation involving Facebook, Zynga and AOL-Advertising policies. Our results identify three conflicts that exist between Facebook and Zynga policies, and one conflict within the AOL Advertising policy.","PeriodicalId":6342,"journal":{"name":"2013 21st IEEE International Requirements Engineering Conference (RE)","volume":"44 1","pages":"14-23"},"PeriodicalIF":0.0,"publicationDate":"2013-07-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"85537810","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}
引用次数: 45
期刊
2013 21st IEEE International Requirements Engineering Conference (RE)
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1