An innovative approach for overcoming the uml inconsistency problem using z formal language / (Record no. 12274)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 013830000a22003130004500 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | EG-GICUC |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 080720s2008 ua dh f m 000 0 eng d |
| 040 ## - CATALOGING SOURCE | |
| Original cataloging agency | EG-GICUC |
| Language of cataloging | eng |
| Transcribing agency | EG-GICUC |
| 041 0# - LANGUAGE CODE | |
| Language code of text/sound track or separate title | Eng |
| 049 ## - LOCAL HOLDINGS (OCLC) | |
| Holding library | Deposite |
| 097 ## - Thesis Degree | |
| Thesis Level | M.Sc |
| 099 ## - LOCAL FREE-TEXT CALL NUMBER (OCLC) | |
| Classification number | Cai01.13.06.M.Sc.2008.Is.I |
| 100 0# - MAIN ENTRY--PERSONAL NAME | |
| Personal name | Islam Essam ELdeen Abdelhalim |
| 245 13 - TITLE STATEMENT | |
| Title | An innovative approach for overcoming the uml inconsistency problem using z formal language / |
| Statement of responsibility, etc. | Islam Essam ELdeen Abdelhalim ; Supervised Samir I.Shaheen , Magda B.Fayek |
| 246 15 - VARYING FORM OF TITLE | |
| Title proper/short title | نهج مبتكر للتغلب على مشكلة التضارب فى لغة النمذجة الموحدة UMLباستخدام اللغة الرسمية Z |
| 260 ## - PUBLICATION, DISTRIBUTION, ETC. | |
| Place of publication, distribution, etc. | Cairo : |
| Name of publisher, distributor, etc. | Islam Essam ELdeen Abdelhalim , |
| Date of publication, distribution, etc. | 2008 |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | 142P. : |
| Other physical details | charts , facsimiles ; |
| Dimensions | 30cm |
| 502 ## - DISSERTATION NOTE | |
| Dissertation note | Thesis (M.Sc.) - Cairo University - Faculty Of Engineering - Department Of Computer Engineering |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | Uml (Unified modeling language) suffers from inconsistency problems.this work presents an integrated system for checking inconsistencies in uml models |
| 530 ## - ADDITIONAL PHYSICAL FORM AVAILABLE NOTE | |
| Additional physical form available note | Issued also as CD |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Formal language |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Inconisistency |
| 653 #4 - INDEX TERM--UNCONTROLLED | |
| Uncontrolled term | Modeling |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Magda B.Fayek , |
| Relator term | |
| 700 0# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Samir I.Shaheen , |
| Relator term | |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Mustafa |
| Reviser | Revisor |
| 905 ## - LOCAL DATA ELEMENT E, LDE (RLIN) | |
| Cataloger | Sara |
| Reviser | Cataloger |
| 942 ## - ADDED ENTRY ELEMENTS (KOHA) | |
| Source of classification or shelving scheme | Dewey Decimal Classification |
| Koha item type | Thesis |
| Source of classification or shelving scheme | Not for loan | Home library | Current library | Date acquired | Full call number | Barcode | Date last seen | Koha item type | Copy number |
|---|---|---|---|---|---|---|---|---|---|
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | قاعة الرسائل الجامعية - الدور الاول | 11.02.2024 | Cai01.13.06.M.Sc.2008.Is.I | 01010110049476000 | 22.09.2023 | Thesis | ||
| Dewey Decimal Classification | المكتبة المركزبة الجديدة - جامعة القاهرة | مخـــزن الرســائل الجـــامعية - البدروم | 11.02.2024 | Cai01.13.06.M.Sc.2008.Is.I | 01020110049476000 | 22.09.2023 | CD - Rom | 49476.CD |