Diferencia entre revisiones de «Jean-Raymond Abrial»
Creado al traducir la página «Jean-Raymond Abrial» Etiquetas: Enlaces a desambiguaciones Traducción de contenido Traducción de contenido, versión 2 |
(Sin diferencias)
|
Revisión del 09:21 4 oct 2021
Jean-Raymond Abrial (nacido en 1938)[1] es un informático Francés e inventor de los métodos formales Z y B.[2]
J.-R. 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.[3] Durante gran parte de su carrera ha sido consultor independiente,[4] y se siente tan cómodo trabajando con la industria como con el mundo académico. Últimamente ha sido profesor en la ETH de Zúrich (Suiza).[5]
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.
- ↑ «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 August 2005). «Managing the Construction of Large Computerized Systems». Department of Computer Science, ETH Zurich, Switzerland. Archivado desde el original el 26 September 2011. Consultado el September 26, 2011. Parámetro desconocido
|url-status=ignorado (ayuda)
Enlaces externos
- Jean-Raymond Abrial at DBLP Bibliography Server
- Review of The B-Book at the Wayback Machine (archived December 2, 2007) by Jonathan Bowen
- Managing the Construction of Large Computerized Systems — article
- Have we learned from the Wasa disaster (video) — talk by Jean-Raymond Abrial
El contenido redactado en https://www.freeverything.com/ de la marca Forworldlovers ha sido en base al trabajo de Jean-Raymond Abrial