جان ريمون أبريال

📅 آخر تحديث: ٣١ يوليو ٢٠٢٦
✍️ نُشر في: ٣١ يوليو ٢٠٢٦
الموسوعة الحرة

كان جان ريمون أبريال (6 نوفمبر 1938 - 26 مايو 2025) عالم حاسوب فرنسي ومبتكر أساليب Z و B الرسمية . [ 1 ] [ 2 ] [ 3 ]

الحياة والمهنة

وُلد أبريال في 6 نوفمبر 1938. [ 4 ] كان طالبًا في المدرسة المتعددة التقنيات (دفعة 1958). [ 5 ] [ 6 ] كما التحق بدورات الماجستير في جامعة ستانفورد خلال الفترة 1963-1965. [ 1 ]

وضعت ورقة أبريال لعام 1974 بعنوان "دلالات البيانات " [ 7 ] الأساس لنهج رسمي لنماذج البيانات ؛ على الرغم من عدم اعتمادها بشكل مباشر من قبل الممارسين، إلا أنها أثرت بشكل مباشر على جميع النماذج اللاحقة من نموذج الكيان-العلاقة إلى RDF .

يُعتبر جيه-آر. أبريال مؤسس تدوين Z (المستخدم عادةً في المواصفات الرسمية للبرمجيات)، وذلك خلال فترة عمله في مجموعة أبحاث البرمجة تحت إشراف البروفيسور توني هوار في مختبر الحوسبة بجامعة أكسفورد ( قسم علوم الحاسوب بجامعة أكسفورد حاليًا )، حيث انضم عام 1979 وشارك مكتبًا مع كليف جونز وتعاون معه . [ 8 ] [ 9 ] وقد أطلق لاحقًا منهجية B ، التي توفر دعمًا أفضل لتطوير البرمجيات باستخدام الأدوات، بهدف تحسينها من المواصفات عالية المستوى إلى برنامج قابل للتنفيذ ، بما في ذلك أداة رودين . تُعدّ هاتان المنهجيتان من أهم مناهج الأساليب الرسمية في هندسة البرمجيات . وهو مؤلف كتاب "كتاب B: إسناد المعاني للبرامج" . [ 10 ] عمل أبريال مستشارًا مستقلًا طوال معظم مسيرته المهنية. [ 11 ] كما شغل منصب أستاذ زائر في المعهد الفدرالي السويسري للتكنولوجيا في زيورخ (ETH Zurich) من عام 2004 إلى عام 2009. [ 12 ] وقد طوّر منهجية B لاحقًا تحت مسمى Event-B . [ 13 ]

انتُخب أبريال عضواً في الأكاديمية الأوروبية عام 2006. [ 11 ] وإلى جانب كونه عالماً في علوم الحاسوب، كان أيضاً مستكشفاً في شمال إفريقيا وأماكن أخرى. [ 14 ]

موت

توفي في 26 مايو 2025، عن عمر يناهز 86 عامًا. [ 15 ]

انظر أيضاً

