CONSISTENCY CHECKING IN MULTIPLE UML STATE DIAGRAMS USING SUPER STATE ANALYSIS
| المؤلف الرئيسي: | Al Anazi, Mohammad N. |
|---|---|
| مؤلفين آخرين: | Gustafson, David A. (super) |
| التاريخ الميلادي: |
2008
|
| موقع: | مانهاتن |
| الصفحات: | 1 - 91 |
| رقم MD: | 614964 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | العربية |
| الدرجة العلمية | رسالة دكتوراه |
| الجامعة | Kansas State University |
| الكلية | College of Engineering |
| الدولة | الولايات المتحدة الأمريكية |
| المصدر: | قاعدة المنظومة للرسائل الجامعية |
| الحالة | تمت المناقشة |
| قواعد المعلومات: | Thesis |
| رابط المحتوى: |
| LEADER | 01002nam a22002177a 4500 | ||
|---|---|---|---|
| 001 | 0026706 | ||
| 040 | |a قاعدة المنظومة للرسائل الجامعية | ||
| 041 | |a ara | ||
| 100 | |9 9489 |a Al Anazi, Mohammad N. |e auth. | ||
| 245 | |a CONSISTENCY CHECKING IN MULTIPLE UML STATE DIAGRAMS USING SUPER STATE ANALYSIS | ||
| 260 | |a مانهاتن |c 2008 | ||
| 300 | |a 1 - 91 | ||
| 336 | |a رسائل جامعية | ||
| 502 | |b رسالة دكتوراه |c Kansas State University |f College of Engineering |g الولايات المتحدة الأمريكية |o 0001 | ||
| 653 | |a الحاسبات الإلكترونية |a البرامج الإلكترونية |a الرسوم البيانية |a تصميم البرامج | ||
| 700 | |9 31953 |a Gustafson, David A. |e super | ||
| 856 | |u http://search.mandumah.com/Record/614964 |y المستخلص من قاعدة المنظومة للرسائل الجامعية | ||
| 940 | |a تمت المناقشة | ||
| 950 | |c 614964 | ||
| 995 | |a Thesis | ||
| 999 | |c 195254 |d 195254 | ||
عناصر مشابهة
-
Requirements Elaboration using Model Checking and Inductive Learning
بواسطة: Al Rajeh, Dalal S. منشور: (2009) -
GUIs from state charts
بواسطة: Al Matrood, Mohammed منشور: (2011) -
Analysis of Cloud Computing and its Effects in the Gulf States
بواسطة: Al Ajmi, Rajeh منشور: (2010) -
Computer - Aided Linear Circuit Analysis
بواسطة: Al Fakhri, Waleed A. منشور: (1988) -
Extracting Requirements from Scenarios Using Inductive Logic Programming
بواسطة: Al Rajeh, Dalal S. منشور: (2005)