Interactive Data Representation Migration: Exploiting Program Dependence to Aid Program Transformation

By progressing through what Kabeer (2002) calls the deeper, intermediate and immediate level of empowerment, this chapter intends to respond to the main research

With careful syntactic constraints, it ensures the use of history and prophecy variables would not affect the behaviors of the original program, which justifies the verification

ROZHENKO Oleksandr (Ioch-Ukraine) Prof KIMA Peter (Florida University-USA) Dr NAHORICHNA Iryna (Farmak-Ukraine) Dr AVELLA Maurizio (IPCB-CNR-Italy) Dr SOARES PONTES

ROZHENKO Oleksandr (Ioch-Ukraine) Prof KIMA Peter (Florida University-USA) Dr NAHORICHNA Iryna (Farmak-Ukraine) Dr AVELLA Maurizio (IPCB-CNR-Italy) Dr SOARES PONTES

My claim is that when the bias of a collection of models tends to become a constant Cst when the complexity increases, the slope heuristic allows to choose the model of minimum

• Solidarity-based cooperation in the context of higher education internationalization. • Increase higher education in

In our case, verification of model transformations has been analyzed from four perspectives (see Table 1): properties, model transformation language, verification approach/language

The adapted software process model (component 8 in Fig. 1) is the output of applying such transformation using the organizational software process and the concrete project context