发布求助
文献互助 智能选刊 最新文献

2011 IEEE 19th International Requirements Engineering Conference最新文献

筛选
英文 中文
OpenArgue: Supporting argumentation to evolve secure software systems OpenArgue:支持论证以发展安全的软件系统
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051671
Y. Yu, T. Tun, A. Tedeschi, V. N. Franqueira, B. Nuseibeh
{"title":"OpenArgue: Supporting argumentation to evolve secure software systems","authors":"Y. Yu, T. Tun, A. Tedeschi, V. N. Franqueira, B. Nuseibeh","doi":"10.1109/RE.2011.6051671","DOIUrl":"https://doi.org/10.1109/RE.2011.6051671","url":null,"abstract":"When software systems are verified against security requirements, formal and informal arguments provide a structure for organizing the software artifacts. Our recent work on the evolution of security-critical software systems demonstrates that our argumentation technique is useful in limiting the scope of change and in identifying changes to security properties. In support of this work, we have developed OpenArgue, a tool for syntax checking, visualizing, formalizing, and reasoning about incremental arguments. OpenArgue has been integrated with requirements engineering tools for Problem Frames and i∗, and applied to an Air Traffic Management (ATM) case study.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124543191","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}
引用次数: 36
There's never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development 永远没有足够的时间:在资源限制下处理需求，以及需求工程可以从敏捷开发中学到什么
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051626
Bernd Waldmann
{"title":"There's never enough time: Doing requirements under resource constraints, and what requirements engineering can learn from agile development","authors":"Bernd Waldmann","doi":"10.1109/RE.2011.6051626","DOIUrl":"https://doi.org/10.1109/RE.2011.6051626","url":null,"abstract":"While Requirements Engineering textbooks state that a requirements specification must be complete, in real-life projects we are always starting too late, with too few resources, so we can't do everything. The software development community has solved a similar problem (not having enough resources to implement everything that was asked for) by introducing agile development methods, which offer ways of segmenting the overall project, and choosing which parts to allocate resources to. This paper is about how insights from that agile development community can be applied to requirements engineering activities for any (agile or non-agile) development project. Key terms in agile development, such as “working product” and “user story”, must be mapped intelligently to terms in requirements engineering — and not simply copied: the “product” of requirements engineering is not the same as the “product” being implemented by developers.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115535579","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}
引用次数: 22
How to assign cost to “avoidable requirements creep”: A step towards the waterfall's agilization 如何为“可避免的需求蔓延”分配成本:朝着瀑布式敏捷化迈出的一步
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051623
Stefan Pühl, Ralf Fahney
{"title":"How to assign cost to “avoidable requirements creep”: A step towards the waterfall's agilization","authors":"Stefan Pühl, Ralf Fahney","doi":"10.1109/RE.2011.6051623","DOIUrl":"https://doi.org/10.1109/RE.2011.6051623","url":null,"abstract":"Scope creep is a major risk in fixed price projects. It has been suggested to distinguish between so-called “avoidable creep” and “unavoidable creep” where “avoidable creep” results from stopping requirements engineering (RE) effort too early e.g. for cost-saving reasons. However, no suggestion has been made how to assign cost to “avoidable creep” to quantify the consequence of too early stopped RE effort and to get that type of creep managed or even considerably reduced. From our experience in real and large fixed price projects, we derived a suggestion for solving this problem as soon as possible. The suggested solution has not yet been tried out in practice. However, with this paper we would like to begin a discussion about the suggested solution, and whether it could solve the problem of valuating “avoidable creep”, could thereby reduce both the customer's and the supplier's risk in large fixed price projects and, as a side-effect, serves as a step in converging pure waterfall and pure agile procedures.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127386512","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}
引用次数: 13
Vacuous real-time requirements 空洞的实时需求
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051657
Amalinda Post, Jochen Hoenicke, A. Podelski
{"title":"Vacuous real-time requirements","authors":"Amalinda Post, Jochen Hoenicke, A. Podelski","doi":"10.1109/RE.2011.6051657","DOIUrl":"https://doi.org/10.1109/RE.2011.6051657","url":null,"abstract":"We introduce the property of vacuity for requirements. A requirement is vacuous in a set of requirements if it is equivalent to a simpler requirement in the context of the other requirements. For example, the requirement “if A then B” is vacuous together with the requirement “not A”. The existence of a vacuous requirement is likely to indicate an error. We give an algorithm that proves the absence of this kind of error for real-time requirements. A case study in an industrial context demonstrates the practical potential of the algorithm.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125056159","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
rΣ: Automated reasoning tool for non-functional requirement goal models rΣ:用于非功能性需求目标模型的自动推理工具
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051664
Bolin Wei, Bin Yin, Zhi Jin, D. Zowghi
{"title":"rΣ: Automated reasoning tool for non-functional requirement goal models","authors":"Bolin Wei, Bin Yin, Zhi Jin, D. Zowghi","doi":"10.1109/RE.2011.6051664","DOIUrl":"https://doi.org/10.1109/RE.2011.6051664","url":null,"abstract":"Reasoning is critical for non-functional requirements (NFRs) analysis and verification. Furthermore, it can provide rationale about implementation strategies for NFRs. The existing tools can execute an interactive reasoning process which sometimes needs extra information from stakeholders. We build a tool called rΣ for reasoning on NFR models especially when extra information is unavailable or forbidden, like at the model verification stage. This tool employs the formula style model as the input, automatically promotes the reasoning process till the root node, and returns all the satisficing statuses and the complete rationale as the output. We have applied rΣ into the real practice and to evaluate its efficiency.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128926263","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}
引用次数: 6
A legal cross-references taxonomy for identifying conflicting software requirements 用于识别相互冲突的软件需求的合法的交叉引用分类法
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051647
J. C. Maxwell, A. Antón, Peter P. Swire
{"title":"A legal cross-references taxonomy for identifying conflicting software requirements","authors":"J. C. Maxwell, A. Antón, Peter P. Swire","doi":"10.1109/RE.2011.6051647","DOIUrl":"https://doi.org/10.1109/RE.2011.6051647","url":null,"abstract":"Companies must ensure their software complies with relevant laws and regulations to avoid the risk of costly penalties, lost reputation, and brand damage resulting from noncompliance. Laws and regulations contain internal cross-references to portions of the same legal text, as well as cross-references to external legal texts. These cross-references introduce ambiguities, exceptions, as well as other challenges to regulatory compliance. Requirements engineers need guidance as to how to address cross-references in order to comply with the requirements of the law. Herein, we analyze each external cross-reference within the U.S. Health Insurance Portability and Accountability Act (HIPAA) Privacy Rule to determine whether a cross-reference either: introduces a conflicting requirement, a conflicting definition, and/or refines an existing requirement. Herein, we propose a legal cross-reference taxonomy to aid requirements engineers in classifying cross-references as they specify compliance requirements. Analyzing cross-references enables us to address conflicting requirements that may otherwise thwart legal compliance. We identify five sets of conflicting compliance requirements and recommend strategies for resolving these conflicts.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"346 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120889798","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}
引用次数: 40
Managing requirements uncertainty in engine control systems development 管理发动机控制系统开发中的需求不确定性
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051622
Andy J. Nolan, S. Abrahão, P. Clements, A. Pickard
{"title":"Managing requirements uncertainty in engine control systems development","authors":"Andy J. Nolan, S. Abrahão, P. Clements, A. Pickard","doi":"10.1109/RE.2011.6051622","DOIUrl":"https://doi.org/10.1109/RE.2011.6051622","url":null,"abstract":"In the development of complex systems the requirements for the system will almost always remain uncertain late into the software development. In gas turbine engine control systems at Rolls-Royce, typically 50% of requirements will change between Critical Design Review and Entry into Service. Ignoring or not planning for requirements uncertainty will cause scrap and rework that will manifest later in the project. This paper evaluates the impact of not managing these uncertainties and describes how Rolls-Royce uses Requirements Uncertainty Analysis to reduce this impact. The paper summarises the findings from an extensive Six Sigma study into requirements uncertainty and provides an overview of the technique now used to identify and monitor uncertainty through a project life. The return on investment of this technique has been between 100:1 and 500:1.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129741719","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}
引用次数: 15
On human analyst performance in assisted requirements tracing: Statistical analysis 在辅助需求跟踪中分析人员的表现:统计分析
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051649
Alex Dekhtyar, O. Dekhtyar, Jeff Holden, J. Hayes, D. Cuddeback, Wei-Keat Kong
{"title":"On human analyst performance in assisted requirements tracing: Statistical analysis","authors":"Alex Dekhtyar, O. Dekhtyar, Jeff Holden, J. Hayes, D. Cuddeback, Wei-Keat Kong","doi":"10.1109/RE.2011.6051649","DOIUrl":"https://doi.org/10.1109/RE.2011.6051649","url":null,"abstract":"Assisted requirements tracing is a process in which a human analyst validates candidate traces produced by an automated requirements tracing method or tool. The assisted requirements tracing process splits the difference between the commonly applied time-consuming, tedious, and error-prone manual tracing and the automated requirements tracing procedures that are a focal point of academic studies. In fact, in software assurance scenarios, assisted requirements tracing is the only way in which tracing can be at least partially automated. In this paper, we present the results of an extensive 12 month study of assisted tracing, conducted using three different tracing processes at two different sites. We describe the information collected about each study participant and their work on the tracing task, and apply statistical analysis to study which factors have the largest effect on the quality of the final trace.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130977720","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}
引用次数: 49
Reconciling requirements and architectures with the CBSP approach in an iPhone app project 在iPhone应用程序项目中用CBSP方法协调需求和体系结构
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051625
Harald Vogl, K. Lehner, P. Grünbacher, Alexander Egyed
{"title":"Reconciling requirements and architectures with the CBSP approach in an iPhone app project","authors":"Harald Vogl, K. Lehner, P. Grünbacher, Alexander Egyed","doi":"10.1109/RE.2011.6051625","DOIUrl":"https://doi.org/10.1109/RE.2011.6051625","url":null,"abstract":"There are only few methods available that help refining software requirements to software architectures. An example is the CBSP (Component-Bus-System-Property) approach that uses general architectural concerns to classify and refine requirements and to capture architectural trade-off issues and options. This paper reports about experiences of applying CBSP in an industrial project in the area of mobile applications. We illustrate CBSP using project examples. We discuss how the approach was tailored and present extensions we developed. In particular, we show how CBSP can be used together with the Goal-Question-Metric approach to guide architectural decisions. We close our paper with a discussion of lessons learned during this project.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125908515","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}
引用次数: 10
Out of the labyrinth: Leveraging other disciplines for requirements traceability 走出迷宫:为需求可追溯性利用其他规程
2011 IEEE 19th International Requirements Engineering Conference Pub Date : 2011-08-29 DOI: 10.1109/RE.2011.6051655
O. Gotel, S. Morris
{"title":"Out of the labyrinth: Leveraging other disciplines for requirements traceability","authors":"O. Gotel, S. Morris","doi":"10.1109/RE.2011.6051655","DOIUrl":"https://doi.org/10.1109/RE.2011.6051655","url":null,"abstract":"Imagine a world in which luggage never comes, Fido remains lost, forgeries cannot be distinguished from the genuine, a gallon of petrol in one gas station is not equivalent to a gallon in another, tainted peanut products cannot be recalled and disease runs rife. Without the ability to trace, one may anticipate such a world. Tracing is one of the oldest skills possessed by the human race and was vital to the survival of early hunters. Over millennia, mankind has adapted this skill to other areas, ranging from metrology to epidemiology. Software systems engineering is a relatively new discipline that employs tracing, but it appears to exhibit some unique characteristics. This paper examines tracing and its underlying concepts across a number of disciplines to highlight the specific challenges associated with tracing requirements. It draws upon these disciplines to illustrate how existing practices could be leveraged, and to clarify a priority for research and practice.","PeriodicalId":385129,"journal":{"name":"2011 IEEE 19th International Requirements Engineering Conference","volume":"99 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-08-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116636888","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
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信