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

[1993] Proceedings of the IEEE International Symposium on Requirements Engineering最新文献

筛选
英文 中文
An incremental integration tool between requirements engineering and programming in the large 需求工程和编程之间的增量集成工具
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324832
M. Lefering
{"title":"An incremental integration tool between requirements engineering and programming in the large","authors":"M. Lefering","doi":"10.1109/ISRE.1993.324832","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324832","url":null,"abstract":"In the IPSEN research project at Aachen University in Germany, integration tools that integrate documents of different working areas have been developed. They execute a transformation algorithm and check the consistency incrementally by installing and maintaining links between those documents. A framework is introduced that allows the efficient realization of new integration tools. The functionality and architecture of such an integrator are described. It integrates a requirements engineering document and a programming in the large document that describe a software design in the IPSEN module interconnection language.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123993793","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
Requirements engineering in systems engineering practice 系统工程实践中的需求工程
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324859
S. White
{"title":"Requirements engineering in systems engineering practice","authors":"S. White","doi":"10.1109/ISRE.1993.324859","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324859","url":null,"abstract":"Advances in microprocessor and network technology led to the proliferation of complex systems with distributed processing and databases, internal communication systems, and heterogeneous components. The processing components can by themselves comprise a system or they may be embedded in a physical system. Both the encompassing system and the processing system are known as computer-based systems (CBS). Due to complex CBS dynamics and component interdependencies, current system engineering processes are inadequate. Problems with current practice are summarized, and a new solution is proposed.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"59 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121983644","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
Should we specify systems or domain? 我们应该指定系统还是领域?
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324833
D. Partridge, D. Garlan, D. Barstow, J. Kramer
{"title":"Should we specify systems or domain?","authors":"D. Partridge, D. Garlan, D. Barstow, J. Kramer","doi":"10.1109/ISRE.1993.324833","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324833","url":null,"abstract":"The question of specifying systems or domains is addressed. Among the issues discussed are: the requirements of first-class connectors for domain specifications; the use of application frameworks as domain specifications; the role of connectors in domain specifications; domain model specification; the question of what precisely is meant by a domain of the question of reuse; and the difficulty in producing sound domain specifications.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129708545","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}
引用次数: 3
Domain modelling with hierarchies of alternative viewpoints 具有可选视点层次结构的领域建模
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324835
S. Easterbrook
{"title":"Domain modelling with hierarchies of alternative viewpoints","authors":"S. Easterbrook","doi":"10.1109/ISRE.1993.324835","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324835","url":null,"abstract":"It is shown how domain modelling can be used within requirements engineering to reveal the conceptual models used by the participants, and relate these to one another. Existing elicitation techniques used in AI adopt a purely cognitive stance, in that they model a single problem-cognitive stance, and ignore the social and organizational context. A framework for representing alternative, conflicting viewpoints in a single domain model is described. The framework is based on the development of a hierarchy of viewpoint descriptions, where lower levels of the hierarchy contain the conflicts. The hierarchies can be viewed in a number of ways, and allow the participants to develop an understanding of each other's perspective. The framework is supported by a set of tools for developing and manipulating these hierarchies.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123985738","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}
引用次数: 76
READS: a requirements engineering tool READS:需求工程工具
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324830
Thomas J. Smith
{"title":"READS: a requirements engineering tool","authors":"Thomas J. Smith","doi":"10.1109/ISRE.1993.324830","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324830","url":null,"abstract":"A hypertext system, READS, designed to support the key requirements engineering activities of requirements discovery, analysis, decomposition, allocation, traceability and reporting is discussed. READS facilitates the construction, browsing, and maintenance of a typed hypertext network mapped onto a high-speed relational database server through a user interface designed specifically for the system engineer. READS is an integral part of an evolving Paramax system development environment whose goals include the specification of a requirements engineering process and the tool suite necessary to support it. An interface between READS and software using pictures has been developed to test this concept, and it is in active use in many Paramax programs.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129214469","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
On defining requirements for interaction 定义交互需求
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324837
M. Harrison, P. Barnard
{"title":"On defining requirements for interaction","authors":"M. Harrison, P. Barnard","doi":"10.1109/ISRE.1993.324837","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324837","url":null,"abstract":"Requirements that involve the usability of systems can be properties of interactions rather than systems alone. This proposition is demonstrated by means of four examples. The authors suggest that a notation like CSP (communicating sequential processes) may be used to provide a framework for considering different modeling approaches. Interaction requirements that relate to multiwindowed systems, walk up and use systems, and dynamic systems such as power stations are considered. It is shown how models provide different representations to which advice from the different disciplines of human computer interaction may be applied.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116195468","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
Tasks and social interaction: the relevance of naturalistic analyses of conduct for requirements engineering 任务和社会互动:需求工程行为的自然分析的相关性
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324818
P. Luff, M. Jirotka, C. Heath, D. Greatbatch
{"title":"Tasks and social interaction: the relevance of naturalistic analyses of conduct for requirements engineering","authors":"P. Luff, M. Jirotka, C. Heath, D. Greatbatch","doi":"10.1109/ISRE.1993.324818","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324818","url":null,"abstract":"Methods for requirements elicitation have emphasized techniques for their elicitation and representation. The conception of tasks embodied in these methods is often vague or left implicit and generally characterized in individualistic terms. The authors draw from empirical materials to reveal the social and collaborative nature of task that is also overlooked in participative design or in attempts to elicit multiple viewpoints of an activity. Exploring the socio-interactional nature of activities leads to some radical implications for the technological design. An approach that utilizes ethnographic studies of real-world settings with detailed analysis of interactions of the participants may make an important contribution to the development of requirements method.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"77 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124709639","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
The role of natural language in requirements engineering 自然语言在需求工程中的作用
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324852
K. Ryan
{"title":"The role of natural language in requirements engineering","authors":"K. Ryan","doi":"10.1109/ISRE.1993.324852","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324852","url":null,"abstract":"The potential role of natural language processing in the requirements engineering process has been overstated in the past, possibly due to fundamental misunderstandings of the requirements engineering process itself. Since more realistic ambitions are likely to lead to less disappointment in the future, an effort is made to identify some phases and tasks where natural language processing may usefully be applied. It is suggested that the validation of requirements must remain an informal, social process.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125762785","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}
引用次数: 204
Using scenarios in deficiency-driven requirements engineering 在缺陷驱动的需求工程中使用场景
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324824
John S. Anderson, Brian Durney
{"title":"Using scenarios in deficiency-driven requirements engineering","authors":"John S. Anderson, Brian Durney","doi":"10.1109/ISRE.1993.324824","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324824","url":null,"abstract":"A process is described for generating and validating specifications, together with an automated tool which supports this approach. The input to the process is a set of client objectives, expressed as transitions between states. These transitions fall into two classes: those which should be supported, and those which should be prevented. The output is a specification of a target artifact, expressed as a set of capabilities. A valid specification is a set of artifact capabilities that can be used to achieve all desired transitions but cannot be used to achieve any undesirable transitions. An automated system is used for reasoning about scenarios (sequences of actions) to generate and evaluate specifications. Scenarios are employed to identify missing capabilities that would enable artifact users to achieve their goals, and to determine whether a particular capability set will allow prohibited transitions.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"20 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124902300","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}
引用次数: 55
Analyzing software requirements errors in safety-critical, embedded systems 分析安全关键型嵌入式系统中的软件需求错误
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324825
R. Lutz
{"title":"Analyzing software requirements errors in safety-critical, embedded systems","authors":"R. Lutz","doi":"10.1109/ISRE.1993.324825","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324825","url":null,"abstract":"The root causes of safety-related software errors in safety-critical embedded systems are analyzed. The results show that software errors identified as potentially hazardous to the system tend to be produced by different error mechanisms than those that produce nonsafety-related software errors. Safety-related software errors are shown to arise most commonly from: discrepancies between the documented requirements specifications and the requirements needed for correct functioning of the system; and misunderstandings of the interface of the software with the rest of the system. These results are used to identify methods by which requirements errors can be prevented. The goal is to reduce safety-related software errors and to enhance the safety of complex, embedded systems.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131002082","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}
引用次数: 350
首页 上一页 下一页 尾页
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学术官方微信