From Unified Modeling Language/Modeling and Analysis of Real-Time Embedded Systems Component Based Specifications to Communicating Sequential Processes-Object Z Specifications
| العنوان بلغة أخرى: |
التحويل من مواصفات لغة النمذجة الموحدة / نمذجة وتحليل أنظمة الزمن الحقيقي الضمنية ذات البنية التكوينية إلى مواصفات العمليات المتسلسلة التواصلية - كائن زي |
|---|---|
| المؤلف الرئيسي: | السايح، خالد ناصر أحمد (مؤلف) |
| المؤلف الرئيسي (الإنجليزية): | Alsayeh, Khaled Nassir Ahmad |
| مؤلفين آخرين: | بطاز، محمد (مشرف) |
| التاريخ الميلادي: |
2018
|
| موقع: | البلقاء |
| الصفحات: | 1 - 58 |
| رقم MD: | 1465347 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة ماجستير |
| الجامعة: | جامعة فيلادلفيا |
| الكلية: | عمادة البحث العلمي والدراسات العليا |
| الدولة: | الاردن |
| قواعد المعلومات: | Dissertations |
| مواضيع: | |
| رابط المحتوى: |
| LEADER | 01870nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 1570384 | ||
| 041 | |a eng | ||
| 100 | |9 776662 |a السايح، خالد ناصر أحمد |e مؤلف |g Alsayeh, Khaled Nassir Ahmad | ||
| 245 | |a From Unified Modeling Language/Modeling and Analysis of Real-Time Embedded Systems Component Based Specifications to Communicating Sequential Processes-Object Z Specifications | ||
| 246 | |a التحويل من مواصفات لغة النمذجة الموحدة / نمذجة وتحليل أنظمة الزمن الحقيقي الضمنية ذات البنية التكوينية إلى مواصفات العمليات المتسلسلة التواصلية - كائن زي | ||
| 260 | |a البلقاء |c 2018 | ||
| 300 | |a 1 - 58 | ||
| 336 | |a رسائل جامعية | ||
| 502 | |b رسالة ماجستير |c جامعة فيلادلفيا |f عمادة البحث العلمي والدراسات العليا |g الاردن |o 0093 | ||
| 653 | |a هندسة البرمجيات |a لغة النمذجة الموحدة |a النظم البرمجية |a أنظمة التحكم | ||
| 700 | |a بطاز، محمد |g Bettaz, Mohamed |e مشرف |9 190516 | ||
| 856 | |u 9802-032-001-0093-T.pdf |y صفحة العنوان | ||
| 856 | |u 9802-032-001-0093-A.pdf |y المستخلص | ||
| 856 | |u 9802-032-001-0093-C.pdf |y قائمة المحتويات | ||
| 856 | |u 9802-032-001-0093-F.pdf |y 24 صفحة الأولى | ||
| 856 | |u 9802-032-001-0093-1.pdf |y 1 الفصل | ||
| 856 | |u 9802-032-001-0093-2.pdf |y 2 الفصل | ||
| 856 | |u 9802-032-001-0093-3.pdf |y 3 الفصل | ||
| 856 | |u 9802-032-001-0093-4.pdf |y 4 الفصل | ||
| 856 | |u 9802-032-001-0093-5.pdf |y 5 الفصل | ||
| 856 | |u 9802-032-001-0093-6.pdf |y 6 الفصل | ||
| 856 | |u 9802-032-001-0093-R.pdf |y المصادر والمراجع | ||
| 930 | |d y | ||
| 995 | |a Dissertations | ||
| 999 | |c 1465347 |d 1465347 | ||
عناصر مشابهة
-
A Generic Model for Enhancing the Dependability of Real Time Critical Systems
بواسطة: القهموس، غدير محمد راجي منشور: (2016) -
Software Configuration Management for Embedded and Real Time Software in Software Engineering Domain
بواسطة: الزواهرة، حنان حمدان أحمد منشور: (2017) -
Using Model Predictive Control in on Line of Real Time Control Systems with Applications to Level Process System
بواسطة: Alghazali, Alsharif منشور: (2014) -
COMPONENTS REPLICATION AND REDEPLOYMENT IN DISTRIBUTED SYSTEMS USING AGENTS
بواسطة: العريقي، سميح طه منشور: (2009) -
Dynamic Performance of a Sensorless Speed Control for Induction Motor Drives based on Model Reference Adaptive System
بواسطة: Mustafa, Haytham منشور: (2017)
