هارلان ميلز

كان هارلان دنكان ميلز [ 1 ] (14 مايو 1919 - 8 يناير 1996) أستاذًا لعلوم الحاسوب في معهد فلوريدا للتكنولوجيا ومؤسس شركة هندسة البرمجيات والتكنولوجيا في فيرو بيتش ، فلوريدا (التي استحوذت عليها لاحقًا شركة كيو-لابز ). كان لإسهامات ميلز في هندسة البرمجيات أثرٌ عميقٌ ودائمٌ على التعليم والممارسة الصناعية. ومنذ حصوله على درجة الدكتوراه في الرياضيات من جامعة ولاية أيوا عام 1952، حقق ميلز مسيرة مهنية متميزة.

بصفته باحثًا في شركة IBM ، قام ميلز بتكييف أفكار موجودة من الهندسة وعلوم الحاسوب لتطبيقها في تطوير البرمجيات. وشملت هذه الأفكار نظرية الأوتوماتا ، ونظرية البرمجة الهيكلية لإدسكير ديكسترا وروبرت دبليو فلويد وغيرهما، واختبار البرمجيات باستخدام سلاسل ماركوف . ركزت عملية تطوير البرمجيات التي ابتكرها، والمعروفة باسم "الغرفة النظيفة "، على التصميم من أعلى إلى أسفل والمواصفات الرسمية . وقد أسهم ميلز بأفكاره في هذا المجال من خلال ستة كتب وأكثر من خمسين مقالة محكمة في المجلات التقنية.

أُطلق على ميلز لقب "المبرمج الخارق"، وهو مصطلح تطور لاحقًا إلى مفهوم " كبير المبرمجين " في شركة IBM.

