19/02/2017
12:21 PM

وصف المقررات - ماجستير علوم الحاسب

تحتوي الصفحة على وصف المسارات التالية: 

المقررات الرئيسية

مقررات مسار الذكاء الإصطناعي

مقررات مسار قواعد البيانات والتنقيب عنها

مقررات مسار الرسم بالحاسب واتصال الإنسان بالآلة

مقررات مسار نظم الحاسب والشبكات

مقررات مسار هندسة البرمجيات وهندسة المعرفة

 



 

المقررات الرئيسية

 

رقم ورمز المـقرر: 501 عال    اسم المقـــــرر:         حل المسائل بالخوارزميات 

عدد الوحدات: 3 ساعات معتمدة

ــ وصف  المقرر

مراجعة عامة  لتراكيب البيانات – تقنيات التصميم الأساسي – فرّق تسد – الاستدعاء التراجعي – الأسلوب الشحيح – البرمجة الديناميكية – الحدسيات – الخوارزميات المتوازية – تحليل الخوارزميات – رتبة الحجم – نظرية الحد الأدنى – الزمن  و المكان – التعقيدات – مشاكل غير كثيرة الحدود الصعبة – مشاكل غير كثيرة الحدود و الكاملة – الخوارزميات التصحيحية – هيكل الخوارزميات.

ـــ أهداف المقرر  

دراسة المفاهيم الأساسية لتراكيب البيانات.

