Requirements Elaboration Using Model Checking and Inductive Learning
| المؤلف الرئيسي: | Al Rajeh, Dalal S. (Author) |
|---|---|
| مؤلفين آخرين: | Russo, Alessandra (Super) |
| التاريخ الميلادي: |
2009
|
| موقع: | لندن |
| الصفحات: | 1 - 286 |
| رقم MD: | 604693 |
| نوع المحتوى: | رسائل جامعية |
| اللغة: | الإنجليزية |
| الدرجة العلمية: | رسالة دكتوراه |
| الجامعة: | University of London |
| الكلية: | Imperial college of science, Technology and Medicine |
| الدولة: | بريطانيا |
| قواعد المعلومات: | +Dissertations |
| مواضيع: | |
| رابط المحتوى: |
الناشر لهذه المادة لم يسمح بإتاحتها. |
عناصر مشابهة
-
Extracting Requirements from Scenarios Using Inductive Logic Programming
بواسطة: Al Rajeh, Dalal S. منشور: (2005) -
USING SAS FOR COMPUTATIONS IN FIXED EFFECTS LINEAR MODELS
بواسطة: AI Karni, Said Hofan M. منشور: (1993) -
Requirements elicitation model for the context-aware pervasive systems
بواسطة: Al Brrak, Ahmad Mohammed منشور: (2010) -
CONSISTENCY CHECKING IN MULTIPLE UML STATE DIAGRAMS USING SUPER STATE ANALYSIS
بواسطة: Al Anazi, Mohammad N. منشور: (2008) -
DataLord : A Model for Controlling Privacy in the web of Linked Data
بواسطة: Al Azizy, Dalal منشور: (2010)
