2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)最新文献_第2页

Framework for Analysis of Multi-party Collaboration 多方协作分析框架

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00013

Yuliyan V. Maksimov, Samuel Fricker

引用次数: 1

CrowdRE: Achievements, Opportunities and Pitfalls CrowdRE:成就、机遇和陷阱

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00036

M. Glinz

引用次数: 11

Examination of Evaluation Method on Human Error During Work by Bioinstrumentation 生物仪器工作中人为误差评定方法的检验

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00019

Taro Kishimoto, Reiji Yoshida, Y. Tobe, Midori Sugaya

{"title":"Examination of Evaluation Method on Human Error During Work by Bioinstrumentation","authors":"Taro Kishimoto, Reiji Yoshida, Y. Tobe, Midori Sugaya","doi":"10.1109/REW.2019.00019","DOIUrl":"https://doi.org/10.1109/REW.2019.00019","url":null,"abstract":"In recent years, mechanisms to detect and correct human errors by AI and efforts to automate business operations have been advancing. Human errors are expected to be fatal in the future, and they need to be predicted and prevented in advance. Researches has also been proposed to analyze human errors from a model of human behavior and electroencephalograms, but no other useful biological information is considered. Therefore, in this research, we thought that prediction and detection could be performed by adding autonomic nerves that can be acquired from heart rate as biological information and observing patterns before and after mistakes. In order to realize it, we measured the pulse and EEG of the worker who is carrying out the computational task, developed an experimental system to investigate the question and timing of the task, assumed that it that it is possible to evaluate the electroencephalogram and pulse at the time of human error occurrence by the computational task. In addition, a questionnaire based on NASA Task Load Index was conducted to enable analysis using subjective assessment of the tasks. Through the evaluation experiments, it was suggested that it is possible to detect the occurrence of human error in the group that answered that emphasized a particular measure in the questionnaire.","PeriodicalId":166923,"journal":{"name":"2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)","volume":"226 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114588521","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}

引用次数: 2

[Title page i] [标题页i]

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/rew.2019.00001

引用次数: 0

Renovating Requirements Engineering: First Thoughts to Shape Requirements Engineering as a Profession 更新需求工程:将需求工程塑造为一门专业的第一个想法

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00008

Y. D. Pham, Lloyd Montgomery, W. Maalej

引用次数: 0

Towards Automated Logging for Forensic-Ready Software Systems 面向取证软件系统的自动日志记录

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00033

Fanny Rivera-Ortiz, L. Pasquale

{"title":"Towards Automated Logging for Forensic-Ready Software Systems","authors":"Fanny Rivera-Ortiz, L. Pasquale","doi":"10.1109/REW.2019.00033","DOIUrl":"https://doi.org/10.1109/REW.2019.00033","url":null,"abstract":"Security incidents can arise from the misuse of existing software systems. Thus, appropriate logging mechanisms should be implemented at the software level to support the detection and investigation of security incidents. However, due to insufficient logging, security incidents often go undetected for long periods. Moreover, even after a security incident is detected, there is not enough information to fully reconstruct how an incident occurred. Insufficient logging may be due to the limited security expertise of software developers, who may not know what are the most critical security incidents. Also, for large software systems and a multitude of potential misuse scenarios, it is cumbersome to identify when and what logging instructions should be implemented. In this paper, we propose a preliminary idea to automate the development of \"forensic-ready\" software systems. These systems can log a minimum amount of relevant data that can be used to detect and investigate potential security incidents. Our approach allows a security engineer to elicit a set of potential software misuse scenarios, expressed as annotated sequence diagrams. These diagrams are then used—together with a control flow graph of the software system— to identify the exact location where logging instructions should be placed and the information they should log. Finally, logging instructions can be injected into designated software system locations using Aspect-Oriented Programming. We illustrate our approach using an example of software misuse in a human resources management software system.","PeriodicalId":166923,"journal":{"name":"2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133221740","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

Formal Requirements and Constraints Modelling in FORM-L for the Engineering of Complex Socio-Technical Systems 复杂社会技术系统工程的FORM-L形式需求和约束建模

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00027

Thuy Nguyen

{"title":"Formal Requirements and Constraints Modelling in FORM-L for the Engineering of Complex Socio-Technical Systems","authors":"Thuy Nguyen","doi":"10.1109/REW.2019.00027","DOIUrl":"https://doi.org/10.1109/REW.2019.00027","url":null,"abstract":"Socio-technical systems combine behaviour and actions from human operators, physical processes (e.g., thermodynamic or electromagnetism), computing and data communication. One often uses expression \"cyber-physical system\", or \"systems of systems\" in the case of systems composed of socio-technical systems of their own that each have different stakeholders, owners and lifecycles, but that must cooperate in order to achieve what none can achieve independently. Complex systems are systems that require the cooperation and coordination of multiple individuals, multiple teams, multiple engineering disciplines and multiple stakeholders to be fully understood in all necessary aspects. This coordination must be ensured all along the lifetime of the system, from scoping studies that aim at determining the nature of the system needed, to deconstruction. For systems such as power plants or passenger aircrafts, this lifetime may cover several decades, during which the system needs to be operated, maintained, retrofitted and upgraded, by multiple successive generations. EDF has developed a FOrmal Requirements Modelling Language (FORM-L) to help address this issue for what concerns dynamic phenomena. This paper provides a brief introduction to FORM-L and its underlying methodology, illustrated with short examples.","PeriodicalId":166923,"journal":{"name":"2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127976136","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

Process Mining for Cloud-Based Applications: A Systematic Literature Review 基于云的应用程序的过程挖掘:系统的文献综述

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00012

Najah Mary El-Gharib, Daniel Amyot

引用次数: 6

An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems 控制系统中自然语言与形式需求相结合的验证方法

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00025

M. Trakhtenbrot

{"title":"An Approach to Validation of Combined Natural Language and Formal Requirements for Control Systems","authors":"M. Trakhtenbrot","doi":"10.1109/REW.2019.00025","DOIUrl":"https://doi.org/10.1109/REW.2019.00025","url":null,"abstract":"The paper presents a novel approach to validation of behavioral requirements for control systems. A requirement is specified by a natural language pattern and its expression in Linear Temporal Logic (LTL). This way flexibility and understandability of natural language is combined with advantages of formalization that is a basis for various stages of system development, testing and verification. Still, validity of the requirements remains a major challenge. The paper considers application of mutation analysis for capturing of correct behavioral requirements. Generation and exploration of mutants supports a better understanding of requirements, The novelty of the approach is that the suggested mutations are semantic-based, as opposed to the more common syntax-based mutation analysis. A significant advantage of the approach is that it allows to focus only on plausible potential faults in understanding of the required system behavior, and to avoid generation of a vast amount of mutants that are irrelevant to the intended meaning of the requirements. Moreover, in many cases the effect of semantic-based mutations just can not be achieved by usual syntax-based mutations of LTL formulas associated with requirements. The approach is illustrated using a rail cross control example.","PeriodicalId":166923,"journal":{"name":"2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)","volume":"53 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126609240","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

Developers' Eyes on the Changes of Apps: An Exploratory Study on App Changelogs 开发者对应用变化的关注:基于应用变化日志的探索性研究

2019 IEEE 27th International Requirements Engineering Conference Workshops (REW) Pub Date : 2019-09-01 DOI: 10.1109/REW.2019.00042

Chong Wang, Ju Li, Peng Liang, M. Daneva, M. V. Sinderen

{"title":"Developers' Eyes on the Changes of Apps: An Exploratory Study on App Changelogs","authors":"Chong Wang, Ju Li, Peng Liang, M. Daneva, M. V. Sinderen","doi":"10.1109/REW.2019.00042","DOIUrl":"https://doi.org/10.1109/REW.2019.00042","url":null,"abstract":"Release planning for mobile apps has only recently become an area of active research. As a result, little is known about the types of requirements that app developers pay the most attention to when releasing an app. This research uses the changelogs of apps to shed light on this. We report the results of an exploratory study in which we analyzed the requirements that dominate the changes of apps, according to a set of 3000 changelogs collected from 120 apps from three categories in the Apple App Store: Travel, Social networking, and Books. We analyzed the changelogs in terms of functional and non-functional requirements, from a developers' perspective. Our results suggest that developers' releases are by far more concerned with non-functional requirements than with functional requirements. We also found that usability and maintainability are the most frequently mentioned non-functional requirements (NFRs) in the changelogs. Surprisingly, reliability requirements formed only a fraction of the total number of NFRs addressed in all changelogs of apps in the three selected App Store categories.","PeriodicalId":166923,"journal":{"name":"2019 IEEE 27th International Requirements Engineering Conference Workshops (REW)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2019-09-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128111438","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}

引用次数: 7