![](/images/graphics-bg.png)
Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams
المؤلفون المشاركون
Shaikh, Asadullah
Memon, Nasrullah
Wiil, Uffe Kock
المصدر
Advances in Software Engineering
العدد
المجلد 2011، العدد 2011 (31 ديسمبر/كانون الأول 2011)، ص ص. 1-18، 18ص.
الناشر
Hindawi Publishing Corporation
تاريخ النشر
2011-09-27
دولة النشر
مصر
عدد الصفحات
18
التخصصات الرئيسية
الملخص EN
UML/OCL class diagrams provide high-level descriptions of software systems.
Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save time and effort of software developers.
Therefore, verification of these class diagrams is essential in order to generate accurate transformations.
Verification of UML/OCL class diagrams is a quite challenging task when the input is large (i.e., a complex UML/OCL class diagram).
In this paper, we present (1) a benchmark for UML/OCL verification and validation tools, (2) an evaluation and analysis of tools available for verification and validation of UML/OCL class diagrams including the range of UML support for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.
نمط استشهاد جمعية علماء النفس الأمريكية (APA)
Shaikh, Asadullah& Wiil, Uffe Kock& Memon, Nasrullah. 2011. Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams. Advances in Software Engineering،Vol. 2011, no. 2011, pp.1-18.
https://search.emarefa.net/detail/BIM-466624
نمط استشهاد الجمعية الأمريكية للغات الحديثة (MLA)
Shaikh, Asadullah…[et al.]. Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams. Advances in Software Engineering No. 2011 (2011), pp.1-18.
https://search.emarefa.net/detail/BIM-466624
نمط استشهاد الجمعية الطبية الأمريكية (AMA)
Shaikh, Asadullah& Wiil, Uffe Kock& Memon, Nasrullah. Evaluation of Tools and Slicing Techniques for Efficient Verification of UMLOCL Class Diagrams. Advances in Software Engineering. 2011. Vol. 2011, no. 2011, pp.1-18.
https://search.emarefa.net/detail/BIM-466624
نوع البيانات
مقالات
لغة النص
الإنجليزية
الملاحظات
Includes bibliographical references
رقم السجل
BIM-466624
قاعدة معامل التأثير والاستشهادات المرجعية العربي "ارسيف Arcif"
أضخم قاعدة بيانات عربية للاستشهادات المرجعية للمجلات العلمية المحكمة الصادرة في العالم العربي
![](/images/ebook-kashef.png)
تقوم هذه الخدمة بالتحقق من التشابه أو الانتحال في الأبحاث والمقالات العلمية والأطروحات الجامعية والكتب والأبحاث باللغة العربية، وتحديد درجة التشابه أو أصالة الأعمال البحثية وحماية ملكيتها الفكرية. تعرف اكثر
![](/images/kashef-image.png)