Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Ayman M. Wahba

dblp:03/4870 · DBLP profile ↗
← Back
8ranked-venue papers
2as first author
0since 2021 · last 2016
0000-0002-7840-9469ORCID · reported

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 5 · 1 first-authorSystems, architecture and hardware · 2 · 1 first-authorTheory of computation · 1Applied, interdisciplinary, general and emerging computing · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
1 paper
Software maintenance and evolution · 50% Compilers and program optimization · 50%

Topics — the 2 heaviest of 2, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Software maintenance and evolution
software portability
0.212016
Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD) · IEEE Trans. Software Eng. 2016
Compilers and program optimization › program transformation
source-to-source transformation
0.212016
Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD) · IEEE Trans. Software Eng. 2016

Methods — techniques the papers use, named apart from their topics

regular expressions · 0.2code transformation · 0.2XSLT · 0.2
YearPublicationVenuePosition
2016 New Methodology for Complete Properties Extraction from Simulation Traces Guided with Static Analysis
Mohamed Hanafy 0001, Hazem Said, Ayman M. Wahba
J. Electron. Test.3
2016 Enhanced Code Conversion Approach for the Integrated Cross-Platform Mobile Development (ICPMD)
abstract
Mobile development companies aim to maximize the return on investments by making their mobile applications (Apps) available on different mobile platforms. Consequently, the same App is developed several times; each time the developer uses the programming languages and development tools of a specific platform. Therefore, there is a need to have cross-platform mobile applications development solutions that enable the developers to develop the App once and run it everywhere. The Integrated Cross-Platform Mobile Applications Development (ICPMD) solution is one of the attempts that enables the developers to use the most popular programming languages like Java for Android and C# for Windows Phone 8 (WP8). ICPMD is used to transform both the source code and user interface to another language to generate full Apps on the target platform. This paper extends ICPMD by proposing a new code conversion approach based on XSLT and Regular Expressions to ease the conversion process. In addition, it provides the assessment method to compare the ICPMD efficiency with competing approaches. Several Apps are converted from WP8 to Android and vice versa. The ICPMD evaluation results show reasonable improvement over commercial cross-platform mobile development tools (Titanium and Xamarin).
Wafaa S. El-Kassas, Bassem Amin Abdullah, Ahmed H. Yousef, Ayman M. Wahba
IEEE Trans. Software Eng.4
2009 Automatic code generation from verified timed automata model
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed Taher, Mohamed A. Sheirah
IADIS AC (1)2
2009 Hybrid-Based Maintainability Impact Analysis for Evolving Systems
abstract
Software maintenance becomes an integral part of software life cycle and constitutes the most important fraction of the total cost of the software lifecycle. Around 50–80 percent of the total lifecycle cost is consumed by maintenance for evolving system [35]. Thus systems with poor maintainability are difficult to modify and require more cost to maintain. This difficulty arises from the impact on the system components where the new requirements/goals will be implemented [9]. These new goals will result in modification of existing components and creation of new components. In this paper, we present the foundations for a new Hybrid-Based Maintainability Impact Analysis (HBMIA) methodology for assessing the impact of the new goals to be selected for implementation on new and existing system components. HBMIA uses not only the system history but it also gets benefit from the experts' experience. HBMIA balances between the system historical data and experts' data based on the system maturity and expert's experience for system components. A case study is performed to demonstrate the added value of the proposed HBMIA.
Samer I. Mohamed, Islam A. M. El-Maddah, Ayman M. Wahba
Int. J. Softw. Eng. Knowl. Eng.3
2007 Verification of the Properties of Asynchronous Real-Time Distributed Systems using the B-Formalism
Ayman M. Wahba, Islam A. M. El-Maddah
FDL1
2003 TCTL-Based Verification of Industrial Processes
Anaheed Ayoub, Ayman M. Wahba, Ashraf M. Salem, Mohamed A. Sheirah
FDL2
1996 HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment
Dominique Borrione, H. Bouamama, David Déharbe, C. Le Faou, Ayman M. Wahba
FMCAD5
1996 A method for automatic design error location and correction in combinational logic circuits
Ayman M. Wahba, Dominique Borrione
J. Electron. Test.1