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

Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.最新文献

筛选
英文 中文
A reference model for requirements engineering 需求工程的参考模型
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232749
Jon G. Hall, L. Rapanotti
{"title":"A reference model for requirements engineering","authors":"Jon G. Hall, L. Rapanotti","doi":"10.1109/ICRE.2003.1232749","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232749","url":null,"abstract":"The reference model of Gunter et al, 2000, provides a framework for describing and analyzing key software engineering artifacts and their properties. We propose a reification of this framework in which behaviour is explicitly trace-based. We find that this benefits the formalism in adding structure in ways which are meaningful and practical from an engineering viewpoint. In particular, we develop notions of points of introduction and reachability in the new framework, and show how they strengthen the properties of the reference model.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"213 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121228678","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}
引用次数: 37
Adding hypermedia requirements to goal-driven analysis 向目标驱动的分析中添加超媒体需求
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232744
D. Bolchini, P. Paolini, Giovanni Randazzo
{"title":"Adding hypermedia requirements to goal-driven analysis","authors":"D. Bolchini, P. Paolini, Giovanni Randazzo","doi":"10.1109/ICRE.2003.1232744","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232744","url":null,"abstract":"Requirements analysis for Web applications still needs to employ effective RE practices to accommodate some distinctive aspects: capturing high-level communication goals, considering several user profiles, defining hypermedia-specific requirements, and reusing requirements for an effective usability evaluation. Techniques should be usable, informal, require little training effort, and show relative advantage to project managers. Starting from the i* framework, we present a proposal for defining hypermedia requirements (concerning aspects such as content, navigation and presentation) for Web applications. The model adopts a goal-driven approach coupled with scenario-based techniques, introduces a hypermedia requirement taxonomy to facilitate Web conceptual design, and paves the way for systematic usability evaluation. Particular attention is paid to the empirical validation of the model based on the perceived quality attributes theory. A case study developed with industrial partners is discussed.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129912551","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}
引用次数: 27
Refinement-based requirements modeling using triggered message sequence charts 使用触发消息序列图进行基于细化的需求建模
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232741
Bikram Sengupta, R. Cleaveland
{"title":"Refinement-based requirements modeling using triggered message sequence charts","authors":"Bikram Sengupta, R. Cleaveland","doi":"10.1109/ICRE.2003.1232741","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232741","url":null,"abstract":"Triggered message sequence charts (TMSCs) are a visual, mathematically precise notation for capturing system requirements as conditional and partial scenarios. We show how TMSCs may be used to formalize two different requirements modeling methodologies. The first approach combines prescriptive (\"do this\") and constraint-based (\"don't do that\") requirements within a single specification; it is useful for composing localized subsystem requirements with global system ones. The second approach supports layered specifications in which partial descriptions of requirements may be elaborated on in a succession of steps; it is suitable for the incremental development of complex behavior in which \"error\" scenarios are \"layered on top of\" normative ones. Both methodologies derive their formal robustness from the notion of semantic refinement for TMSCs, which is based on DeNicola's and Hennessy's must preorder. Case studies are used to illustrate the utility of the work.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130921809","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}
引用次数: 7
Relating practitioner needs to research activities 相关从业者需要研究活动
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232783
M. Feather, T. Menzies, J. R. Connelly
{"title":"Relating practitioner needs to research activities","authors":"M. Feather, T. Menzies, J. R. Connelly","doi":"10.1109/ICRE.2003.1232783","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232783","url":null,"abstract":"Many organizations look to research to yield new and improved products and practices. Connecting practitioners who have the need for research results to the researchers producing those results is important to guiding research and utilizing its results. Likewise, connecting researchers working on related topics to one another, and connecting practitioners with related needs to one another, is important to establishing communities of shared interests. We demonstrate an approach that helps identify fruitful such connections.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122343484","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
Requirements engineering in practice: making the business case for requirements engineering 实践中的需求工程:为需求工程制作业务案例
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232779
N. Mead, N. Kameli
{"title":"Requirements engineering in practice: making the business case for requirements engineering","authors":"N. Mead, N. Kameli","doi":"10.1109/ICRE.2003.1232779","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232779","url":null,"abstract":"This panel addresses the question of how to make the business case for requirements engineering, a subject of interest to all requirements engineering practitioners and many researchers. The panel co-chairs and panelists are all either requirements engineering practitioners or consultants with a practical viewpoint. This session is intended to address the major issues associated with making the business case for requirements engineering, and to provide practitioners with the ammunition they need to effect change.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131029826","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}
引用次数: 9
Embracing requirements variety for e-Governments based on multiple product-lines frameworks 支持基于多个产品线框架的电子政务需求多样性
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232762
M. Aoyama, Kenichiro Watanabe, Yu Nishio, Y. Moriwaki
{"title":"Embracing requirements variety for e-Governments based on multiple product-lines frameworks","authors":"M. Aoyama, Kenichiro Watanabe, Yu Nishio, Y. Moriwaki","doi":"10.1109/ICRE.2003.1232762","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232762","url":null,"abstract":"We report our experience of product-line development for a wide variety of e-Government applications based on multilayered frameworks. The key contributions include the modeling a variety of requirements for e-Government applications, software architecture for multiple product-lines framework anticipating the variety, scenario-and-event-based patterns for composing the frameworks and components, and the statistical evaluation of the experience.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128869666","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
Specifying and analyzing early requirements: some experimental results 明确和分析早期需求:一些实验结果
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232742
A. Fuxman, Lin Liu, M. Pistore, Marco Roveri, J. Mylopoulos
{"title":"Specifying and analyzing early requirements: some experimental results","authors":"A. Fuxman, Lin Liu, M. Pistore, Marco Roveri, J. Mylopoulos","doi":"10.1109/ICRE.2003.1232742","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232742","url":null,"abstract":"Formal Tropos is a specification language for early requirements. It is based on concepts from an agent-oriented early requirement model framework (i/sup */) and extends them with a rich temporal specification language. We demonstrated through a small case study how model checking could be used to verify early requirements written in Formal Tropos. We address issues of methodology and scalability for our earlier proposal. In particular, we propose guidelines for producing a Formal Tropos specification from an i/sup */ diagram and for deciding what model checking technique to use when a particular formal property is to be validated. We also evaluate the scope and scalability of our proposal using a tool, the T-Tool, that maps Formal Tropos specifications to a language that can be handled by NUSMV, a state-of-the-art model checker. Our experiments are based on a course management case study.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124351336","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}
引用次数: 44
An approach to visualise and reconcile use case descriptions from multiple viewpoints 一种从多个视点可视化和协调用例描述的方法
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232792
D. Richards, A. Fure, Oscar Aguilera
{"title":"An approach to visualise and reconcile use case descriptions from multiple viewpoints","authors":"D. Richards, A. Fure, Oscar Aguilera","doi":"10.1109/ICRE.2003.1232792","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232792","url":null,"abstract":"The Unified Modelling Language (UML) is a visual approach to the analysis and design of object-oriented computer systems. However, when it comes to specifying requirements through use case descriptions we see two weaknesses in the current approach. The descriptions are textual (the success and acceptance of UML is largely due to its visual nature) and the group process for acquiring descriptions can result in a small number of stakeholders having their views represented. To address these issues the RECOCASE methodology captures use case descriptions from multiple viewpoints and automatically generates a visualisation of the individual and shared viewpoints to assist identification and resolution of conflicts. We briefly describe the approach and results from various initial evaluation studies.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"72 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123311433","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}
引用次数: 5
Goal-oriented idea generation method for requirements elicitation 以目标为导向的需求激发方法
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232787
K. Oshiro, Kenji Watahiki, M. Saeki
{"title":"Goal-oriented idea generation method for requirements elicitation","authors":"K. Oshiro, Kenji Watahiki, M. Saeki","doi":"10.1109/ICRE.2003.1232787","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232787","url":null,"abstract":"We present an extended version of goal-oriented analysis methods where an idea generation method is combined to reinforce the support of the step for identifying subgoals by a team of stakeholders. To assess our method, experimental results are also discussed.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122633490","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}
引用次数: 35
Elicitation technique selection: how do experts do it? 启发式技术选择:专家是怎么做的?
Proceedings. 11th IEEE International Requirements Engineering Conference, 2003. Pub Date : 2003-09-08 DOI: 10.1109/ICRE.2003.1232748
A. Hickey, A. Davis
{"title":"Elicitation technique selection: how do experts do it?","authors":"A. Hickey, A. Davis","doi":"10.1109/ICRE.2003.1232748","DOIUrl":"https://doi.org/10.1109/ICRE.2003.1232748","url":null,"abstract":"Requirements elicitation techniques are methods used by analysts to determine the needs of customers and users, so that systems can be built with a high probability of satisfying those needs. Analysts with extensive experience seem to be more successful than less experienced analysts in uncovering the user needs. Less experienced analysts often select a technique based on one of two reasons: (a) it is the only one they know, or (b) they think that a technique that worked well last time must surely be appropriate this time. We present the results of in-depth interviews with some of the world's most experienced analysts. These results demonstrate how they select elicitation techniques based on a variety of situational assessments.","PeriodicalId":243621,"journal":{"name":"Proceedings. 11th IEEE International Requirements Engineering Conference, 2003.","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129324939","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}
引用次数: 241
首页 上一页 下一页 尾页
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学术文献互助群
群 号：481959085
Book学术官方微信