| Center for Software Dependability |
| |
| Publications |
Year: 2005 |
| |
Zille Huma, M. Jaffar-ur-Rehman, Nadeem Iftikhar, "An Ontology-Based Framework for Semi-Automatic Schema Integration", Journal of Computer Science and Technology, Vol. 20, No. 6, November 2005. [Link] |
| |
Safoora Shakil Khan, M. Jaffar-ur-Rehman, "A Survey on Early Separation of Concerns", 12th Asia-Pacific Software Engineering Conference, APSEC'05, pp. 776-782, 2005. [Link] |
| |
M. Jaffar-ur-Rehman, Fakhra Jabeen, Antonia Bertolino, Andrea Polini, "Software Component Integration Testing: A Survey", Technical Report, 2005-TR-41, Italian National Research Council, 2005. [Link] |
| |
Aamer Nadeem, M. Jaffar-ur-Rehman, "TESTAF: A Test Automation Framework for Class Testing using Object-Oriented Formal Specifications", Journal of Universal Computer Science, Vol. 11, No. 6, 2005. [Link] |
| |
Shaukat Ali, M. Jaffar-ur-Rehman, Lionel C. Briand, Hajra Asghar, Zouhaib Zafar, Aamer Nadeem, "A State-based Approach to Integration Testing of Object-Oriented Programs", Technical Report, TR-SCE-05-08, Carleton University, May 2005. [Link] |
| |
Aamer Nadeem, M. Jaffar-ur-Rehman, "Automated Test Case Generation from IFAD VDM++ Specifications", 4th WSEAS International Conference on Software Engineering, Parallel, and Distributed Systems (SEPADS 2005), Salzburg, Austria, February 13-15, 2005. |
| |
Aamer Nadeem, M. Jaffar-ur-Rehman, "Automated Test Case Generation from IFAD VDM++ Specifications", WSEAS Transactions on Computers, Vol. 4, No. 2, February 2005, ISSN: 1109-2750. |
| |
Safoora Shakil Khan, Shaukat Ali, M. Jaffar-ur-Rehman, "An Approach for Early Aspects Identification using Feature based Engineering and Use Case Driven Approaches", 2nd European Interactive Workshop on Aspects in Software, EIWAS'05, Sept. 1-2, 2005, Brussels, Belgium. |
| |
M. Waqas Raza, "Comparison of Class Test Integration Ordering Strategies", IEEE International Conference on Emerging Technologies, ICET'2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link] |
| |
Safoora Shakil Khan, M. Jaffar-ur-Rehman, Shaukat Ali, "An Enhanced Framework for Validation of Aspectual Requirements", IEEE International Conference on Emerging Technologies, ICET'2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link] |
| |
Fakhra Jabeen, M. Jaffar-ur-Rehman, "A Framework for Object Oriented Component Testing", IEEE International Conference on Emerging Technologies, ICET'2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link] |
| |
Syed Asad Ali Naqvi, Shaukat Ali, M. Uzair Khan, "An Evaluation of Aspect Oriented Testing Techniques", IEEE International Conference on Emerging Technologies, ICET'2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link] |
| |
Shehreyar Malik, M. Jaffar-ur-Rehman, "A Framework for Fault Tolerance in Distributed Real Time Systems", IEEE International Conference on Emerging Technologies, ICET'2005, Islamabad, Pakistan, Sept. 17-18, 2005. [Link] |
| |
M. Masud Khokhar, Zafar I. Malik, Shaukat Ali, "Using Software Agents with MPEG-7 Descriptions for a Distributed Flexible Multimedia System", First International Conference on Information and Communication Technologies, ICICT 2005, Karachi, Pakistan, 2005. [Link] |
| |
Safoora Shakil Khan, Shaukat Ali, M. Jaffar-ur-Rehman, "A Framework to Refine, Verify, and Identify Aspectual Requirements", First International Conference on Information and Communication Technologies, ICICT 2005, Karachi, Pakistan, 2005. [Link] |
| |
Nadeem Iftikhar, Zouhaib Zafar, Shaukat Ali, "Context-Aware Querying in Multimedia Databases - A Futuristic Approach", Third World Enformatika Conference, WEC'05, April 27-29, 2005, Istanbul , Turkey. |
| |
Omer Mansoor Paracha, Zafar I. Malik, Shaukat Ali, "Audio and Video Codecs Distribution using Mobile Agents", First International Conference on Information and Communication Technologies, ICICT 2005, Karachi, Pakistan, 2005. |
| |
Arsalan A. Shah, Zafar I. Malik, Shaukat Ali, "PP-FSM: Peer to Peer File Share for Multimedia", International Conference on Software and Knowledge Engineering, SKE 2005. |
| |
Maryam Humayun, Zafar I. Malik, Shaukat Ali, "PEIBM - Perceiving Emotions using an Intelligent Behavioral Model", International Conference on Software and Knowledge Engineering, SKE 2005. |
| |
Shaukat Ali, M. Jaffar-ur-Rehman, Aamer Nadeem, "Quantitative Analysis of Event Trees using Hidden Markov Models", Information and Communication Technologies International Symposium, ICTIS' 2005, Islamabad, Pakistan, 2005. |
| |
|
|
| |
|
|
| |
Research Groups |
|
| |
|
|
| |
| Faculty of
Engineering and Applied Sciences |
| |
|
| |
|
| |
|
| |
|
| Faculty of Management & Social Sciences |
| |
|
| |
|
| |
|
|
|
| |
|
|
|