جین-ریموند ابریل (به فرانسوی: Jean-Raymond Abrial) متولد ۱۹۳۸، یک دانشمند رایانه ی فرانسوی است که روش های صوری زد و بی را اختراع کرد.ابریل پدر دو روش صوری مهندسی نرم افزار علامت گذاری زد (که معمولاً برای مشخصات صوری نرم افزارها استفاده می شود)، که در زمان فعالیتش در گروه تحقیقاتی برنامه نویسی آزمایشگاه رایانش دانشگاه آکسفورد (الان دپارتمان علوم رایانه دانشگاه آکسفورد) ایجاد کرد و روش بی (که معمولا...
