Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324844
Lewis Johnson, S. Greenspan, J. Lee, G. Fischer, C. Potts
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324831
A. Ohnishi, K. Agusa
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324841
W. Rzepka, J. Sidoran, D. White
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324851
Julio Cesar Sampaio do Prado Leite, Ana Paula M. Franco
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).<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324834
M. Feather
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324823
M. Ryan
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324822
J. Goguen, C. Linde
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324839
E. Yu
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324846
Eiji Kuwana, J. Herbsleb
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.<>
{"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}
Pub Date : 1993-01-04DOI: 10.1109/ISRE.1993.324848
S. Greenspan, M. Feblowitz
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.<>
{"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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：