مراجع

  1. 1 2 بوين، جوناثان ب .؛ هابرياس، هنري (أبريل–يونيو 2025). "جان ريموند أبريال: سيرة علمية لرائد في الأساليب الرسمية". حوليات IEEE لتاريخ الحوسبة . 48. جمعية IEEE للحاسبات : 71–80 . arXiv : 2604.07353 . doi : 10.1109 /MAHC.2026.3685515 .
  2. ↑ هابرياس، هنري؛ بوين، جوناثان ب. (يوليو 2025). "في ذكرى جان ريموند أبريال (1938-2025)" (ملف PDF) . حقائق FACS . المجلد 2025، العدد 2. BCS - FACS . الصفحات 6-10 . ISSN 0950-1231 .    
  3. ↑ بوين، جوناثان ب .؛ هابرياس، هنري، محرران. (يناير 2026). "تكريمًا لجان ريموند أبريال" (ملف PDF) . مجلة FACS FACTS . المجلد 2026، العدد 1. BCS - FACS . الصفحات 15-89 . ISSN 0950-1231 .    
  4. ↑ بوين، جوناثان ب .؛ ليو، زيمينغ؛ تشانغ، زيلي (17 أبريل 2019). "تأثير آلان تورينج: الأساليب الرسمية وما بعدها" . هندسة أنظمة البرمجيات الموثوقة: المدرسة الدولية الرابعة، SETSS 2018، تشونغتشينغ، الصين، 7-12 أبريل 2018، محاضرات تعليمية . سبرينغر. ص 211. doi : 10.1007/978-3-030-17601-3_5 . ISBN  978-3-030-17601-3.
  5. ↑ "جان ريموند أبريال" . ieeexplore.ieee.org . معهد مهندسي الكهرباء والإلكترونيات . تم الاطلاع عليه في 5 يونيو 2025 .
  6. ^ "ACONIT-PSTC: جان ريموند أبريال، حياة بحثية مبنية على فكرة المعلومات المعلوماتية" . echosciences-grenoble.fr (باللغة الفرنسية). فرنسا: إيكو ساينسز غرونوبل . تم الاسترجاع في 5 يونيو 2025 .
  7. ↑ أبريال، جان ريموند (1974). "دلالات البيانات". مؤتمر عمل الاتحاد الدولي لمعالجة المعلومات حول إدارة قواعد البيانات . كارغيز، كورسيكا، فرنسا: الاتحاد الدولي لمعالجة المعلومات . الصفحات 1-60 . 
  8. ↑ جونز، كليف ؛ روسكو، بيل (2010). البصيرة والإلهام والتعاون (ملف PDF) . قسم علوم الحاسوب، جامعة أكسفورد . رمز Bibcode : 2010rwch.book....1J . تاريخ الاسترجاع: 28 سبتمبر 2023 .
  9. ↑ جيفينغ، هي ؛ جونز، كليف ؛ روسكو، بيل ؛ ستوي، جو ؛ سوفرين، برنارد ؛ بوين، جوناثان ب. (يوليو 2024). دينفير، تيم (محرر). "توني هوار في التسعين" (ملف PDF) . حقائق FACS . المجلد 2024، العدد 2. مجموعة المتخصصين في الجوانب الرسمية لعلوم الحاسوب ( FACS ). الصفحات 5-42 . الرقم الدولي الموحد للدوريات 0950-1231 . مؤرشف (ملف PDF) من الأصل في 10 يوليو 2024. تم الاسترجاع في 10 يوليو 2024 .    
  10. ↑ جان ريمون أبريال (1996). كتاب ب: إسناد البرامج إلى المعاني . كامبريدج: مطبعة جامعة كامبريدج . ISBN 0-521-49619-5.
  11. 1 2 "أكاديمية أوروبا: أبريال جان ريموند" . www.ae-info.org . تم الاطلاع عليه بتاريخ 17 مايو 2020 .
  12. ↑ أبريال، جان ريموند (22 أغسطس 2005). "إدارة بناء الأنظمة الحاسوبية الكبيرة" . قسم علوم الحاسوب، المعهد الفدرالي السويسري للتكنولوجيا في زيورخ ، سويسرا. مؤرشف من الأصل في 26 سبتمبر 2011. تم الاطلاع عليه في 26 سبتمبر 2011 .
  13. ↑ أبريال، جان ريموند (2010). النمذجة في Event-B: هندسة النظم والبرمجيات . مطبعة جامعة كامبريدج . ISBN 978-0521895569.
  14. ↑ آمي، برنارد (يناير 2026). "شهادات من برنارد آمي، الباحث ومتسلق الجبال، وجان لويس وأوديت بيرنيزات، مرشدي الجبال والصحراء" (ملف PDF) . مجلة FACS FACTS . المجلد 2026، العدد 1. BCS - FACS . الصفحات 19-23 . ISSN 0950-1231 .    
  15. ↑ "جيه آر أبريال، رائد في التطوير العلمي للغات الحاسوب" . lefenetrou.blogspot.com (بالفرنسية). 26 مايو 2025. تاريخ الاطلاع: 4 يونيو 2025 .