Follow
Kassem Saleh
Title
Cited by
Cited by
Year
Synthesis of communication protocols: survey and assessment
RL Probert, K Saleh
IEEE Transactions on Computers 40 (04), 468-476, 1991
1451991
Compiler test case generation methods: a survey and assessment
AS Boujarwah, K Saleh
Information and software technology 39 (9), 617-625, 1997
1231997
Test development for communication protocols: towards automation
R Dssouli, K Saleh, E Aboulhamid, A En-Nouaary, C Bourhfir
Computer Networks 31 (17), 1835-1872, 1999
1161999
Test generation based on control and data dependencies within system specifications in SDL
H Ural, K Saleh, A Williams
Computer Communications 23 (7), 609-627, 2000
712000
M-UML: an extension to UML for the modeling of mobile agent-based software systems
K Saleh, C El-Morr
Information and Software Technology 46 (4), 219-227, 2004
602004
Synthesis of communications protocols: an annotated bibliography
K Saleh
ACM SIGCOMM Computer Communication Review 26 (5), 40-59, 1996
571996
The distributed object computing paradigm: concepts and applications
K Saleh, R Probert, H Khanafer
Journal of Systems and Software 47 (2-3), 125-131, 1999
471999
Documenting electronic commerce systems and software using the unified modeling language
K Saleh
Information and Software Technology 44 (5), 303-311, 2002
462002
Effort and cost allocation in medium to large software development projects
K Saleh
International Journal of Computer 5 (1), 74-79, 2011
452011
A service-based method for the synthesis of communications protocols
K Saleh, R Probert
International journal of mini & microcomputers 12 (3), 97-103, 1990
431990
Bottlenecks in next generation DWDM-based optical networks
MK Dhodhi, S Tariq, KA Saleh
Computer Communications 24 (17), 1726-1733, 2001
422001
Communications software design for testability: specification transformations and testability measures
R Dssouli, K Karoui, K Saleh, O Cherkaoui
Information and Software Technology 41 (11-12), 729-743, 1999
391999
Capturing non-functional software requirements using the user requirements notation
K Saleh, A Al-Zarouni
The 2004 International Research Conference on Innovations in Information …, 2004
352004
Distributed self-stabilizing algorithm for finding maximum matching
MH Karaata, KA Saleh
Comput Syst Sci Eng 15 (3), 175-180, 2000
322000
Two formal methods for the synthesis of discrete event systems
A Khoumsi, K Saleh
Computer Networks and ISDN Systems 29 (7), 759-780, 1997
301997
Automatic synthesis of protocol specifications from service specifications
K Saleh, R Probert
[1991 Proceedings] Tenth Annual International Phoenix Conference on …, 1991
271991
Dynamic data flow analysis for Java programs
AS Boujarwah, K Saleh, J Al-Dallal
Information and Software Technology 42 (11), 765-775, 2000
262000
Recovery approach to the design of stabilizing communication protocols
K Saleh, I Ahmad, K Al-Saqabi, A Agarwal
computer communications 18 (4), 276-287, 1995
241995
Zone-based routing protocol with mobility consideration for wireless sensor networks
N Nasser, A Al-Yatama, K Saleh
Telecommunication Systems 52, 2541-2560, 2013
232013
Testing syntax and semantic coverage of Java language compilers
AS Boujarwah, K Saleh, J Al-Dallal
Information and Software Technology 41 (1), 15-28, 1999
191999
The system can't perform the operation now. Try again later.
Articles 1–20