首页 > 最新文献

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

英文 中文
Modeling organizations for information systems requirements engineering 信息系统需求工程的组织建模
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}
引用次数: 279
Techniques for requirements elicitation 需求引出技术
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}
引用次数: 588
Representing knowledge in requirements engineering: an empirical study of what software engineers need to know 在需求工程中表示知识:对软件工程师需要知道什么的实证研究
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}
引用次数: 18
Domain modelling with hierarchies of alternative viewpoints 具有可选视点层次结构的领域建模
S. Easterbrook
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.<>
它展示了如何在需求工程中使用领域建模来揭示参与者使用的概念模型,并将这些模型彼此关联起来。人工智能中使用的现有启发技术采用了纯粹的认知立场,因为它们模拟了一个单一的问题-认知立场,而忽略了社会和组织背景。描述了在单个领域模型中表示可选的、相互冲突的观点的框架。该框架基于视点描述的层次结构的开发,其中层次结构的较低级别包含冲突。层次结构可以以多种方式查看,并允许参与者了解彼此的观点。该框架由一组用于开发和操作这些层次结构的工具支持。
{"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:需求工程工具
Thomas J. Smith
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.<>
一个超文本系统,READS,被设计用来支持需求发现、分析、分解、分配、跟踪和报告的关键需求工程活动。通过专门为系统工程师设计的用户界面,READS促进了类型化超文本网络映射到高速关系数据库服务器上的构建、浏览和维护。READS是不断发展的Paramax系统开发环境的一个组成部分,其目标包括需求工程过程的规范和支持它所必需的工具套件。read和使用图片的软件之间的接口已经被开发出来测试这个概念,并且在许多Paramax程序中被积极使用。
{"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 定义交互需求
M. Harrison, P. Barnard
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.<>
涉及系统可用性的需求可以是交互的属性,而不仅仅是系统的属性。这个命题是通过四个例子来证明的。作者建议,可以使用CSP(通信顺序过程)之类的符号来提供考虑不同建模方法的框架。考虑了与多窗口系统、上行和使用系统以及动态系统(如发电站)相关的交互需求。它展示了模型如何提供不同的表示,来自人机交互不同学科的建议可以应用于这些表示。
{"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 任务和社会互动:需求工程行为的自然分析的相关性
P. Luff, M. Jirotka, C. Heath, D. Greatbatch
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.<>
需求引出的方法强调了其引出和表示的技术。在这些方法中所体现的任务概念往往是模糊的或隐含的,并且通常以个人主义的术语为特征。作者从经验材料中揭示了任务的社会和协作性质,这在参与式设计或试图引出活动的多种观点时也被忽视了。探索活动的社会互动本质会对技术设计产生一些根本性的影响。利用对现实世界环境的人种学研究,并对参与者的相互作用进行详细分析的方法,可能对需求方法的发展做出重要贡献。
{"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 自然语言在需求工程中的作用
K. Ryan
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.<>
自然语言处理在需求工程过程中的潜在作用在过去被夸大了,这可能是由于对需求工程过程本身的根本误解。由于更现实的目标可能会导致未来更少的失望,因此我们努力确定一些可以有效应用自然语言处理的阶段和任务。建议需求的确认必须保持一个非正式的、社会化的过程。
{"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 在缺陷驱动的需求工程中使用场景
John S. Anderson, Brian Durney
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.<>
描述了生成和验证规范的过程,以及支持该方法的自动化工具。流程的输入是一组客户目标,表示为状态之间的转换。这些转换分为两类:应该支持的转换和应该阻止的转换。输出是目标工件的规范,表示为一组功能。有效的规范是一组工件功能,可用于实现所有期望的转换,但不能用于实现任何不希望的转换。自动化系统用于对场景(操作序列)进行推理,以生成和评估规范。场景被用来识别缺失的功能,这些功能可以使工件用户实现他们的目标,并确定一个特定的功能集是否允许被禁止的转换。
{"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 分析安全关键型嵌入式系统中的软件需求错误
R. Lutz
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.<>
分析了安全关键型嵌入式系统中与安全相关的软件错误的根本原因。结果表明,与那些产生与安全无关的软件错误相比,被识别为对系统有潜在危险的软件错误往往是由不同的错误机制产生的。与安全有关的软件错误最常见的原因是:文档化的需求规格与系统正确运作所需的需求之间存在差异;以及对软件与系统其他部分的接口的误解。这些结果用于识别可以防止需求错误的方法。目标是减少与安全相关的软件错误,并提高复杂嵌入式系统的安全性。
{"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
期刊
[1993] Proceedings of the IEEE International Symposium on Requirements Engineering
全部 Acc. Chem. Res. ACS Applied Bio Materials ACS Appl. Electron. Mater. ACS Appl. Energy Mater. ACS Appl. Mater. Interfaces ACS Appl. Nano Mater. ACS Appl. Polym. Mater. ACS BIOMATER-SCI ENG ACS Catal. ACS Cent. Sci. ACS Chem. Biol. ACS Chemical Health & Safety ACS Chem. Neurosci. ACS Comb. Sci. ACS Earth Space Chem. ACS Energy Lett. ACS Infect. Dis. ACS Macro Lett. ACS Mater. Lett. ACS Med. Chem. Lett. ACS Nano ACS Omega ACS Photonics ACS Sens. ACS Sustainable Chem. Eng. ACS Synth. Biol. Anal. Chem. BIOCHEMISTRY-US Bioconjugate Chem. BIOMACROMOLECULES Chem. Res. Toxicol. Chem. Rev. Chem. Mater. CRYST GROWTH DES ENERG FUEL Environ. Sci. Technol. Environ. Sci. Technol. Lett. Eur. J. Inorg. Chem. IND ENG CHEM RES Inorg. Chem. J. Agric. Food. Chem. J. Chem. Eng. Data J. Chem. Educ. J. Chem. Inf. Model. J. Chem. Theory Comput. J. Med. Chem. J. Nat. Prod. J PROTEOME RES J. Am. Chem. Soc. LANGMUIR MACROMOLECULES Mol. Pharmaceutics Nano Lett. Org. Lett. ORG PROCESS RES DEV ORGANOMETALLICS J. Org. Chem. J. Phys. Chem. J. Phys. Chem. A J. Phys. Chem. B J. Phys. Chem. C J. Phys. Chem. Lett. Analyst Anal. Methods Biomater. Sci. Catal. Sci. Technol. Chem. Commun. Chem. Soc. Rev. CHEM EDUC RES PRACT CRYSTENGCOMM Dalton Trans. Energy Environ. Sci. ENVIRON SCI-NANO ENVIRON SCI-PROC IMP ENVIRON SCI-WAT RES Faraday Discuss. Food Funct. Green Chem. Inorg. Chem. Front. Integr. Biol. J. Anal. At. Spectrom. J. Mater. Chem. A J. Mater. Chem. B J. Mater. Chem. C Lab Chip Mater. Chem. Front. Mater. Horiz. MEDCHEMCOMM Metallomics Mol. Biosyst. Mol. Syst. Des. Eng. Nanoscale Nanoscale Horiz. Nat. Prod. Rep. New J. Chem. Org. Biomol. Chem. Org. Chem. Front. PHOTOCH PHOTOBIO SCI PCCP Polym. Chem.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
0
微信
客服QQ
Book学术公众号 扫码关注我们
反馈
×
意见反馈
请填写您的意见或建议
请填写您的手机或邮箱
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
Book学术官方微信
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术
文献互助 智能选刊 最新文献 互助须知 联系我们:info@booksci.cn
Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。
Copyright © 2023 Book学术 All rights reserved.
ghs 京公网安备 11010802042870号 京ICP备2023020795号-1