جین-ریموند ابریل

جین-ریموند ابریل  (۶ نوامبر ۱۹۳۸ - ۲۶ مهٔ ۲۰۲۵)، دانشمند رایانه‌ی فرانسوی بود که روش‌های صوری زد و بی را اختراع کرد.

ابریل پدر دو روش صوری مهندسی نرم‌افزار علامت‌گذاری زد (که معمولاً برای مشخصات صوری نرم‌افزارها استفاده می‌شود)، که در زمان فعالیتش در گروه تحقیقاتی برنامه‌نویسی آزمایشگاه رایانش دانشگاه آکسفورد (الان دپارتمان علوم رایانه دانشگاه آکسفورد) ایجاد کرد و روش بی (که معمولاً در توسعه نرم‌افزار استفاده می‌شود) بود.

وی نویسنده‌ی کتاب بی: تعیین برنامه برای مفهوم، The B-Book: Assigning Programs to Meanings. است. او بیشتر عمر کاری خود را به صورت مشاور مستقل و کار در خانه گذراند. ابریل از سال ۲۰۰۴ تا ۲۰۰۹ استاد مؤسسه فناوری فدرال زوریخ سوئیس بود.

 پانویس 

 منابع 


رده:زادگان ۱۹۳۸ (میلادی)
رده:درگذشتگان ۲۰۲۵ (میلادی)
رده:استادان دانشگاه صنعتی زوریخ
رده:دانشمندان رایانه اهل فرانسه
رده:محققان مهندسی نرم‌افزار
رده:مهندسان نرم‌افزار
رده:نشانه‌گذاری Z
رده:نویسندگان علوم رایانه
رده:دانش‌آموختگان مدرسه عالی پلی‌تکنیک