حول هذا المنتج
عن الكتاب نهج لتصميم البرمجيات يقدم تحليلاً مؤتمتاً بالكامل يمنح المصممين نتائج فورية، ويتميز الآن بأحدث إصدار من لغة Alloy. ملخص الكتاب نهج لتصميم البرمجيات يقدم تحليلاً مؤتمتاً بالكامل يمنح المصممين نتائج فورية، ويتميز الآن بأحدث إصدار من لغة Alloy. في كتاب Software Abstractions، يقدم Daniel Jackson نهجاً لتصميم البرمجيات يعتمد على الأساليب الرسمية التقليدية، ولكنه يستغل الأدوات المؤتمتة لاكتشاف العيوب في أبكر وقت ممكن. يعتمد هذا النهج -الذي يطلق عليه Jackson اسم "الأساليب الرسمية خفيفة الوزن" أو "النمذجة الرشيقة"- على فكرة المواصفات الرسمية القائمة على تدوين دقيق ومعبر يعتمد على نواة صغيرة من المفاهيم البسيطة والقوية، ولكنه يستبدل التحليل التقليدي القائم على إثبات النظريات بتحليل مؤتمت بالكامل يمنح المصممين نتائج فورية. وقد طور Jackson لغة Alloy، التي تلخص جوهر تجريدات البرمجيات ببساطة وإيجاز، باستخدام مجموعة أدوات محدودة من المفاهيم الرياضية. تُحدّث هذه الطبعة المنقحة النص والأمثلة والملاحق لتكون متوافقة تماماً مع Alloy 4.
نبذة عن المؤلف دانيال جاكسون هو مصور فوتوغرافي وأستاذ لعلوم الحاسوب في MIT. عُرضت صوره للمختبرات المعاصرة في متحف MIT بالتزامن مع معرض رئيسي لأعمال Berenice Abbott في MIT عام 2012، كما ظهرت صور أخرى في معارض جماعية في جميع أنحاء البلاد.
- المميزات
- منهج لتصميم البرمجيات يقدم تحليلاً مؤتمتاً بالكامل يمنح المصممين ملاحظات فورية، ويضم الآن أحدث إصدار من لغة Alloy.
- نبذة عن المؤلف: Daniel Jackson هو مصور فوتوغرافي وأستاذ لعلوم الحاسوب في MIT.
- 376 صفحة
- الحواسيب، وتطوير البرمجيات والهندسة
المواصفات
- الأبعاد (الإجمالية)
8.9 بوصة (ارتفاع) × 5.9 بوصة (عرض) × .8 بوصة (عمق)
- الوزن
1.1 رطل
- العمر المقترح
22 سنة فما فوق
- عدد الصفحات
376
- النوع
أجهزة الكمبيوتر
- النوع الفرعي
تطوير وهندسة البرمجيات
- الناشر
MIT Press
- الموضوع
تحليل وتصميم الأنظمة
- التنسيق
غلاف ورقي
- المؤلف
Daniel Jackson
- اللغة
الإنجليزية