Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...

this study examines the differences between strategic systems audit approach compared with traditional based audit approach and its impact on development of auditors’ knowledge of the client’s business, has been discussed. strategic systems audit approach advocates argue that this approach creates a better development of auditors’ knowledge of the client’s business than the traditional-based au...

The ontology of dynamic capabilities (DCs) is grounded in a systemic perspective organisational strategy. In controversial move, DCs theory adopts systems thinking as metaphorical reference, not possible research method. Systemic methodologies can provide holistic management perception and guide managers to develop differently, considering the deliberate learning design process non-linear dynam...