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

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

筛选
英文 中文
Recording requirements assumptions and rationale 记录需求假设和基本原理
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324844
Lewis Johnson, S. Greenspan, J. Lee, G. Fischer, C. Potts
{"title":"Recording requirements assumptions and rationale","authors":"Lewis Johnson, S. Greenspan, J. Lee, G. Fischer, C. Potts","doi":"10.1109/ISRE.1993.324844","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324844","url":null,"abstract":"A discussion on recording requirements assumptions and rationale is summarized. Among the topics discussed by the participants are: incrementality in rational management; grounding argumentations in construction; architecture for integrated design environments; requirements definition in design; representation of rationale; rationale management systems; and incremental formalization of rationale.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"87 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":"126176906","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
CARD: a software requirements definition environment CARD:软件需求定义环境
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324831
A. Ohnishi, K. Agusa
{"title":"CARD: a software requirements definition environment","authors":"A. Ohnishi, K. Agusa","doi":"10.1109/ISRE.1993.324831","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324831","url":null,"abstract":"Computer-aided requirements definition methods/environment are presented. A composite requirements model (requirements frame) is proposed, and several supporting methods of software requirements definition based on the model are developed. They are: analysis of requirements; describing requirements; verification of an SRS (software requirements specification); SRS execution; and software preliminary design. With these methods, it is possible to obtain an SRS of good quality (correctness, testability, traceability, feasibility, and usability). The authors have been developing an environment of requirements definition, named CARD, by using these methods. They present some examples of experimental uses of CARD.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"1 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":"124376278","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 technologies at Rome Laboratory 要求罗马实验室的工程技术
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324841
W. Rzepka, J. Sidoran, D. White
{"title":"Requirements engineering technologies at Rome Laboratory","authors":"W. Rzepka, J. Sidoran, D. White","doi":"10.1109/ISRE.1993.324841","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324841","url":null,"abstract":"The program of research and development of requirements engineering technologies at Rome Laboratory since the early 1980s is described. Research is based on a process model of requirements engineering, and implementation of this model using conventional technologies. R&D activities have led to the enhancement of a requirements analysis tool and the development of two requirements validation tools based on rapid prototyping. Ongoing work is integrating these three tools into a requirements engineering workstation. Other research uses artificial intelligence to creat an alternative software development paradigm called the knowledge-based software assistant. These efforts are described, together with their impact on future plans for evolutionary development of the workstation environment.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"18 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":"114403644","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
A strategy for conceptual model acquisition 概念模型习得策略
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324851
Julio Cesar Sampaio do Prado Leite, Ana Paula M. Franco
{"title":"A strategy for conceptual model acquisition","authors":"Julio Cesar Sampaio do Prado Leite, Ana Paula M. Franco","doi":"10.1109/ISRE.1993.324851","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324851","url":null,"abstract":"A strategy for conceptual model acquisition is proposed. Knowledge acquisition is performed with a simple structure, i.e., the lexicon. Using the lexicon and an AI-based approach, a conceptual model is derived. The approach assists in the construction of a first cut version of the conceptual model, which should undergo a validation process. A prototype is built using an object-oriented AI shell. The system is tested with a library example (a 50 entries lexicon).<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"47 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":"125685329","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}
引用次数: 171
Requirements reconnoitring at the juncture of domain and instance 要求在领域和实例的结合处进行侦察
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324834
M. Feather
{"title":"Requirements reconnoitring at the juncture of domain and instance","authors":"M. Feather","doi":"10.1109/ISRE.1993.324834","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324834","url":null,"abstract":"The ability to rapidly reconnoitre requirements, i.e., construct, critique, contrast and complete a system's requirements, necessitates dealing with the inherent nature of requirements (their incompleteness, inconsistency, ambiguity, etc.). It is shown how such explorations can be sustained by linking a network of domain requirements with instantiations of those requirements for a particular instance of that domain.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"1 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":"128897181","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
Defaults in specifications 规格中的默认值
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324823
M. Ryan
{"title":"Defaults in specifications","authors":"M. Ryan","doi":"10.1109/ISRE.1993.324823","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324823","url":null,"abstract":"A formalism is motivated and described for representing defaults in specifications. The formalism is called ordered theory presentations. The ability to represent defaults narrows the gap between a customer's initial requirements and a formal specification, and supports reuse on both a small and a large scale. Issues are illustrated throughout reference to the lift example. The application of the formalism to specification revision is considered.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"165 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":"122841775","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
Techniques for requirements elicitation 需求引出技术
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324822
J. Goguen, C. Linde
{"title":"Techniques for requirements elicitation","authors":"J. Goguen, C. Linde","doi":"10.1109/ISRE.1993.324822","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324822","url":null,"abstract":"The authors survey and evaluate techniques for eliciting requirements of computer-based systems, paying particular attention to dealing with social issues. The methods surveyed include introspection, interviews, questionnaires, and protocol, conversation, interaction, and discourse analyses. The last three techniques grew out of ethnomethodology and sociolinguistics. They can elicit tacit knowledge by observing actual interactions in the workplace, and can also be applied to the system development process itself.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"2 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":"134396696","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}
引用次数: 588
Modeling organizations for information systems requirements engineering 信息系统需求工程的组织建模
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324839
E. Yu
{"title":"Modeling organizations for information systems requirements engineering","authors":"E. Yu","doi":"10.1109/ISRE.1993.324839","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324839","url":null,"abstract":"In attempting to understand information system environments during requirements engineering, it is often helpful to have an understanding of the 'whys' as well as the 'whats' about the environment. A natural way to answer why questions is by tracing them to goals. In an organizational environment, however, the whys do not originate from a single set of given goals. Organizational agents depend on each other for goals to be achieved, tasks to be performed, and resources to be furnished. A requirements model that captures knowledge about an organizational environment can be enriched by including the network of dependency relationships among agents. A set of intentional operators for modeling dependencies among agents is proposed, and a preliminary axiomatic characterization is presented.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"2017 10","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1993-01-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132679368","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}
引用次数: 279
Representing knowledge in requirements engineering: an empirical study of what software engineers need to know 在需求工程中表示知识:对软件工程师需要知道什么的实证研究
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324846
Eiji Kuwana, J. Herbsleb
{"title":"Representing knowledge in requirements engineering: an empirical study of what software engineers need to know","authors":"Eiji Kuwana, J. Herbsleb","doi":"10.1109/ISRE.1993.324846","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324846","url":null,"abstract":"The selection and structuring of requirements engineering data necessitates an empirical prediction about the future utility of the selected data and of the retrieval paths available in the structure. In order to investigate these predictions, the questions asked by software engineers at software requirements and preliminary design meetings are analyzed. It is assumed that the kinds of information elicited by these questions are good indicators of what data would be most useful. Results lend support to systems that focus on the developing artifact itself, and indicate the importance of user scenarios.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"287 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":"133489318","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}
引用次数: 18
Requirements engineering using the SOS paradigm 使用SOS范例的需求工程
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering Pub Date : 1993-01-04 DOI: 10.1109/ISRE.1993.324848
S. Greenspan, M. Feblowitz
{"title":"Requirements engineering using the SOS paradigm","authors":"S. Greenspan, M. Feblowitz","doi":"10.1109/ISRE.1993.324848","DOIUrl":"https://doi.org/10.1109/ISRE.1993.324848","url":null,"abstract":"Service-providing enterprises (SPEs) employ systems composed of people, computer hardware and software, and other mechanisms to perform service actions in the customer's environment as well as to carry out internal operations as part of the SPE infrastructure. These systems are termed service-oriented systems (SOSs). The authors address the question of how to reformulate and simplify the requirements engineering process by adopting an SOS paradigm. It is shown that there are advantages to viewing many large, complex systems within the SOS paradigm. This is due to the increasingly service-oriented economy as well as the increased demands for a paradigm for integration of and interoperability between systems across multiple enterprises. The domain of SOSs is described, together with the technique by which SPE forms the context for requirements modeling and analysis. A requirements modeling framework consisting of several viewpoints and their interrelationships is outlined in order to define the SOS requirements analysis task. The context in which the defined requirements modeling task will be useful is explained.<<ETX>>","PeriodicalId":375368,"journal":{"name":"[1993] Proceedings of the IEEE International Symposium on Requirements Engineering","volume":"172 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":"122280236","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}
引用次数: 32
下一页 尾页
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学术官方微信