حول هذا المنتج
ملخص الكتاب يمثل هذا الكتاب أعمال الندوة الدولية السابعة عشرة SPIN حول برمجيات التحقق من النماذج، SPIN 2010، التي عُقدت في University of Twente، في Enschede، هولندا، في سبتمبر 2010. وقد تمت مراجعة واختيار 13 ورقة بحثية كاملة ومراجعة بعناية، مقدمة مع ورقتي أدوات و3 محاضرات مدعوة، من بين 33 بحثاً مُقدماً. تم تنظيم الأوراق البحثية في أقسام موضوعية تشمل القابلية للإرضاء بموجب النظريات للتحقق من النماذج، والتحقق من النماذج في سياقات مختلفة (المحاكاة، والاختبار، ولغة النمذجة الموحدة UML)، وتنفيذ وأداء التحقق من النماذج، ومنطق الخط الزمني الخطي LTL وآلات بوشي Buchi، والتوسعات لأنظمة الحالة اللانهائية، والبرمجيات المتزامنة.
- المميزات
- يمثل هذا الكتاب أعمال الندوة الدولية السابعة عشرة SPIN حول فحص النماذج البرمجية (Model Checking Software)، SPIN 2010، التي عُقدت في جامعة Twente، في Enschede، هولندا، في سبتمبر 2010.
- المؤلف (المؤلفون): Jaco Van Der Pol & Michael Weber
- 263 صفحة
- أجهزة الكمبيوتر، وتطوير البرمجيات والهندسة
المواصفات
- الأبعاد (الإجمالية)
9.0 بوصة (ارتفاع) × 6.0 بوصة (عرض) × 0.8 بوصة (عمق)
- الوزن
1.05 رطل
- العمر المقترح
22 سنة فما فوق
- عدد الصفحات
263
- الفئة
أجهزة الكمبيوتر
- الفئة الفرعية
تطوير وهندسة البرمجيات
- الناشر
Springer
- الموضوع
عام
- التنسيق
غلاف ورقي
- المؤلف
Jaco Van Der Pol & Michael Weber
- اللغة
الإنجليزية