Islam Essam ELdeen Abdelhalim <br/><br/>
An innovative approach for overcoming the uml inconsistency problem using z formal language /  
 نهج مبتكر للتغلب على مشكلة التضارب فى لغة النمذجة الموحدة UMLباستخدام اللغة الرسمية Z 
Islam Essam ELdeen Abdelhalim ; Supervised Samir I.Shaheen , Magda B.Fayek 
 - Cairo :   Islam Essam ELdeen Abdelhalim ,   2008 
 - 142P. :   charts , facsimiles ;   30cm 
<br/><br/>Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering 
<br/><br/> Uml (Unified modeling language) suffers from inconsistency problems.this work presents an integrated system for checking inconsistencies in uml models 
<br/><br/>
<br/><br/><label>Subjects--Index Terms: </label>Formal language Inconisistency Modeling