Using Spec Explorer for Automatic Checking of Constraints in Software Controlled Systems.

by Izzat Mahmoud ALSMADI, Salam AL-EMARI
Published 2011-01-01

Building an e-Commerce Infrastructure in Jordan: Challenges and Requirements

by Muhannad Anwar Al-Shboul, Izzat Mahmoud Alsmadi
Published 2010-10-01

Evaluating Software Complexity Based on Decision Coverage

by Mustafa AL-HAJJAJI, Izzat Mahmoud ALSMADI, Samer SAMARAH
Published 2012-01-01