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 |
| مواضيع: | |
| رابط المحتوى: |
عناصر مشابهة
-
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) -
Goal-Driven and Business Processes Model-Based Test Cases for Dental Clinic Software Management Systems
بواسطة: أبو حصيني، فداء محمود منشور: (2024) -
COMPONENTS REPLICATION AND REDEPLOYMENT IN DISTRIBUTED SYSTEMS USING AGENTS
بواسطة: العريقي، سميح طه منشور: (2009)
