DEVS models are widely used in the research community, in the industry and even in military or defense departments. Therefore, several software tools exist for modeling and simulating these models. However, each of these ...

The design and implementation of an ERP system involves capturing the information necessary for implementing the system's structure and behavior that support enterprise management. This process should start on the enterprise ...

The design and implementation of an ERP system involves capturing the information necessary for implementing the system's structure and behavior that support enterprise management. This process should start on the enterprise ...

Model Checking is a powerful method for the formal verification of concurrent systems. It explores automatically the state-space of a model that represents the system to prove its correctness in relation to formal ...

A characterization of computation and computational explanation is important in accounting for the explanatory power of many models in cognitive neuroscience. Piccinini (2015) describes computational models as both abstract ...

Cyber physical systems (CPSs) are complex systems whose performance depends on the interactions between heterogeneous subsystems, the external environment, and the interrelation between the natural systems

In a testing process, the design, selection, creation and execution of test cases is a very time-consuming and error-prone task when done manually, since suitable and effective test cases must be obtained from the requirements. ...

Good domain-modeling enables an appropriate separation of concerns that improves quality properties in the simulation models, such as modifiability and maintainability. In this paper, the interplay of abstraction and ...