Výsledky vyhľadávania
Názov Fault localization models using dependencies Aut.údaje Safeeullah Soomro ... [et al.] Autor Soomro Safeeullah (25%)
Spoluautori Memon Abdul Hameed (25%)
Shah Asif Ali (25%)
Shah Wajiha (25%)
Zdroj.dok. Engineering the computer science and information technology. S. 23-40. - Vukovar : InTech, 2009 / Soomro Safeeullah ; Soomro Safeeullah Kľúč.slová model-based diagnosis fault detection model-based software debugging fault localization Jazyk dok. angličtina Krajina Chorvátsko Systematika 004 Kategória publikačnej činnosti AEC Číslo archívnej kópie 31757 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Detect and localize faults in alias - free programs using specification knowledge Aut.údaje Safeeullah Soomro, Franz Wotawa Autor Soomro Safeeullah (50%)
Spoluautori Wotawa Franz (50%)
Zdroj.dok. Next - generation applied intelligence : 22nd international conference on industrial, engineering and other applications of applied intelligent systems, IEA/AIE 2009, Tainan, Taiwan, June 2009. S. 379-388. - [s. l.] : Springer International Publishing, 2009 Kľúč.slová model-based software debugging model-based diagnosis fault detection and localization Jazyk dok. angličtina Systematika 004 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31776 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Verification based model localizes faults from procedural programs Aut.údaje Safeeullah Soomro Autor Soomro Safeeullah (100%)
Zdroj.dok. Frontiers in robotics, automation and control. S. 55-70. - Vukovar : InTech, 2008 Kľúč.slová software verification model-based software debugging model-based diagnosis Heslá geogr. 3 004 Jazyk dok. angličtina Krajina Chorvátsko Systematika 004 Kategória publikačnej činnosti AEC Číslo archívnej kópie 31759 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Using abstract dependencies in debugging Aut.údaje Franz Wotawa, Safeeullah Soomro Autor Wotawa Franz (50%)
Spoluautori Soomro Safeeullah (50%)
Zdroj.dok. Qualitative reasoning QR-05 : 19th international workshop on qualitative reasoning QR-05, Graz University of Technology, May 18-20, 2005. S. 23-28. - Graz : QR-05, 2005 Kľúč.slová fault diagnosis model-based diagnosis Jazyk dok. angličtina Krajina Rakúsko Systematika 004 Kategória publikačnej činnosti BEE Číslo archívnej kópie 31781 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Lightweight debugging techniques Aut.údaje Bernhard Peischl, Safeeullah Soomro, Franz Wotawa Autor Peischl Bernhard (34%)
Spoluautori Soomro Safeeullah (33%)
Wotawa Franz (33%)
Zdroj.dok. IJCAI-05 : nineteenth international joint conference on artificial intelligence, Edinburgh, Scotland, 30 July - 5 August 2005 : working notes of the IJCAI-05 workshop on model-based systems. S. 25-35. - Edinburgh : Professional book center, 2005 Kľúč.slová fault diagnosis model-based diagnosis Jazyk dok. angličtina Krajina Veľká Británia Systematika 004 Kategória publikačnej činnosti AFC Číslo archívnej kópie 31780 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