Richard Bornat (nacido en 1944), es un autor e investigador británico en el campo de la informática . También es profesor de programación informática en la Universidad de Middlesex . Previamente estuvo en Queen Mary, Universidad de Londres .
Investigar
Los intereses de investigación de Bornat incluyen la prueba de programas en lógica de separación . Su atención se centra en las pruebas mismas; en contraposición a cualquier fundamento lógico. Gran parte del trabajo implica descubrir formas de establecer las propiedades de los módulos independientes, de manera que su composición en sistemas útiles sea propicia.
Bornat (junto con Bernard Sufrin del Laboratorio de Computación de la Universidad de Oxford ) desarrolló Jape , una calculadora de pruebas ; está involucrado en la investigación sobre la usabilidad de esta herramienta para la exploración de pruebas novedosas.
Los estudiantes de doctorado de Richard Bornat han incluido a Samson Abramsky a principios de la década de 1980.
En 2004, uno de los estudiantes de Bornat desarrolló una prueba de aptitud para "dividir a las personas en programadores y no programadores antes de que entren en contacto con la programación". La prueba se aplicó por primera vez a un grupo de estudiantes en 2005 durante un experimento sobre el uso de modelos mentales en la programación. [1] En 2008 y 2014, Bornat se retractó parcialmente de algunas de las afirmaciones, [2] impugnando su validez como prueba para la capacidad de programación. [3]
Publicaciones
Bornat publicó un libro titulado "Comprensión y escritura de compiladores: una guía para hacerlo usted mismo" , que se considera uno de los recursos más extensos sobre el desarrollo de compiladores . Aunque ha estado agotado durante algún tiempo, ahora lo ha puesto a disposición como una edición en línea .
Otras publicaciones de Bornat incluyen:
- R. Bornat; 1987; Programación desde los primeros principios ; Serie Internacional de Prentice Hall en Ciencias de la Computación ; ISBN 0-13-729104-3 .
- Richard Bornat y Harold Thimbleby; 1989; La vida y los tiempos de ded, editor de pantalla; en JB Long y A. Whitefield (eds); Ergonomía cognitiva e interacción persona-computadora; Prensa de la Universidad de Cambridge ; págs. 225-255.
- Richard Bornat y Bernard Sufrin, 1999; Animación de pruebas formales en la superficie: la calculadora de pruebas {Jape}; The Computer Journal ; Vol. 42; No. 3; págs. 177-192.
- Aczel, JC, Fung, P., Bornat, R., Oliver, M., O'Shea, T. y Sufrin, B .; 1999; Influencias del diseño de software en el razonamiento formal; en Brewster, S., Cawsey, A. & Cockton, G. (Eds.) Actas de IFIP TC.13 International Conference on Human-Computer Interaction INTERACT '99; Vol. 2; págs. 3–4; Swindon, Reino Unido, British Computer Society ; ISBN 1-902505-19-0 .
- R. Bornat; 2000; Probar programas de puntero en Hoare Logic; en Backhouse & Oliveira (eds) MPC 2000; LNCS 1837; págs. 102-126.
- C. Calcagno, P. O'Hearn, R. Bornat; 2002; Lógica del programa y equivalencia en presencia de recolección de basura. Aparecer en el número especial de Informática Teórica sobre Fundamentos .
Referencias
- ^ Dehnadi, Saeed & Bornat, Richard (20 de febrero de 2006). "El camello tiene dos jorobas" (PDF) . Escuela de Computación, Universidad de Middlesex, Reino Unido. Archivado desde el original (PDF) el 22 de noviembre de 2009. Cite journal requiere
|journal=
( ayuda )CS1 maint: varios nombres: lista de autores ( enlace ) - ^ Bornat, Richard (24 de julio de 2014). "Camellos y jorobas: una retracción" (PDF) . Escuela de Ciencia y Tecnología, Universidad de Middlesex, Londres, Reino Unido. Cite journal requiere
|journal=
( ayuda ) - ^ "El camello no tiene dos jorobas: Programación" prueba de aptitud "enlatada para una conclusión exagerada - Vigilancia de retracción" . Reloj de retracción . 18 de julio de 2014 . Consultado el 13 de noviembre de 2017 .