الإنجازات

  • دكتوراه: جامعة ولاية أيوا ، 1952
  • أستاذ زائر (دوام جزئي) 1975-1987
  • أستاذ مساعد، 1987-1995
  • رئيس لجنة أبحاث علوم الحاسوب التابعة للمؤسسة الوطنية للعلوم والمعنية بمنهجية البرمجيات، 1974-1977
  • رئيس المؤتمر الوطني الأول لهندسة البرمجيات، 1975
  • محرر في مجلة IEEE Transactions on Software Engineering، 1975-1981
  • ممثل الولايات المتحدة لشؤون البرمجيات في مؤتمر الاتحاد الدولي لمعالجة المعلومات، 1977
  • حاكم جمعية مهندسي الكهرباء والإلكترونيات (IEEE) للحاسبات، 1980-1983
  • رئيس مؤتمر IEEE الخريفي للحوسبة، 1981
  • رئيس لجنة علوم الحاسوب، المجلس الاستشاري العلمي للقوات الجوية الأمريكية ، 1986
  • حائز على جائزة علوم المعلومات المتميزة، DPMA 1985
  • مصمم خوارزمية الجدولة الأولية لدوري كرة القدم الأمريكية ( http://trace.tennessee.edu/utk_harlan/407/ )
  • حائز على جائزة ACM SIGSOFT للبحوث المتميزة، [ 2 ] 1999.

نُظِّمَت الندوة التابعة لـ ICSE بعنوان "العلوم والهندسة لتطوير البرمجيات" تكريمًا لهارلان د. ميلز (1919-1996)، وتقديرًا لإرثه الخالد في نظرية وممارسة هندسة البرمجيات. وقد مُنِحَت جائزة "هارلان ميلز للرؤية العملية" السنوية الأولى عام 1996، وهي تُمنح لشخصٍ قدّم إسهامًا بارزًا ومؤثرًا في كلٍّ من نظرية وممارسة علوم المعلومات.

حياة مهنية

وقت مبكر من الحياة

وُلد ميلز في ليبرتي سنتر، أيوا . درس الفن في شبابه على يد غرانت وود . خلال الحرب العالمية الثانية ، أصبح ميلز طيارًا في سلاح الجو الأمريكي . كانت مهاراته في الطيران والتدريب عالية لدرجة أن الجيش كلفه بتدريب طيارين آخرين بدلًا من تكليفه بالقيام بمهام جوية.

تعليم

عمل ميلز في هيئات التدريس بجامعة ولاية آيوا ، وجامعة برينستون ، وجامعة نيويورك ، وجامعة جونز هوبكنز ، وجامعتي ماريلاند وفلوريدا، ومعهد فلوريدا للتكنولوجيا (FIT). في جامعتي جونز هوبكنز وماريلاند، أسس أحد أوائل المقررات الجامعية الأمريكية في البرمجة الهيكلية. وفي جامعة ماريلاند، طور مقررًا تمهيديًا جديدًا لطلاب السنة الأولى في علوم الحاسوب، مدته فصلان دراسيان، بالإضافة إلى كتاب " مبادئ برمجة الحاسوب: منهج رياضي " بالاشتراك مع باسيلي، وجانون، وهاملت. وفي معهد فلوريدا للتكنولوجيا، طور منهجًا جديدًا لطلاب السنة الأولى والثانية في هندسة البرمجيات باستخدام لغة آدا كلغة أساسية، وذلك بالتعاون مع زميليه إنجل ونيومان.

صناعة

كان ميلز زميلًا في شركة IBM وعضوًا في اللجنة الفنية للشركة، وعضوًا في الطاقم الفني في شركتي GE وRCA، ورئيسًا لشركتي Mathematica وSoftware Engineering Technology. في شركة GE، وضع منهجًا دراسيًا مدته ثلاثة أشهر في علوم الإدارة، حضره مئات من المديرين التنفيذيين في الشركة. وفي شركة IBM، كان المهندس الرئيسي لمعهد IBM لهندسة البرمجيات، حيث تلقى آلاف من موظفي IBM تدريبًا على الأسس الرياضية للبرمجيات. لاحقًا، جسّد المبادئ الرياضية والإحصائية للبرمجيات في عملية هندسة برمجيات Cleanroom. وبصفته مؤسس شركة Software Engineering Technology، أنشأ مؤسسة لنقل تكنولوجيا Cleanroom.

أمة

كان لدى ميلز اهتمامٌ راسخٌ بتعزيز ممارسات هندسة البرمجيات السليمة من خلال البرامج الفيدرالية. خلال الفترة التأسيسية لبرنامج داربا ستارز التابع لوزارة الدفاع الأمريكية في ثمانينيات القرن الماضي، قدّم مفاهيم أساسية لتطوير برمجيات عالية الجودة وذات إنتاجية عالية. في عام ١٩٨٦، شغل منصب رئيس لجنة علوم الحاسوب التابعة للمجلس الاستشاري العلمي للقوات الجوية الأمريكية. وخلال الفترة من ١٩٧٤ إلى ١٩٧٧، ترأس لجنة أبحاث علوم الحاسوب التابعة للمؤسسة الوطنية للعلوم والمعنية بمنهجية البرمجيات.

مهنة

كان ميلز عضوًا في لجان البرامج ومتحدثًا مدعوًا في العديد من المؤتمرات المهنية، ومحكمًا في العديد من المجلات المتخصصة في الرياضيات وعلوم الحاسوب. وشغل منصب محافظ جمعية الحاسبات التابعة لمعهد مهندسي الكهرباء والإلكترونيات (IEEE) بين عامي 1980 و1983. وفي عام 1981، ترأس مؤتمر IEEE الخريفي للحاسوب. وخلال الفترة من 1975 إلى 1981، عمل محررًا في مجلة IEEE للمعاملات في هندسة البرمجيات. وفي عام 1977، مثّل الولايات المتحدة في مجال البرمجيات في مؤتمر الاتحاد الدولي لمعالجة المعلومات (IFIP). وفي عام 1975، ترأس المؤتمر الوطني الأول لهندسة البرمجيات.

للمزيد من القراءة

  • يقدم كتاب لينجر وويت (1979)، البرمجة الهيكلية: النظرية والتطبيق ، نهج ميلز القائم على نظرية الوظائف للتحقق من البرامج
  • يتضمن كتاب "إنتاجية البرمجيات " (1983) مجموعة من أوراقه البحثية الرائدة حول فرق المبرمجين الرئيسيين، والتصميم من أعلى إلى أسفل، والبرمجة الهيكلية، وصحة البرامج، وغيرها من الأفكار الأساسية في هندسة البرمجيات.
  • يتضمن كتاب لينجر وهيفنر (1986)، مبادئ تحليل وتصميم نظم المعلومات ، اختزال ميلز للرياضيات المستخدمة في تحديد المواصفات والتصميم إلى ممارسة عملية.

مراجع

  1. "هارلان ميلز - مشروع علم الأنساب الرياضي" . mathgenealogy.org . تم الاطلاع عليه بتاريخ 21 يناير 2026 .
  2. "جائزة البحث المتميز" . SIGSOFT . تم الاطلاع عليه في 1 أبريل 2024 .

انظر أيضاً

  • عنوان البريد الإلكتروني: توفي هارلان ميلز هذا الأسبوع - رسالة من القائمة البريدية تتضمن التفاصيل
  • قائمة منشورات هارلان د. ميلز من خادم ببليوغرافيا DBLP