TY  - GEN
AU  - Islam Essam ELdeen Abdelhalim
AU  - Magda B.Fayek , 
AU  - Samir I.Shaheen , 
TI  - An innovative approach for overcoming the uml inconsistency problem using z formal language / 
PY  - 2008///
CY  - Cairo : 
PB  - Islam Essam ELdeen Abdelhalim , 
KW  - Formal language
KW  - Inconisistency
KW  - Modeling
N1  - Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering; Issued also as CD
N2  - Uml (Unified modeling language) suffers from inconsistency problems.this work presents an integrated system for checking inconsistencies in uml models
ER  -