جین-ریموند ابریل
جین-ریموند ابریل | |
|---|---|
 | |
| زادهٔ | ۶ نوامبر ۱۹۳۸ ورسای، فرانسه |
| درگذشت | ۲۶ مهٔ ۲۰۲۵ (۸۶ سال) مارسی، فرانسه |
| ملیت | فرانسوی |
| شناخته‌شده برای | علامت‌گذاری زد روش بی |
| پیشینه علمی | |
| شاخه(ها) | علوم رایانه |
جین-ریموند ابریل (به فرانسوی: Jean-Raymond Abrial) (۶ نوامبر ۱۹۳۸ - ۲۶ مهٔ ۲۰۲۵)، دانشمند رایانه‌ی فرانسوی بود که روش‌های صوری زد و بی را اختراع کرد.
ابریل پدر دو روش صوری مهندسی نرم‌افزار علامت‌گذاری زد (که معمولاً برای مشخصات صوری نرم‌افزارها استفاده می‌شود)، که در زمان فعالیتش در گروه تحقیقاتی برنامه‌نویسی آزمایشگاه رایانش دانشگاه آکسفورد (الان دپارتمان علوم رایانه دانشگاه آکسفورد) ایجاد کرد و روش بی (که معمولاً در توسعه نرم‌افزار استفاده می‌شود) بود.
وی نویسنده‌ی کتاب بی: تعیین برنامه برای مفهوم[۱] است. او بیشتر عمر کاری خود را به صورت مشاور مستقل و کار در خانه گذراند. ابریل از سال ۲۰۰۴ تا ۲۰۰۹ استاد مؤسسه فناوری فدرال زوریخ سوئیس بود.[۲]
پانویس
- ↑ شابک ۰−۵۲۱−۴۹۶۱۹−۵، The B-Book: Assigning Programs to Meanings.
- ↑ Abrial, Jean-Raymond (22 August 2005). "Managing the Construction of Large Computerized Systems". Department of Computer Science, ETH Zurich, Switzerland. Archived from the original on 26 September 2011. Retrieved September 26, 2011.
منابع
- مشارکت‌کنندگان ویکی‌پدیا. «Jean-Raymond Abrial». در دانشنامهٔ ویکی‌پدیای انگلیسی.