جین-ریموند ابریل
جین-ریموند ابریل (به فرانسوی: Jean-Raymond Abrial) متولد ۱۹۳۸، یک دانشمند رایانهی فرانسوی است که روشهای صوری زد و بی را اختراع کرد.
جین-ریموند ابریل | |
---|---|
زادهٔ | ۱۹۳۸ |
ملیت | فرانسوی |
شناختهشده برای | علامتگذاری زد روش بی |
پیشینه علمی | |
رشته(های) فعالیت | علوم رایانه |
ابریل پدر دو روش صوری مهندسی نرمافزار علامتگذاری زد (که معمولاً برای مشخصات صوری نرمافزارها استفاده میشود)، که در زمان فعالیتش در گروه تحقیقاتی برنامهنویسی آزمایشگاه رایانش دانشگاه آکسفورد (الان دپارتمان علوم رایانه دانشگاه آکسفورد) ایجاد کرد و روش بی (که معمولاً در توسعه نرمافزار استفاده میشود) میباشد.
وی نویسندهی کتاب بی: تعیین برنامه برای مفهوم[1] است. او بیشتر عمر کاری خود را به صورت مشاور مستقل و کار در خانه گذراند. به تازگی، ابریل استاد انستیتو تکنولوژی فدرال زوریخ سوئیس شده است.[2]
پانویس
- شابک ۰−۵۲۱−۴۹۶۱۹−۵ ، 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». در دانشنامهٔ ویکیپدیای انگلیسی.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.