Amira Tarek

Code conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry. Traditional validation methods, such as test cases and code coverage metrics, often fail to ensure the correctness, completeness, and equivalence of converted code to its original form. Formal verification emerges as a crucial methodology to

Cross-platform mobile application development is emerging widely in the mobile applications industry. Cross-platform Frameworks (CPFs) like React Native, Flutter, and Xamarin are used by many developing companies. The technology these frameworks use faces performance and resource use efficiency limitations compared to native applications. The native applications are written in the native languages

Mobile applications are very popular nowadays. The two most common platforms depend on different languages to have native performance. Most trans-compiler-based converters between those languages didn't take webservices conversion into consideration. However, in recent years, mobile applications developers have used web services for lighter and more dynamic mobile applications. Therefore, it

The growth of mobile application development industry made it crucial for researchers to study the industry practices of choosing mobile applications programming languages, systems, and tools. With the increased attention of cross-platform mobile applications development from both researchers and industry, this paper aims at answering the question of whether most of the industries are using cross

Although many cross platform mobile development software used a trans-compiler-based approach, it was very difficult to generalize it to work in both directions. For example, to convert between Java for Android Development and Swift for iOS development and vice versa. This is due to the need of writing a specific parser for each source language, and a specific code generator for each destination

Numerous commercial tools like Xamarin, React Native and PhoneGap utilize the concept of cross-platform mobile applications development that builds applications once and runs it everywhere opposed to native mobile app development that writes in a specific programming language for every platform. These commercial tools are not very efficient for native developers as mobile applications must be