المراجع العلمية (( كتب ومقالات علمية((

CSC 501: Algorithmic Problem Solving

Textbook

Michalewicz, Z., D. B. Fogel. “How to Solve It: Modern Heuristics”, Springer, 2004, ISBN-10: 3540660615, ISBN-13: 978-3540660613

References

Cormen, Leiserson, Rivest, Stein: “Introduction to Algorithms” (2nd edition)

 

 

رقم ورمز المـقرر: 502 عال    اسم المقـــــرر نظرية الحسوبة

عدد الوحدات: 3 ساعات معتمدة

ــ وصف  المقرر

اتمتات الحالات المحددة والتعابير النظامية – المجموعات المحددة – المجموعات النظامية –  مأخوذة المضخة – القواعد النحوية المستقلة عن السياق – اشجار الإشتقاق – الشكل العادي لـ "شومسكي" و "قرايباك" – اللغات المستقلة عن السياق –  المتعرفات – آلآت "تيورنغ" – اللغات ذاتية الاستدعاء و اللغات ذات الاستدعاء الفابل للعد – اللغات الغير محددة – المشاكل القابلة لأخذ القرار –  مشكلة التوقف –   نظرية "رايس" وهرم "شومسكي".  

ـــ أهداف المقرر  

دراسة المفاهيم الأساسية للحوسبة.

المراجع العلمية (( كتب ومقالات علمية((

CSC 502 Theory of Computation

Textbook

Sipser, M., “Introduction to the Theory of Computation”, PWS Pub. Co., 1996 , ISBN-10: 053494728X, ISBN-13: 978-0534947286

Reference

Cohen, D. I. A. “Introduction to Computer Theory”, John Wiley & Sons, 1991.

 

 

رقم ورمز المـقرر:  504 هال       اسم المقـــــرر شبكات الحاسب

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر 

 مراجعة المفاهيم العامة – الشبكة المحلية والإقليمية – إدارة البنية الحلقية للشبكات  –  نموذج الطبقات السبعة –  بروكول "تي سي بي / آي بي" – مواصفات معايير الشبكات: الشبكات المحلية – شبكات الحزم العريضة – البوبات – تصميم و أداء الشبكات – برمجة الشبكات – مكتشف الأخطاء – الحماية والخصوصية.

المراجع العلمية (( كتب ومقالات علمية((

CEN 504 Computer Networks

Textbook

Kurose J. F., K. W. Ross, “Computer Networking: A Top-Down Approach”, 4th Ed., Goose Pub., 2007.

References

1. Tanenbaum, A. S. “Computer Networks”, 4th Ed., Pearson Pub., 2003.

2. Stallings, W.“Data and Computer Communications”, 5th edition, PHI,1997.  

3. Peterson, L. L., B. S.Davie, “Computer Networks - A systems Approach”, 2nd Edition, Harcourt Asia/Morgan Kaufmann, 2000.

4. Garcia, L. and Widjaja “Communication Network – Fundamental Concepts and Key Architecture”.

 

 

رقم ورمز المـقرر: 506 عال اسم المقـــــرر هندسة البرمجيات و هندسية المعرفة

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

مراجعة للمنهجيات المعروفة – تحليل متطلبات البرمجيات – برمجيات الزمن الحقيقي – تكلفة البرمجيات، الجوده، القياس والاختبار – البرمجيات الشيئية – مواضيع في هندسية المعرفة، تمثيل المعرفة باستخدام القواعد، الأطر و المنطق – اساسيات الإستقراء المنطقي واساسيات البحث.

المراجع العلمية (( كتب ومقالات علمية((

CSC 506 Software Engineering and Knowledge Engineering

Textbook

van Vilet, H. “Software Engineering Principles and Practice”, John Wiley and Sons Ltd,  2000.

References

2. Fenton, N.E. “Software Metrics”, Chapman and Hall, 1991.

3. Wordworth, J.B. “Software Development with Hall”, 1991.

4. Wordworth, J.B. “Software Development with Z”, Addison Wesley, 1992.  

5. Knowledge Engineering: “Practice and Patterns: 16th International Conference, EKAW 2008”, Acitrezza, Sicily, Italy, September 29-October 2, 2008.

 

 

رقم ورمز المـقرر:      508 عال       اسم المقـــــرر : نظم قواعد البيانات

 عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 مراجعة تقنيات النماذج الأساسية ومفاهيم  إداراة قواعد البيانات – المكونات و المهام لنظم إدارة قواعد البيانات –  معالجة الإستعلام و الأمثلية –  التحكم التزامني – الأمن – الإسترجاع  –  أمانة  نظم إدارة قواعد البيانات –  قواعد البيانات الموزعة –  دراسة نظم قواعد البيانات الذكية –  دراسة نماذج المختلفة للبيانات ذات التوجه الشيئي – مقدمة في تكنولوجيا "إكس-أم-أل"  – مشروع في تطوير تطبيقات قواعد البيانات.

ـــ المراجع العلمية (( كتب ومقالات علمية )(

CSC 508 Database and Data Mining

Textbook

Connolly, T. C. Begg, “Database Systems : A Practical Approach to Designing, Implementation and Management”.

Reference

Witten I. H., F. Eibe, “Data Mining: Practical Machine Learning Tools and Techniques”, 2nd Ed., Morgan Kaufmann Series in Data Management Systems, 2005.

 






 

وصف مقررات مسار الذكاء الإصطناعي

 

رقم ورمز المـقرر: 550 عال       اسم المقـــــرر الذكاء الإصطناعي

عدد الوحدات: 3 ساعات معتمدة

 ــ وصف  المقرر

 مقدمة للذكاء الأصطناعى  وحل المشاكل –  تمثيل المعرفة – الإثبات التلقائي للنظريات – التعلم من الأمثلة – التعلم بالقياس – التعلم  بالاكتشاف – الأشارة المرجعية  و الإنتاج المرجعي – التفكير السببي، تفكير الفطرة  السليمة، التفكير الأفتراضى – المناهج القائمة على القياس –  التفكير مع عدم اليقين – نظرية التأكد –  نظرية المعتقد  – نظرية الضرورة و الإمكانية –  نظرية المصادقية  – التفكير المبني على الزمان والمكان. 

ـــ أهداف المقرر

المراجع العلمية (( كتب ومقالات علمية ))

CSC 550 Artificial Intelligence

Textbook

Russell, S., P. Norvig, “Artificial Intelligence: A Modern Approach” 2nd Edition: Prentice Hall, Inc., 2003, ISBN13: 9780137903955.

References

1.     Luger, G. “Artificial Intelligence” 5th Edition: Addison-Wesley Longman, Inc., 2005, ISBN13: 9780321263186

2.     Negneviysky, M. “Artificial Intelligence – A Guide to Intelligent Systems”. 2nd Edition, Addison-Wesley, 202, ISBN 0321204662.

 

 

 

رقم ورمز المـقرر: 552 عال       اسم المقـــــرر التعلم الألي

عدد الوحدات: 3 ساعات معتمدة

ــ وصف  المقرر

 مفهوم التعلم و التريتب من العام الى الخاص – التعلم بشجرة القرار–  الشبكات العصبونية الاصطناعية –   تقييم الفرضيات – التعلم بطريقة "بايز" –  نظرية حوسبة التعلم –  التعلم بطريقة الأمثلة الخاصة – الخوارزميات الوراثية  لنظرية التعلم – التعلم لمجوعات قواعد – التعلم التحليلى – دمج التعلم التحليلي  الأستنباطى – التعلم المعزز – آلة التعلم ذات المتجه الداعم – طرق اللب 

المراجع العلمية (( كتب ومقالات علمية((

CSC 552 Machine Learning

Textbook

Mitchell T. “Machine Learning”, McGraw Hill, 1997, ISBN 0070428077

Reference

1. Kung, S. Y., Mak, M. W., Lin, S.H. “Biometric Authentication : A Machine Learning Approach Author”,  5th Edition, Prentice Hall, Inc., ISBN: 9780131478244

2. Hastie, T., R. Tibshirani, J. Friedman, “The Elements of Statistical Learning: Data Mining, Inference, and Prediction”, 2nd Ed., Springer, 2001.

 

 

 

رقم ورمز المـقرر: 554عال   اسم المقـــــرر نظم قواعد  المعرفة  

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 نظم الخبرة – عرض نماذج تمثيل المعرفة – النظم المبنية على قاعدة المعرفة – قواعد الستقراء – القرار – الإختزال – التفكير مع عدم اليقين – تطوير قالب لأحد نظم قواعد المعرفة من اكتساب المعرفة (المقابالات مع خبير في الميدان) –  نمذجه  و تصميم المعرفة  واختبارها  و وضعها حيز التنفيذ – نظام تطوير قالب باستخدام أدوات مثل "كليبس".  CLIPS  

ـــ أهداف المقرر

ـــ المراجع العلمية (( كتب ومقالات علمية ))

CSC 554 Knowledge-Based Systems

Textbook

Ullman J. D., “Principles of Database and Knowledge-Base Systems Volume II:  The New Technologies”.

 

 

 

رقم ورمز المـقرر: 556 عال   اسم المقـــــرر - التعرف على الأشكال

 عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 تحليل و معالجة الصور– معالجة الصوت –  نظم المعلومات الجغرافية – التفكير التدريجي –الرؤية  بالحاسب  – التحسس ومواضيع أخري. 

المراجع العلمية (( كتب ومقالات علمية((

CSC 556 Pattern Recognition

Textbook

Bishop, C.M. “Pattern Recognition and Machine Learning (Information Science and Statistics)”, Springer, 2006, ISBN: 978-0-387-31073-2

Reference

Duda, O.D., P. E. Hart , D. G. Stork, “Pattern Classification”, 2nd Ed., John Wiley & Sons Inc., 2001.

 

 

 

رقم ورمز المـقرر: 558 هال   اسم المقـــــرر - معالجة الصور الرقمية

 عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

وصف الصور الطبيعية المتصلة – التجزئة العينية و التجزئة الكمية – مصفوفة التمثيل الشكلي للصورة  – التصفية – الإستعادة  والتحسين للصور – استخلاص السمات وتحليل المشهد.

المراجع العلمية (( كتب ومقالات علمية((

CEN 558 Digital Signal Processing

Textbook

Gonzalez and Woods, “Digital Image Processing”3rd Ed, Prentice Hall, 2008.

Reference(s)

1. Gonzalez, Woods, and Eddins“Digital Image Processing Using MATLAB™”, 2nd Ed.2009

2. ParkerJ. R. “Algorithms for Image Processing and Computer Vision”, John Wiley & Sons, Inc.1997.

 

 

 

رقم ورمز المـقرر: 559 عال       اسم المقـــــرر المعلوماتية الحيوية الذكية

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 أساسيات في البيولوجيا الجزئية – تقنيات الذكاء الاصطناعي – خوارزميات البحث – الحدسيات، الأمثلية الإستقراء – الرسومات فى المعلوماتية الحيوية –  قواعد النحو – اللغات و الأتومات – الطرق الاحتمالية: شبكات "بايز"، شبكات "ماركوف" – طريقة اقرب جار  للتعرف على الهيكل الثنائي لطيّ البروتين – التجميع – أشجار التعرف أو أشجار القرار–  معيار المكسب، التقليم – برامج الحوسبة للمعلوماتية الحيوية – الأتوماتة الخلوية – الطرق المدمجة:  الخوارزميات العصبونية الوراثية، الخوارزميات الوراثية مع طريقة أقرب جار– خوارزميات الشبكات الاصطناعية – البرمجة الوراثية و الشبكات العصبية لتحديد تفاعل الجينات في علم الأوبية.

ـــ المراجع العلمية (( كتب ومقالات علمية((

CSC 559 Intelligent Bioinformatics

Textbook

Krane, D.E., and M.L. Rayner “Fundamental Concepts of Bioinformatics”, Benjamin Cummings Press Pearson, 2003, ISBN 0-8053-4633-3.

References

1. Cristianini, N., M. W. Hahn “ Introduction to Computational Genomics, Cambridge University Press, 2006, ISBN-13: 9780521856034

2. Fogel, G. B., D. W. Corne, Y. Pan, “Computational Intelligence in Bioinformatics”, IEEE Press Series on Computational Intelligence, ISBN: 0470105267.

3. Orengo, C. A., Jones, D. T., Thornton, J. M., “Bioinformatics: Genes, Proteins and Computers”. BIOS Scientific Publishers, Oxford, England, 2003.






 

وصف مقررات مسار قواعد البيانات والتنقيب عنها

 

 

رقم ورمز المـقرر:  520 عال       اسم المقـــــرر مستودع البيانات – نظم التنقيب

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 مقدمة لنظم دعم اتخاذ القرار – تطوير نظم دعم اتخاذ القرار– تقنيات النمذجة للبيانات – تطوير مستودعات البيانات فى بيئة  معمارية –  دراسة لمعماريات مختلفة وتقنيات التطوير لمستودع البيانات – واجهة المستخدم لمستودع  البيانات – التنقيب عن البيانات – مجالات التطبيق لمستودع البيانات –  مشروع: تطوير نموذجي لنظام مستودع البيانات أو التنقيب عن البيانات.

ـــ المراجع العلمية (( كتب ومقالات علمية((

CSC 520 Data Warehouse and Mining Systems

Textbook

Singh, H., S. Singh, “Interactive Data Warehousing”, 1999.

Reference

Han, J., M. Kamber “Data Mining: Concepts and Techniques” 2nd Edition, Morgan Kaufmann, 2006, ISBN 9781558609013.

 

 

 

 

 

رقم ورمز المـقرر: 522 نال         اسم المقـــــرر:          قواعد بيانات الوب واسترجاع المعلومات           

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

نمذجة - الاستعلام عن العمليات - لغات التوسيم - تقنيات XML وتطبيقاتها - البحث في الوب - نماذج استرجاع المعلومات - الفهرسة والبحث - المكتبات الرقمية - المشروع : تصميم وتطوير استرجاع المعلومات.

ـــ المراجع العلمية (( كتب ومقالات علمية((

IT 522 Web Databases and Information Retrieval

Textbook

Williams, H. E. D. Lane “Building Effective Database-Driven Web Sites” 2004, ISBN 13: 9780596005436.

Reference

 “Web Database Applications with PHP and MySQL”, 2nd Edition

 

 

 

رقم ورمز المـقرر: 524 نال        اسم المقـــــرر: الوسائط المتعددة  ونظام المعلومات الجغرافية

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

نظم الوسائط المتعددة  منهجيات التطوير  أدوات التصفح و الاستعلام  تطوير نظم الوسائط المتعددة على الشبكة العنكبوتية العالمية   قواعد البيانات  الشبكة العنكبوتية العالمية وأدوات التصفح  نمذجة المفاهيم وتحليل البيانات المكانية  التفكير المرتبط بالمكان   معالجة الاستعلام  تقنيات الفهرسة  تخزين البيانات  الخرائط الفائقة  المعرفة المكانية  مجالات التطبيق المختلفة  المشروع : تطوير نظام نموذجي.

ـــ المراجع العلمية (( كتب ومقالات علمية )(

Textbook

E. Stefanakis (Author), E. Stefanakis; M. Peterson, C. Armenakis, V. Delis (Editor). “Geographic Hypermedia, Lecture Notes in Geoinformation and Cartography”, Springer, 2006. ISBN 13: 9783540342373.

Reference

Lemmens, R.L.G.Wytzisk, A.de By, et al. (2006) “Integrating Semantic and Syntactic Descriptions to Chain Geographic Services”, IEEE Internet Computing, 10(5):42-52, 2006. 

 

 

 

رقم ورمز المـقرر: 526 عال       اسم المقـــــرر الوب الذكي     

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

التفاعلات بين هندسة الذكاء الاصطناعي وتقنية المعلومات المتقدمة  هندسة الذكاء الاصطناعي التقليدية: : الهندسة المعرفة، التمثيل، والتخطيط، الاكتشاف، التنقيب عن البيانات  الهندسة الجديدة للذكاء الاصطناعي: معلوماتية الدماغ، والبشرية للذكاء الاصطناعي على المستوى البشري، الأعوان الذكية، الشبكة الاجتماعية الذكية  تقنية المعلومات المتقدمة: الشبكات اللاسلكية، الأجهزة المبددة، والشبكات الاجتماعية، وشبكات البيانات أو المعرفة، الحوسبة السحابية، الجيل القادم لنظم وخدمات الوب.

ـــ المراجع العلمية (( كتب ومقالات علمية((

CSC 526 Web Intelligence

Textbook

Castro, E. “XML for the World Wide Web: Visual QuickStart Guide”, Peachpit Press, 2000, ISBN 0-201-71098-6.

References

1. Scime, A. “Web Mining: Applications and Techniques”, IGI Publishing, 2005, ISBN: 1-59140-416-9

2. Ning, Z., J. Liu,Y. Yao (Eds.) “Web Intelligence” , 2003, ISBN: 978-3-540-44384-1.

 






 

وصف مقررات مسار  الرسم  بالحاسب واتصال الإنسان بالآلة

 

 

رقم ورمز المـقرر: 540 عال        اسم المقـــــرر      : الرسم بالحاسب

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

رياضيات الرسم بالحاسب في الأبعاد الثلاثة – التسلسل الهرمي لتمثيل الأشكال البسيطة  –  السطوح و المنحنيات في الأبعاد الثلاثة –  النمذجة ثلاثية الأبعاد –  نمذجة الأجسام الصلبة –  العرض ثلاثي الأبعاد –  السطح المرئي – الإضاءة والظلال – إسقاط الخامات –  تقنيات التحريك – دراسة حالة باستعمال OpenGL. 

ـــ المراجع العلمية (( كتب ومقالات علمية((

CSC 540 Computer Graphics

Textbook

Hearn, Baker “Computer with OpenGL”, PHIPE, Prentice Hall, 3rd Edition, 2004, ISBN 0131202383.

References

1. Hill, F. S. “Computer Using OpenGL”, PHIPE, Prentice Hall, 2nd Edition, 2001, ISBN 0133203263

2. Forsyth, D., J. Ponce, “Computer Vision: Modern Approach”, Prentice Hall, Inc. 2003. ISBN 9780130851987.

 

 

 

 

 

رقم ورمز المـقرر: 542 عال        اسم المقـــــرر الحوسبة العددية والرمزية

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

الحل العددي لنظم المعادلات الخطية، والمعادلات غير الخطية ونظم المعادلات غير الخطية – التفاضل العددي والتكامل العددي – المعادلات التفاضلية العادية والمعادلات التفاضلية الجزئية – الأمثليات العددية – مقدمة في الحوسبة الرمزية – الحوسبة الرمزية التحليلية – الخوارزميات الرمزية العددية لنظم كثيري الحدود – البرمجة العلمية عالية المستوى – دراسة مشاكل في الحسوبة الرمزية – استخدام أدوات رمزية و عددية –  دراسة حالة باستخدام Maple MATLAB و / أو SCILAB.

ـــ المراجع العلمية (( كتب ومقالات علمية ((

CSC 542 Numerical and Symbolic Computation

Textbook

Landau, R. H. “A First Course in Scientific Computing: Symbolic, Graphic, and Numeric Modeling Using Maple, Java, Mathematica, and Fortran90” Princeton University Press, 2009. ISBN13: 978-0-691-12183-3.

Reference

Tung, K. K. “Topics in Mathematical Modeling”, Princeton University Press, 2007, ISBN13: 978-0-691-11642-6.

 

 

 

رقم ورمز المـقرر: 544 عال اسم المقـــــرر  إتصال بين الإنسان و الآلة وتصميم واجهة المستخدم

عدد الوحدات: 3 ساعات معتمدة  

ـــ وصف  المقرر

 مقدمة في نظم الحواس البشرية – الذاكرة البشرية و نظريات التعلم البشري والإدراك - أساليب واجهة المستخدم : اعتبارات التصميم  -  تصميم محتوى الحوار- التصميم المرئي  - التفاعل الأساسي للتعامل مع النماذج  - مقدمة لإدارة الحوار بين الإنسان و الآلة - التعرف البصري على الأشكال: الحوسبة بالقلم - نظم المدخلات بالبصمة - تصميم الرموز و الأحرف - مقدمة في حوسبة الكلام - عرض الكلام - فهم الكلام و التعرف عليه – إنشاء الكلام – مدخلات و مخرجات باستعمال الإشارات الجسمية و الرائحة.

ـــ المراجع العلمية (( كتب ومقالات علمية )(

CSC 544 Human-Machine Communication and User-Interface Design

Textbook

Shneiderman B., C. Plaisant, “Designing the User Interface: Strategies for Effective Human–Computer Interaction”, 4th Ed. Addison Wesley, 2004 ISBN 0-321-19786-0.

Reference

1. Braffort A., Gherbi, R., Gibet, G. J. Richardson, D. Teil, “Gesture-Based Communication in Human-Computer Interaction”, Springer, 2000

2. One recent article from

ACM Transactions on Computer-Human Interaction (http//www.acm.org).

 

 

 

رقم ورمز المـقرر:  546 عال       اسم المقـــــرر الرسم بالحاسب التطبيقي والوسائط المتعددة 

عدد الوحدات: 3 ساعات معتمدة 

ـــ وصف  المقرر

الحركة التقليدية  - أدوات الحركة بالحاسب – بيئة الحركة  ثلاثية الأبعاد - تقنيات خاصة بالحركة - النظم الحديثة للحركة بالحاسب (الأجهزة والبرامج الحاسوبية)  - تطبيقات  في الحركة بالحاسب - الواقع الافتراضي و الواقع المضاف عليه.

ـــ المراجع العلمية (( كتب ومقالات علمية )(

CSC 546 Applied Computer Graphics and Multimedia

Textbook

Parent, R. “Computer Animation, Second Edition: Algorithms and Techniques”, The Morgan Kaufmann Series in Computer Graphics, 2nd Edition 2007.

References

1. White T. “Animation from Pencils to Pixels: Classical Techniques for the Digital Animator”, Focal Press, 2006.

2. Michael O'Rourke, “Principles of Three Dimensional Computer Animation”, 3rd Edition, W.W. Norton & Co., 2003.  






 

وصف مقررات مسار نظم الحاسب والشبكات

 

رقم ورمز المـقرر: 510 هال  اسم المقـــــرر : بيئة الشبكات في "تي سي بي / آي بي"

 عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

مراجعة تكنولوجيا الشبكات إلى المحلية والإقليمية –  الشبكة المترابطة: المفاهيم والمعمارية – عنونة الانترنت : العنونة في بروتوكول الإنترنت ( آي بي ) – برتوكولات موجهات الانترنت  –  البوابات تحكم أخطاء الانرنت – البروتوكول الطبقي في بيئة الانترنت –  بروتوكول تحكم الارسال "يودي بي" و  بروتوكولات النقل – الإسرال العريض و الإرسال المتعدد في بيئة الانترنت –  إسم نطاق الخدمة الإنترنت –  تطوير تطبيق في بيئة "تي سي بي / آي بي" –  نموذج الخادم مع الزبون – واجهة "يونكس" في بيئة "تي سي بي / آي بي" : واجهة المنفذ –  "تي سي بي / أي بي" في واجهة "ينكس" – التطبيقات القياسية لـ " تي سي بي / آي بي".

المراجع العلمية (( كتب ومقالات علمية((

CEN 510 Networking in the TCP/IP Environment 

Textbook

Stallings W. “Data and Computer Communications”, 6th Edition                         

References

Larry L.Peterson & Bruce S.Davie, “Computer Networks - A systems Approach”, 2nd  Edition, Harcourt Asia/Morgan Kaufmann, 2000.

 

 

 

رقم ورمز المـقرر:  512 عال      اسم المقـــــرر أمن الحاسب    

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر 

 مفاهيم متقدمة في التشفير– إثبات الأصالة – سلامة البيانات – توزيع المفاتيح و التراخيص –  التحكم في الدخول:  الجدران الواقية – الهجمات و إجراءات الصد: الإسقاط، حزمة استنشاق، التحايل  على بروتوكول الأنترنت، هجمات حرمان الخدمات و حرمان الخدمات الموزعة، الأخطتاف – الأمن في عدة طبقات : بروتوكولات نقل النصوص المهجنة والمؤمنة، البريد الألكتروني الآمن،  طبقة المنافذ الآمنة و أمن طبقة النقل،  حماية برتوكول الأنترنت، الأمن في الشبكات اللاسلكية مثل 802.11 IEEE، حماية الأعوان المتنقلة.

ـــ المراجع العلمية (( كتب ومقالات علمية((

CSC 512 Computer Security

Textbook

Pfleeger, C.P. “Security in Computing”, Englewood Cliffs N.J, 2007.

Reference             

William Stallings, “Cryptography and Networking Security”, 3rd Edition, 2007.

 

 

 

رقم ورمز المـقرر: 514 عال  اسم المقـــــرر       النظم الموزعة 

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 المفاهيم العامة لنظم التشغيل – التوزيع : المفاهيم و التعاريف، معمارية نظم التوزيع، التحكم في النظم الموزعة: المركزية و المفارنة مع التوزيع –  التصنيف والتطبيق للطرق المختلفة للتسمية –  الاتصالات ما بين الإجراءات – جدولة الموارد تأثيرها على مشاركة الحِمل – موازنة الحِمل – تجول الإجراء – تزامن الساعة  – التحكم التنافسي في البئا ت الموزعة.

ـــ المراجع العلمية (( كتب ومقالات علمية ))

CSC 514 Distributed Systems

Textbook

Tanenbaum A. and M. V, Steen, “Distributed Systems”, 2007.

 

 

 

رقم ورمز المـقرر: 516 هال        اسم المقـــــرر:تصميم وتطبيق في الزمن الحقيقي

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

التعريفات والتصنيف – معدات وبرمجيات نظم الزمن الحقيقي –  تطبيقات ودعم لغات الزمن الحقيقي – الواجهات المخصصة للمعدات – تجميع البيانات ومعالجتها – انواع ومستويات التحكم في نظم الزمن الحقيقي (على سبيل المثال التحكم في الدائرة المغلقة) – نظم التشغيل للزمن الحقيقي – التوقع – منهجيات التصميم والتطبيق.

ـــ المراجع العلمية (( كتب ومقالات علمية )(

CEN 516 Design and Implementation of Real-time Systems

Textbook

Williams R., “Real-time Systems Development”, 2006.

 

 

 

رقم ورمز المـقرر: 518 هال        اسم المقـــــرر ترابط الشبكات

     عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

منهاج الرسم النظري – معايير تقييم ترابط الشبكات –  مواضيع في تصميم ترابط الشبكات – النصنيف والتقييم – حواسيب عالية الاداء   تصنيف "فلاينس" – تسريع الحسابات – العوامل المؤثرة في تقليص السرعة – قوانين "قروش" و "أمدهل" –  أنواع ترابطات الشبكات – مثل التجزئة، الشجرة الثنائية، الشجرة الفوقية، الهرمية، الفراشة، المكعب الفوقي، الدوائر المكعبات المتصلة – التبديل بالإزاحة، "ديبروجن"، شبكات النجمة و الشبكات النجمية الدائرية المتصلة.

ـــ المراجع العلمية (( كتب ومقالات علمية((

CEN 518 Interconnection Networks

Textbook

Duato, J., Yolamanchili, S., Ni, L. “Interconnection Networks: An Engineering Approach”, 2007.

 






 

وصف مقررات مسار هندسة البرمجيات وهندسة المعرفة

 

رقم ورمز المـقرر: 530 عال        اسم المقـــــرر تطوير البرمجيات ذات التوجه الشيئي

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 مراجعة للمنهجيات المعروفة والمفاهيم الخاصة بهندسة التوجه الشيئي – لغة النمذجة الموحدة (UML) –  دراسة مقارنه للطرق المعروفة – منهجية  التحويل إلى التصميم ذي التوجه الشيئي - تقييم التصميم ذي التوجه الشيئي واستخدام أدوات القياس الشيئي – استخدام المنهجية الشيئية – دراسة حالة. 

المراجع العلمية (( كتب ومقالات علمية ))

CSC 530   Object-Oriented Software Development

Textbook

Booch, G., R. A. Maksimchuk, M. W. Engel, B. J. Young, J. Conallen, K. A. Houston “Object-Oriented Analysis and Design with Applications”, 3rd Edition

 Addison-Wesley Professional, 2007.

References

1-    Lethbridge, T.C., and R. Laganière “Object-Oriented Software Engineering: Practical Software Development using UML and Java”, 2nd Edition, McGraw Hill, 2001.

2-    Jia, X. “Object-Oriented Software Development Using Java - Principles, Patterns, and Frameworks”, Addison-Wesley 2000.

 

 

 

رقم ورمز المـقرر: 532 عال       اسم المقـــــرر إدارة جودة البرمجيات

عدد 3 ساعات معتمدة

ـــ وصف  المقرر

مقدمة في إدارة أنظمة الجودة والجودة الشاملة - نظام الجودة لـ "الايزو" وتطبيقاتة في صناعة البرمجيات – نموذج نضج القدرات و مستوياته الخمسة – نظام "الـتيك ايتي" – ضمان الجودة –  تطبيق أنظمة الجودة – الادوات البرمجية لتطبيق الجودة – دراسة حالة.

المراجع العلمية (( كتب ومقالات علمية ))

CSC 532 Software Quality Management

Textbook

Godbole, N.S. “Software Quality Assurance: Principles And Practice”, 2004.

References

1-    Horch, “Practical Guide to Software Quality Management”, 2003.

2-    Galin, D. “ Software Quality Assurance: From Theory to Implementation”, 2003.

3-    Lewis, W.E. “ Software Testing and Continuous Quality Improvement” 2004.

 

 

رقم ورمز المـقرر: 534 عال       اسم المقـــــرر مقاييس البرمجيات

 عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر   

 اهمية القياسات ومعاييرالقياس  في مجال البرمجيات – اساسيات القياسات – القياسات التجريبية – تجميع القياسات – تحليل القياسات – القياسات المستخدمة في الحجم الوظيفي – الجهد، التكلفة، الوقت، قانون "زيبف" – قياسات الهيكل – قياسات تدفق المعلومات –  بناء مقاييس للبرمجيات – التخطيط لإجراء قياسات البرمجيات – قياسات البرمجيات الشيئية –  الأدوات المستخدمة في قياس  البرمجيات – دراسة حالة.

المراجع العلمية (( كتب ومقالات علمية ))

CSC 534    Software Measurements

Textbook

Ebert, C., R. Dumke. “Software measurement: establish, extract, evaluate, execute”, Springer 2007.

Reference

1-    Laird, L. M, M. C. Brennan “Software measurement and estimation: a practical approach”, John Wiley and Sons, 2006.

 

 

رقم ورمز المـقرر: 536 عال       اسم المقـــــرر التحقق والتدقيق للبربمجيات

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

التقتيات الشكلية: إثبات صحة البرامج – فحص خاصية تجانس و تكامل البرمجيات – بيانات الفحص – التفتيش عن الاخطاء ومراجعتها – فحص البرمجيات كوحدات ونماذج – فحص النظم البرمجية بطريقتي الصندوق الابيض والاسود – فحص وظائف النظم بطريقتي الفحص "ألفا" و"بيتا" – تكاملية النظام – ادوات دعم عمليات فحص الأنظمة – العيوب البرمجية مقابل الاخفاقات – التحقق من تطابق تنفيذ النظام مع مكونات التصميم والمتطلبات – تقنيات البرمجيات الحرجة – الجديرة بالثقة مقابل الموثوقية –  تحليل الأمان – النسخ البرمجية المتعددة – البرمجيات الموثوقة –  دراسة حالة.

المراجع العلمية (( كتب ومقالات علمية((

CSC 536 Software Verification and Validation

Textbook

Dasso, A. “Verification, Validation And Testing In Software Engineering, 2006.

 References

1-    Fisher, M.S. “Software Verification And Validation: An Engineering And Scientific Approach”, 2006.

2-    Patton, R. “Software Testing”, 2nd Edition, 2005.

 

 

رقم ورمز المـقرر: 538 عال        اسم المقـــــرر هندسة المعرفة

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

خطوات هندسة المعرفة – التعرف على تطبيق قواعد المعرفة – تقنيات استخلاص المعرفة (تشمل تقنيات المقابلة وشبكات "لافرنس"، قاموس المفاهيم، شجرة اختصار الوصول الى الهدف، ... ) نمذجة المعرفة بناءً على طريقة النمذجة "كومن كادس"– تطوير قواعد المعرفة: المخطط  الجزئي، المخطط التفاعلي، التحقق والتدقيق لقواعد المعرفة.

المراجع العلمية (( كتب ومقالات علمية((

CSC 538   Knowledge Engineering

Textbook

Kendal, Simon, Creen, Malcolm, “An Introduction to Knowledge Engineering”, 2007.

References

1-    Schneider, K. “Experience and Knowledge Management in Software Engineering” , 2009

2-    Milton N.R. “Knowledge Acquisition in Practice: A Step-by-step Guide (Decision Engineering)”, Amazon.com, 2007.

3-    Knowledge Engineering: “Practice and Patterns: 16th International Conference, EKAW 2008”, Acitrezza, Sicily, Italy, September 29-October 2, 2008.

 

 

رقم ورمز المـقرر: 539 عال        اسم المقـــــرر التطورات الجديدة في لغات البرمجة

عدد الوحدات: 3 ساعات معتمدة

ـــ وصف  المقرر

 استعراض اللغات الشكلية –   نماذج موحدة من لغات البرمجة –  مفهوم النوع –  نطاق المتغيرات –  الوظائف الفرعية –  البرمجة المنطقية –  بيئة التنفيذ –  البرمجة المرئية –  البرمجة الشيئية  –  تصميم وبرمجة لغات VOOR –  البرمجة في البيئة المرئية –  البرمجة المرئية وهندسة البرمجيات.

ـــ المراجع العلمية (( كتب ومقالات علمية((

Textbook

Scott M. L. “Programming Language Pragmatics” Morgan Kaufmann Publishers, 2005, ISBN: 9780126339512.

References

1. Gunter, C.A. “Semantics of Programming Languages: Structures and Techniques”, MIT Press, 1992, ISBN: 0262071436.

2. Winskel, G.  “The Formal Semantics of Programming Languages: An Introduction”, MIT Press, 2001, ISBN 13: 9780262731034.