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

Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)最新文献

筛选
英文 中文
Enhancing soft systems analysis with formal modelling 用形式化建模加强软系统分析
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512558
D. Bustard, P. Lundy
{"title":"Enhancing soft systems analysis with formal modelling","authors":"D. Bustard, P. Lundy","doi":"10.1109/ISRE.1995.512558","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512558","url":null,"abstract":"Broadly, the paper argues for a soft systems approach to initial requirements definition and for the use of formal techniques as a means of strengthening that approach. In detail, the paper looks specifically at the means and implications of combining Checkland and Wilson's Soft Systems Methodology (SSM) with formal specification in LOTOS (P.B. Checkland, 1981; B. Wilson, 1990). Formal descriptions give precise meaning to the largely informal SSM models and help establish a bridge to traditional computing oriented analysis techniques. The use of tools to support the development, linking and maintenance of SSM and LOTOS models is also examined. The discussion is illustrated with a simple book ordering data processing example. Overall, this work is part of a larger research effort into the development of RACE, a new requirements engineering method for software.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114442036","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}
引用次数: 24
Presenting ethnography in the requirements process 在需求过程中呈现人种志
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512543
J. Hughes, J. O'Brien, T. Rodden, M. Rouncefield, I. Sommerville
{"title":"Presenting ethnography in the requirements process","authors":"J. Hughes, J. O'Brien, T. Rodden, M. Rouncefield, I. Sommerville","doi":"10.1109/ISRE.1995.512543","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512543","url":null,"abstract":"We argue that the industrial development of interactive systems has to recognise the social dimension of work if these systems are to fully meet the real needs of their users. Under current approaches this depends on whether an individual requirements engineer implicitly applies a user centred approach, recognises the importance of cooperation and is sufficiently sympathetic and intuitive to understand the work and reflect this in the system requirements. We wish to move beyond this by allowing for the provision of a more systematic incorporation of the social dimensions of work. To this end we focus on developing a novel approach to the presentation of ethnographic material. Our approach is based on the use of number of viewpoints and is embodied within a general hypertext tool.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123873852","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}
引用次数: 119
Requirements monitoring in dynamic environments 动态环境中的需求监控
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512555
S. Fickas, M. Feather
{"title":"Requirements monitoring in dynamic environments","authors":"S. Fickas, M. Feather","doi":"10.1109/ISRE.1995.512555","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512555","url":null,"abstract":"We propose requirements monitoring to aid in the maintenance of systems that reside in dynamic environments. By requirements monitoring we mean the insertion of code into a running system to gather information from which it can he determined whether, and to what degree, that running system is meeting its requirements. Monitoring is a commonly applied technique in support of performance tuning, but the focus therein is primarily on computational performance requirements in short runs of systems. We wish to address systems that operate in a long lived, ongoing fashion in nonscientific enterprise applications. We argue that the results of requirements monitoring can be of benefit to the designers, maintainers and users of a system-alerting them when the system is being used in an environment for which it was not designed, and giving them the information they need to direct their redesign of the system. Studies of two commercial systems are used to illustrate and justify our claims.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125427658","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}
引用次数: 349
Using non-functional requirements to systematically support change 使用非功能需求系统地支持变更
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512554
L. Chung, B. Nixon, E. Yu
{"title":"Using non-functional requirements to systematically support change","authors":"L. Chung, B. Nixon, E. Yu","doi":"10.1109/ISRE.1995.512554","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512554","url":null,"abstract":"Non-functional requirements (or quality requirements, NFRs) such as confidentiality, performance and timeliness are often crucial to a software system. Our NFR-framework treats NFRs as goals to be achieved during the process of system development. Throughout the process, goals are decomposed, design tradeoffs are analysed, design decisions are rationalised, and goal achievement is evaluated. This paper shows how a historical record of the treatment of NFRs during the development process can also serve to systematically support evolution of the software system. We treat changes in terms: of (i) adding or modifying NFRs, or changing their importance, and (ii) changes in design decisions or design rationale. This incremental approach is illustrated by a study of changes in banking policies at Barclays Bank.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115363264","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}
引用次数: 99
Measuring the success of requirements engineering processes 衡量需求工程过程的成功
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512562
K. Emam, N. Madhavji
{"title":"Measuring the success of requirements engineering processes","authors":"K. Emam, N. Madhavji","doi":"10.1109/ISRE.1995.512562","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512562","url":null,"abstract":"Central to understanding and improving requirements engineering processes is the ability to measure requirements engineering success. The paper describes a research study whose objective was to develop an instrument to measure the success of requirements engineering processes. The instrument developed consists of 32 indicators that cover the two most important dimensions of requirements engineering success. These two dimensions were identified during the study to be: quality of requirements engineering products and quality of requirements engineering service. Evidence is presented demonstrating that the instrument has desirable psychometric properties, such as high reliability and validity.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128475656","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}
引用次数: 71
Managing inconsistencies in an evolving specification 管理不断发展的规范中的不一致性
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512545
S. Easterbrook, B. Nuseibeh
{"title":"Managing inconsistencies in an evolving specification","authors":"S. Easterbrook, B. Nuseibeh","doi":"10.1109/ISRE.1995.512545","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512545","url":null,"abstract":"In an evolving specification, considerable effort is spent handling recurrent inconsistencies. Detecting and resolving inconsistencies is only part of the problem: a resolved inconsistency might not stay resolved. Frameworks in which inconsistency is tolerated help by allowing resolution to be delayed. However, evolution of a specification may affect both resolved and unresolved inconsistencies. We address these problems by explicitly recording relationships between partial specifications (ViewPoints), representing both resolved and unresolved inconsistencies. We assume that ViewPoints will often be inconsistent with one another, and we ensure that a complete work record is kept, detailing any inconsistencies that have been detected, and what actions, if any, have been taken to resolve them. The work record is then used to reason about the effects of subsequent changes to ViewPoints, without constraining the development process.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122971511","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}
引用次数: 111
Trading legibility against implementability in requirement specifications: an experimental assessment 在需求规范中，易读性与可实现性之间的交易:实验性评估
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512560
J. Jacquot, A. Valdenaire
{"title":"Trading legibility against implementability in requirement specifications: an experimental assessment","authors":"J. Jacquot, A. Valdenaire","doi":"10.1109/ISRE.1995.512560","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512560","url":null,"abstract":"Ideally, a requirement specification language should lead to highly readable text while being implementable. Unfortunately, current technology does not offer good support for features which enhance legibility such as elisions, flexible syntaxes, and more generally incomplete texts. GLIDER's designers have deliberately included those features in the language, thus forbidding some texts to be processed. This study is a rigorous assessment, both qualitative and quantitative, of this decision on the first step of processing: the parsing of terms.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"185 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128690393","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
Problems and requirements [software development] 问题与需求【软件开发】
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512540
M. Jackson
{"title":"Problems and requirements [software development]","authors":"M. Jackson","doi":"10.1109/ISRE.1995.512540","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512540","url":null,"abstract":"Requirements, specifications, and programs are distinguished by the phenomena they concern. Requirements are about phenomena of the application domain and describe properties of the domain that the machine is required to bring about and maintain. The application domain is informal, and serious difficulties are encountered both in describing it and in reasoning about it. Requirements are complex, so they must be decomposed. Decomposition is based on the recognition of simple subproblems, characterised by problem frames.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"46 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129577595","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}
引用次数: 29
Specification of customer and user requirements in industrial control system procurement projects 工业控制系统采购项目中客户和用户要求的规范
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512548
P. Forsgren, T. Rahkonen
{"title":"Specification of customer and user requirements in industrial control system procurement projects","authors":"P. Forsgren, T. Rahkonen","doi":"10.1109/ISRE.1995.512548","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512548","url":null,"abstract":"An appropriate industrial control system is a prerequisite for being competitive in the process, manufacturing, and power industries. As for most software systems, the technical possibilities provided by industrial control systems have grown dramatically during the last ten years. However, the techniques to specify customer and user requirements in terms of functionality, performance, etc. are not very well developed. This often leads to systems which do not fulfil user needs and customer expectations, and/or which are unnecessarily expensive. Guidelines for specification and follow-up of requirements on industrial control systems are given. The guidelines are based on an extensive study of experiences from a number of major users and vendors of these kinds of computer systems. They should be useful for customers and consultants working in procurement projects.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131769595","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}
引用次数: 14
An evaluation of inquiry-based requirements analysis for an Internet service 对Internet服务基于查询的需求分析的评估
Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95) Pub Date : 1995-03-27 DOI: 10.1109/ISRE.1995.512559
C. Potts, Kenji Takahashi, Jeffrey D. Smith, Kenji Ota
{"title":"An evaluation of inquiry-based requirements analysis for an Internet service","authors":"C. Potts, Kenji Takahashi, Jeffrey D. Smith, Kenji Ota","doi":"10.1109/ISRE.1995.512559","DOIUrl":"https://doi.org/10.1109/ISRE.1995.512559","url":null,"abstract":"The inquiry cycle is a generic process model for conducting requirements elaboration. It consists of three activities: requirements expression, discussion and commitment. The paper describes an evaluation of the inquiry cycle model and a support tool, Tuiqiao, in the requirements analysis phase of a real project, a proposed commercial consumer information service based on Internet. The extent to which the discussion of requirements follows the inquiry cycle is analyzed using quantitative measures and qualitative classification schemes, and effects of adopting an inquiry-based strategy on patterns of collaboration among the team members are analyzed. The project gradually shifted from synchronous meetings to asynchronous and individual work patterns. A shift also occurred from an emphasis on discussion to an emphasis on commitment and expression. The requirements elaboration process was consistent with most aspects of the inquiry cycle, but analysts did not record reasons for requirements. The paper concludes with some recommendations for tool support.","PeriodicalId":354711,"journal":{"name":"Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1995-03-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117168022","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}
引用次数: 30
首页 上一页 下一页 尾页
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学术官方微信