Results 1 to 10 of about 858,963 (269)
Towards Automation of the FORM/BCS Method
Science, Engineering and Technology, 2023 The software industry is facing more complex computer systems, with short development and sustainability issues. To deliver good software with these constraints, software reuse has become a central concept for minimizing design and realization costs ...
Hayatou Oumarou +2 more
doaj +1 more source
International Journal of Disaster Risk Science, 2023 In this rapid review, we critically scrutinize the disaster management infrastructure in Saudi Arabia, illuminating pivotal issues of interoperability, global cooperation, established procedures, community readiness, and the integration of cutting-edge ...
Zakaria Ahmed Mani +3 more
doaj +1 more source
Aerospace, 2023 Traditional reliability analysis methods such as Reliability Block Diagram, Fault Tree Analysis, and Markov Analysis are all subjective methods whose results significantly depend on the analysts’ skills and experiences.
Mingyuan Huang +3 more
doaj +1 more source
Incremental Model Transformation with Epsilon in Model-Driven Engineering
Acta Informatica Pragensia, 2022 Model-Driven Engineering (MDE) is a software development paradigm that uses models as the main artifacts in the development process. MDE uses model transformations to propagate changes between source and target models.
Marzieh Ghorbani +2 more
doaj +1 more source
Parallel Scheduling of Multiple SDF Graphs Onto Heterogeneous Processors
IEEE Access, 2021 Parallel scheduling of multiple real-time applications onto heterogeneous processors is needed in the emerging embedded systems such as self-driving cars, smart cameras, and smartphones. Assuming that an embedded application is specified as a synchronous
Dowhan Jeong +3 more
doaj +1 more source
A Colored Petri Net Executable Modeling Approach for a Data Flow Well-Structured BPMN Process Model
IEEE Access, 2022 BPMN process models have been widely used in software designs. The BPMN process models are characterized by a static graph-oriented modeling language and a lack of analytical capabilities as well as dynamic behavior verification capabilities, which not ...
Fenglan Huang +4 more
doaj +1 more source
Applied Sciences, 2023 The cross-line operation mode, based on interoperability technology, is becoming increasingly common in urban rail transits (URTs). Compared to trains running on a single line, cross-line trains can greatly facilitate transfer passengers.
Jianjun Yuan, Xiaoqun Zhao, Pengzi Chu
doaj +1 more source
Jordanian Journal of Computers and Information Technology, 2020 This paper deals with modeling and verification of software systems by combining UML diagrams and Pi-calculus. UML 2.0 Activity diagrams are used for modeling the behavior of software systems, while Pi-calculus is used for semantic and verification ...
Raida Elmansouri +4 more
doaj +1 more source
An Automated Model-Based Approach for Developing Mobile User Interfaces
IEEE Access, 2021 The ever-increasing number of mobile platforms constitutes a challenge for application developers, who must develop efficient mobile applications for multiple platforms.
Lassaad Ben Ammar
doaj +1 more source
Interoperability: A Data Conversion Framework to Support Energy Simulation
Proceedings, 2017 In this paper an interoperability solution is proposed, aiming to go from (building) construction models to energy simulation. Moreover, the energy simulation results will feed the KPI’s analysis of a designed building. The proposed solution will be used
Luís Paiva +7 more
doaj +1 more source