وصف المقررات - ماجستير علوم الحاسب
تحتوي الصفحة على وصف المسارات التالية:
مقررات مسار قواعد البيانات والتنقيب عنها
مقررات مسار الرسم بالحاسب واتصال الإنسان بالآلة
مقررات مسار نظم الحاسب والشبكات
مقررات مسار هندسة البرمجيات وهندسة المعرفة
المقررات الرئيسية
عدد الوحدات: 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)
عدد الوحدات: 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.
عدد الوحدات: 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”.
عدد الوحدات: 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.
عدد الوحدات: 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.
وصف مقررات مسار الذكاء الإصطناعي
عدد الوحدات: 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.
عدد الوحدات: 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.
عدد الوحدات: 3 ساعات معتمدة
ـــ وصف المقرر
نظم الخبرة – عرض نماذج تمثيل المعرفة – النظم المبنية على قاعدة المعرفة – قواعد الستقراء – القرار – الإختزال – التفكير مع عدم اليقين – تطوير قالب لأحد نظم قواعد المعرفة من اكتساب المعرفة (المقابالات مع خبير في الميدان) – نمذجه و تصميم المعرفة واختبارها و وضعها حيز التنفيذ – نظام تطوير قالب باستخدام أدوات مثل "كليبس". CLIPS
ـــ أهداف المقرر
ـــ المراجع العلمية (( كتب ومقالات علمية ))
CSC 554 Knowledge-Based Systems
Textbook
Ullman J. D., “Principles of Database and Knowledge-Base Systems Volume II: The New Technologies”.
عدد الوحدات: 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.
عدد الوحدات: 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. Parker, J. R. “Algorithms for Image Processing and Computer Vision”, John Wiley & Sons, Inc.1997.
عدد الوحدات: 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.
وصف مقررات مسار قواعد البيانات والتنقيب عنها
عدد الوحدات: 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.
عدد الوحدات: 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
عدد الوحدات: 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.
عدد الوحدات: 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.
وصف مقررات مسار الرسم بالحاسب واتصال الإنسان بالآلة
عدد الوحدات: 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.
عدد الوحدات: 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.
عدد الوحدات: 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//acm.org).
عدد الوحدات: 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.
وصف مقررات مسار نظم الحاسب والشبكات
عدد الوحدات: 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.
عدد الوحدات: 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.
عدد الوحدات: 3 ساعات معتمدة
ـــ وصف المقرر
المفاهيم العامة لنظم التشغيل – التوزيع : المفاهيم و التعاريف، معمارية نظم التوزيع، التحكم في النظم الموزعة: المركزية و المفارنة مع التوزيع – التصنيف والتطبيق للطرق المختلفة للتسمية – الاتصالات ما بين الإجراءات – جدولة الموارد تأثيرها على مشاركة الحِمل – موازنة الحِمل – تجول الإجراء – تزامن الساعة – التحكم التنافسي في البئا ت الموزعة.
ـــ المراجع العلمية (( كتب ومقالات علمية ))
CSC 514 Distributed Systems
Textbook
Tanenbaum A. and M. V, Steen, “Distributed Systems”, 2007.
عدد الوحدات: 3 ساعات معتمدة
ـــ وصف المقرر
التعريفات والتصنيف – معدات وبرمجيات نظم الزمن الحقيقي – تطبيقات ودعم لغات الزمن الحقيقي – الواجهات المخصصة للمعدات – تجميع البيانات ومعالجتها – انواع ومستويات التحكم في نظم الزمن الحقيقي (على سبيل المثال التحكم في الدائرة المغلقة) – نظم التشغيل للزمن الحقيقي – التوقع – منهجيات التصميم والتطبيق.
ـــ المراجع العلمية (( كتب ومقالات علمية )(
CEN 516 Design and Implementation of Real-time Systems
Textbook
Williams R., “Real-time Systems Development”, 2006.
عدد الوحدات: 3 ساعات معتمدة
ـــ وصف المقرر
منهاج الرسم النظري – معايير تقييم ترابط الشبكات – مواضيع في تصميم ترابط الشبكات – النصنيف والتقييم – حواسيب عالية الاداء – تصنيف "فلاينس" – تسريع الحسابات – العوامل المؤثرة في تقليص السرعة – قوانين "قروش" و "أمدهل" – أنواع ترابطات الشبكات – مثل التجزئة، الشجرة الثنائية، الشجرة الفوقية، الهرمية، الفراشة، المكعب الفوقي، الدوائر المكعبات المتصلة – التبديل بالإزاحة، "ديبروجن"، شبكات النجمة و الشبكات النجمية الدائرية المتصلة.
ـــ المراجع العلمية (( كتب ومقالات علمية((
CEN 518 Interconnection Networks
Textbook
Duato, J., Yolamanchili, S., Ni, L. “Interconnection Networks: An Engineering Approach”, 2007.
وصف مقررات مسار هندسة البرمجيات وهندسة المعرفة
عدد الوحدات: 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.
عدد 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.
عدد الوحدات: 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.
عدد الوحدات: 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.
عدد الوحدات: 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.
عدد الوحدات: 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.