Results 11 to 20 of about 15,140,590 (208)
Model Transformation as Conservative Theory-Transformation [PDF]
, 2020 Model transformations play a central role in model-driven software development. Hence, logical unsafe model transformation can result in erroneous systems.
F Tuong (21922325) +2 more
core +6 more sources
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
TRANSFORMING SOFTWARE REQUIREMENTS INTO TEST CASES VIA MODEL TRANSFORMATION
, 2023 <p>Executable test cases originate at the onset of testing as abstract requirements that represent system behavior. Their manual development is time-consuming, susceptible to errors, and expensive.
TRANSFORMING SOFTWARE REQUIREMENTS INTO TEST CASES VIA MODEL TRANSFORMATION
core +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