دليل المراجعة · GKU 2

دليل مراجعة أساسيات الهندسة (هندسة البرمجيات)

أساسيات الهندسة هي الرياضيات والحكم الهندسي اللذان تفترضهما بقية هندسة البرمجيات ضمناً. الجزء الأول رياضيات متقطعة: المجموعات والعلاقات والدوال، والبنى الجبرية التي تقوم عليها أرقام التحقق والتشفير، ومنطق القضايا ومنطق المحمولات، وتقنيات البرهان التي تُثبت صحة البرنامج لا مجرد نجاحه في الاختبار، والعدّ، والبيانات والأشجار بوصفها نماذج للشبكات والاعتماديات، والاحتمال المتقطع. والجزء الثاني منهج المهندس: كيف يصمّم حلاً وفق معايير، ويقيس البرمجيات قياساً صحيحاً، ويُجري تجربة عادلة، ويقرأ الارتباط، ويوفّق خط انحدار، وينمذج النظام قبل بنائه. والجزء الثالث المال: القيمة الزمنية للنقود، وصافي القيمة الحالية وكلفة دورة الحياة، والموازنات، والقيمة المكتسبة، والتعرض للمخاطر، واقتصاديات الإسناد الخارجي والنقل إلى الخارج. ويبدأ كل قسم ببطاقة مراجعة سريعة، وتتدرج الأمثلة المحلولة من السهل إلى مستوى الاختبار؛ وقد تُحقق من كل رقم فيها بتشغيله.