Jean-Raymond Abrial

Jean-Raymond Abrial
	; Jean-Raymond Abrial en 2012
Información personal
Nombre de nacimiento	Jean-Raymond François Dominique Abrial
Nacimiento	6 de noviembre de 1938; Versalles (Francia)
Fallecimiento	26 de mayo de 2025 (86 años); 5th arrondissement of Marseille (Francia)
Nacionalidad	Francesa
Familia
Padre	Raymond Abrial
Educación
Educado en	Escuela Politécnica
Información profesional
Ocupación	Informático teórico, ingeniero y periodista
Área	Ciencias de la computación, ingeniería de software, programación y ciencias de la información
Empleador	Escuela Politécnica Federal de Zúrich; Instituto de Informática y Matemáticas Aplicadas de Grenoble; Department of Computer Science, University of Oxford;
Miembro de	Academia Europæa (desde 2006)

Jean-Raymond Abrial (6 de noviembre de 1938^[1]-Marsella, 26 de mayo de 2025)^[2] fue un informático francés, inventor de los métodos formales Z y B.^[3]

Trayectoria

Abrial es el padre de la notación Z (utilizada normalmente para la especificación formal del software), durante su estancia en el Grupo de Investigación de Programación del Laboratorio de Computación de la Universidad de Oxford (ahora Departamento de Informática de la Universidad de Oxford), y posteriormente del Método B (utilizado normalmente para el desarrollo de software), dos métodos formales líderes para la ingeniería del software.

Es autor de The B-Book: Assigning Programs to Meanings.^[4] Durante gran parte de su carrera ha sido consultor independiente,^[5] Ha sido profesor en la Escuela Politécnica Federal de Zúrich, en Suiza.^[6]

Referencias

↑ Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (17 de abril de 2019). Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures (en inglés). Springer. ISBN 978-3-030-17601-3.
↑ Thomas Lancaster (4 de junio de 2025). «Sad to read that Jean-Raymond Abrial passed away recently at the age of 86». X (en inglés). Consultado el 4 de junio de 2025.
↑ «Jean-Raymond Abrial». DBLP (en inglés). Consultado el 25 de diciembre de 2020.
↑ Jean-Raymond Abrial (1996). The B-Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press. ISBN 0-521-49619-5.
↑ «Academy of Europe: Abrial Jean-Raymond». www.ae-info.org. Consultado el 17 de mayo de 2020.
↑ Abrial, Jean-Raymond (22 de agosto de 2005). «Managing the Construction of Large Computerized Systems». Department of Computer Science, ETH Zurich, Switzerland. Archivado desde el original el 26 de septiembre de 2011. Consultado el 26 de septiembre de 2011.

Enlaces externos

Datos: Q3169881
Multimedia: Jean-Raymond Abrial / Q3169881

[1] Bowen, Jonathan P.; Liu, Zhiming; Zhang, Zili (17 de abril de 2019). Engineering Trustworthy Software Systems: 4th International School, SETSS 2018, Chongqing, China, April 7–12, 2018, Tutorial Lectures (en inglés). Springer. ISBN 978-3-030-17601-3.

[2] Thomas Lancaster (4 de junio de 2025). «Sad to read that Jean-Raymond Abrial passed away recently at the age of 86». X (en inglés). Consultado el 4 de junio de 2025.

[3] «Jean-Raymond Abrial». DBLP (en inglés). Consultado el 25 de diciembre de 2020.

[4] Jean-Raymond Abrial (1996). The B-Book: Assigning Programs to Meanings. Cambridge: Cambridge University Press. ISBN 0-521-49619-5.

[5] «Academy of Europe: Abrial Jean-Raymond». www.ae-info.org. Consultado el 17 de mayo de 2020.

[6] Abrial, Jean-Raymond (22 de agosto de 2005). «Managing the Construction of Large Computerized Systems». Department of Computer Science, ETH Zurich, Switzerland. Archivado desde el original el 26 de septiembre de 2011. Consultado el 26 de septiembre de 2011.

[1]

[2]

[3]

[4]

[5]

[6]