El profesor Dines Bjørner (nacido el 4 de octubre de 1937 en Odense ) es un informático danés .
Cena Bjørner | |
---|---|
Nació | |
Nacionalidad | danés |
alma mater | Universidad técnica de Dinamarca |
Conocido por | Método de desarrollo de Viena , lenguaje de especificación RAISE |
Premios | Orden del Dannebrog (1985) |
Carrera científica | |
Campos | Ciencias de la Computación |
Instituciones | Universidad Técnica de Dinamarca Universidad de las Naciones Unidas |
Influencias | COCHE Hoare Michael A. Jackson |
Influenciado | Jonathan Bowen He Jifeng Cliff Jones Zhou Chaochen |
Se especializa en investigación en ingeniería de dominio , ingeniería de requisitos y métodos formales . [1] Trabajó con Cliff Jones y otros en el Método de Desarrollo de Viena (VDM) en el Laboratorio IBM de Viena (y en otros lugares). Posteriormente participó en la producción del método formal RAISE (Enfoque riguroso de la ingeniería de software industrial) con soporte de herramientas.
Bjørner fue profesor en la Universidad Técnica de Dinamarca (DTU) de 1965 a 1969 y de 1976 a 2007, antes de jubilarse en marzo de 2007. Fue responsable de la creación del Instituto Internacional de Tecnología de Software de la Universidad de las Naciones Unidas ( UNU-IIST ), Macao , en 1992 y fue su primer director. Su obra maestra sobre ingeniería de software (tres volúmenes) apareció en 2005/6. [2]
Para apoyar a VDM, Bjørner cofundó VDM-Europe, que posteriormente se convirtió en Formal Methods Europe , una organización que apoya conferencias y actividades relacionadas. En 2003, instigó la Asociación de la Industria de Técnicas Formales ForTIA asociada .
Bjørner se convirtió en caballero de la Orden de Dannebrog en 1985. Recibió un Dr.hc de la Universidad Masaryk , Brno , República Checa en 2004. En 2021, obtuvo un Dr. techn. de la Universidad Técnica de Dinamarca , Kongens Lyngby , Dinamarca . [3] Es miembro del IEEE (2004) y ACM (2005). También es miembro de la Academia Europaea desde 1989.
En 2007, se celebró un simposio en Macao en honor a Dines Bjørner y Zhou Chaochen . [4]
Bjørner está casado con Kari Bjørner, tiene dos hijos y cinco nietos. [5]
Libros seleccionados
- Ingeniería de software 1: Abstracción y modelado , Bjørner, D. Textos en informática teórica, Serie EATCS, Springer-Verlag . ISBN 3-540-21149-7 (2005).
- Ingeniería de software 2: Especificación de sistemas y lenguajes , Bjørner, D. Textos en informática teórica, Serie EATCS, Springer-Verlag . ISBN 3-540-21150-0 (2006).
- Ingeniería de software 3: Dominios, requisitos y diseño de software , Bjørner, D. Textos en informática teórica, Serie EATCS, Springer-Verlag . ISBN 3-540-21151-9 (2006).
- Especificación formal y desarrollo de software , Bjørner, D. y Jones, CB Prentice Hall International Series in Computer Science, Prentice Hall . ISBN 0-13-329003-4 (1982).
- El método de desarrollo de Viena: el metalenguaje, Bjørner, D. y Jones, CB (editores). Notas de la conferencia en Ciencias de la Computación, Volumen 61, Springer-Verlag . ISBN 3-540-08766-4 (1978).
Ver también
- Revista internacional de software e informática
Referencias
- ^ Dines Bjørner en elservidor de bibliografía DBLP
- ^ Bjørner, Dines, Ingeniería de software , 3 volúmenes. Textos en informática teórica, una serie de EATCS, Springer-Verlag (2005–6).
- ^ "Årsfest" (en danés). Dinamarca: Universidad Técnica de Dinamarca . 26 de abril de 2021 . Consultado el 27 de abril de 2021 .
- ^ Jones, Cliff B .; Liu, Zhiming ; Woodcock, Jim , eds. (2007). Métodos formales y sistemas híbridos en tiempo real: ensayos en honor a Dines Bjørner y Chaochen Zhou con motivo de sus 70 años . Ponencias presentadas en un Simposio celebrado en Macao, China, del 24 al 25 de septiembre de 2007. LNCS . 4700 . Springer . doi : 10.1007 / 978-3-540-75221-9 . ISBN 978-3-540-75220-2. Consultado el 25 de diciembre de 2020 .
- ^ Bjørner, Dines (16 de abril de 2016). "Biografía" . Dinamarca: Universidad Técnica de Dinamarca . Consultado el 18 de agosto de 2019 .
enlaces externos
- Página de inicio
- Información biográfica
- SUBIR información
- Dines Bjørner en el servidor de bibliografía DBLP
- Lista de publicaciones de Microsoft Academic