: This study introduces the MyCL process model, a simplified Component-Based Software Development (CBSD) process model that is clear and easy to be understood and hence, applied. I...
Logic programming with the stable model semantics is put forward as a novel constraint programming paradigm. This paradigm is interesting because it bring advantages of logic prog...
This paper presents a dynamic technique for predicting the e ect that a location" of a program will have on the program's computational behavior. The technique is based ...