جین-ریموند ابریل
جین-ریموند ابریل | |
|---|---|
| زادهٔ | ۱۹۳۸ |
| ملیت | فرانسوی |
| شناخته‌شده برای | علامت‌گذاری زد روش بی |
| پیشینه علمی | |
| شاخه(ها) | علوم رایانه |
جین-ریموند ابریل (به فرانسوی: 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». در دانشنامهٔ ویکی‌پدیای انگلیسی.
 | این یک مقالهٔ خرد افراد است. می‌توانید با گسترش آن به ویکی‌پدیا کمک کنید. |