Requirements engineering (RE) is an initial activity in the software engineering process that
involves many users. The involvement of various users in the RE process raises ambiguity …

Abstract Requirements Engineering Quality (REQ) has a large influence on the success of a
software project. A systematic literature review (SLR) is conducted to get complete …

Most of the requirements of embedded systems are written in natural language by users or
customers. When the size of the document is large, it is not easy for developers to …

As the gig economy continues to grow, behaviors of workers on gig service platforms have
an increasing impact on service satisfaction. For example, fatigue driving behaviors of …

Embedded systems are known for their high complexity and the time cost of manually
analyzing and modeling their requirement documents is significantly high. To shorten the …

Nowadays, large-scale software systems in many domains, such as smart cities, involve
multiple parties whose privacy policies may conflict with each other, and thus, data privacy …

Requirements-based testing is one of the most commonly used ways to ensure the
correctness of software, especially for embedded control software in safety-critical domains …

In this paper, we present Finite Quantified Linear Temporal Logic (FQLTL), a new formal
specification language which extends Linear Temporal Logic (LTL) with quantifiers over …

Requirements Engineering (RE) is a critical phase in the software development process that
generates requirements specifications from stakeholders' needs. Recently, deep learning …

Context: With the popularization of smart home devices, people rely more on automation
functions provided by smart home apps. This increases the attack surface for safety and …