Sabin C. Buraga^1,*, Daniel Amariei¹, Octavian Dospinescu²

CMC-Computers, Materials & Continua, Vol.70, No.3, pp. 5537-5550, 2022, DOI:10.32604/cmc.2022.021714

Abstract In the context of a proliferation of Database Management Systems (DBMSs), we have envisioned and produced an OWL 2 ontology able to provide a high-level machine-processable description of the DBMSs domain. This conceptualization aims to facilitate a proper execution of various software engineering processes and database-focused administration tasks. Also, it can be used to improve the decision-making process for determining/selecting the appropriate DBMS, subject to specific requirements. The proposed model describes the most important features and aspects regarding the DBMS domain, including the support for various paradigms (relational, graph-based, key-value, tree-like, etc.), query languages, platforms (servers), plus running environments (desktop,… More >

Sadia Ali¹, Yaser Hafeez¹, Muhammad Bilal², Saqib Saeed³, Kyung Sup Kwak^4,*

CMC-Computers, Materials & Continua, Vol.70, No.1, pp. 653-668, 2022, DOI:10.32604/cmc.2022.018779

Abstract Cyber-Physical Systems (CPS) comprise interactive computation, networking, and physical processes. The integrative environment of CPS enables the smart systems to be aware of the surrounding physical world. Smart systems, such as smart health care systems, smart homes, smart transportation, and smart cities, are made up of complex and dynamic CPS. The components integration development approach should be based on the divide and conquer theory. This way multiple interactive components can reduce the development complexity in CPS. As reusability enhances efficiency and consistency in CPS, encapsulation of component functionalities and a well-designed user interface is vital for the better end-user's Quality… More >

Qiang Zhi^1,*, Shuji Morisaki²

Computer Systems Science and Engineering, Vol.37, No.3, pp. 443-461, 2021, DOI:10.32604/csse.2021.015157

Abstract A software requirements specification (SRS) is a detailed description of a software system to be developed. This paper proposes and evaluates a lightweight review approach called value-oriented review (VOR) to detect defects in SRS. This approach comprises setting core values based on SRS and detecting the defects disturbing the core values. To evaluate the effectiveness of the proposed approach, we conducted a controlled experiment to investigate whether reviewers could identify and record the core values based on SRS and find defects disturbing the core values. Results of the evaluation with 56 software engineers showed that 91% of the reviewers identified… More >

Giuseppe Della Penna^1,∗, Sergio Orefice^2,†

Computer Systems Science and Engineering, Vol.34, No.6, pp. 325-338, 2019, DOI:10.32604/csse.2019.34.325

Abstract In this paper we present a qualitative spatial relation formalism capable to represent spatio-temporal knowledge. To this aim, we have added the notion of time within the formalisation of spatial relations in order to describe moving graphical objects. As a case study, we exploited this augmented formalism to support a qualitative specification of gestures, which are an increasingly relevant issue in the human-computer interaction field. The resulting technique provides gesture specification with a systematic and formal foundation. More >

Thamer A. Alrawashed^1,*, Ammar Almomani², Ahmad Althunibat¹, Abdelfatah Tamimi¹

CMES-Computer Modeling in Engineering & Sciences, Vol.119, No.3, pp. 409-425, 2019, DOI:10.32604/cmes.2019.04681

Abstract Test complexity and test adequacy are frequently raised by software developers and testing agents. However, there is little research works at this aspect on specification-based testing at the use case description level. Thus, this research proposes an automatic test cases generator approach to reduce the test complexity and to enhance the percentage of test coverage. First, to support the infrastructure for performing automatic, this proposed approach refines the use cases using use case describing template and save it in the text file. Then, the saved file is input to the Algorithm of Control Flow Diagram (ACFD) to convert use case… More >