Večeře Bjørner - Dines Bjørner
Večeře Bjørner | |
---|---|
narozený | |
Národnost | dánština |
Alma mater | Technická univerzita v Dánsku |
Známý jako | Vídeňská rozvojová metoda, Jazyk specifikace RAISE |
Ocenění | Řád Dannebrog (1985) |
Vědecká kariéra | |
Pole | Počítačová věda |
Instituce | Technická univerzita v Dánsku Univerzita OSN |
Vlivy | AUTO. Hoare Michael A. Jackson |
Ovlivněno | Jonathan Bowen On Jifeng Cliff Jones Zhou Chaochen |
Profesor Večeře Bjørner (narozen 4. října 1937 v Odense ) je dánština počítačový vědec.
Specializuje se na výzkum doménové inženýrství, požadavky inženýrství a formální metody.[1] Pracoval s Cliff Jones a další na internetu Vídeňská rozvojová metoda (VDM) ve společnosti IBM Laboratory Vienna (a jinde). Později se podílel na výrobě VYZDVIHNOUT (Rigorous Approach to Industrial Software Engineering) formální metoda s podporou nástrojů.
Bjørner byl a profesor na Technická univerzita v Dánsku (DTU) v letech 1965–1969 a 1976–2007, než v březnu 2007 odešel do důchodu. Byl odpovědný za založení Univerzita OSN Mezinárodní institut pro softwarové technologie (UNU-IIST ), Macao v roce 1992 a byl jejím prvním ředitelem. Jeho magnum opus na softwarové inženýrství (tři svazky) se objevily v letech 2005/6.[2]
Na podporu VDM založil Bjørner společnost VDM-Europe, která se následně stala Formální metody Evropa, organizace, která podporuje konference a související aktivity. V roce 2003 podnítil sdružené ForTIA Asociace průmyslových odvětví formálních technik.
Bjørner se stal rytířem Řád Dannebrog v roce 1985. Získal Dr.h.c. z Masarykova univerzita, Brno, Česká republika v roce 2004. Je členem IEEE (2004) a ACM (2005). Byl také členem Academia Europaea od roku 1989.
V roce 2007 se v Macau konalo sympozium na počest Dines Bjørnera a Zhou Chaochen.[3]
Bjørner je ženatý s Kari Bjørnerovou, má dvě děti a pět vnoučat.[4]
Vybrané knihy
- Softwarové inženýrství 1: Abstrakce a modelováníBjørner, D. Texty z teoretické informatiky, řada EATCS, Springer-Verlag. ISBN 3-540-21149-7 (2005).
- Softwarové inženýrství 2: Specifikace systémů a jazykůBjørner, D. Texty z teoretické informatiky, řada EATCS, Springer-Verlag. ISBN 3-540-21150-0 (2006).
- Softwarové inženýrství 3: Domény, požadavky a softwarový designBjørner, D. Texty z teoretické informatiky, řada EATCS, Springer-Verlag. ISBN 3-540-21151-9 (2006).
- Formální specifikace a vývoj softwaruBjørner, D. a Jones, C.B. Prentice Hall International Series in Computer Science, Prentice Hall. ISBN 0-13-329003-4 (1982).
- Vídeňská rozvojová metoda: metajazyk, Bjørner, D. a Jones, C.B. (redaktoři). Přednášky z informatiky, svazek 61, Springer-Verlag. ISBN 3-540-08766-4 (1978).
Viz také
Reference
- ^ Večeře Bjørner v DBLP Bibliografický server
- ^ Bjørner, večeře, Softwarové inženýrství, 3 svazky. Texty v teoretické informatice, řada EATCS, Springer-Verlag (2005–6).
- ^ Cliff B.Jones, Zhiming Liu, Jim Woodcock (Eds.): Formální metody a hybridní systémy v reálném čase, eseje na počest Dines Bjørnera a Chaochen Zhoua u příležitosti jejich 70. narozenin „Příspěvky prezentované na sympoziu konaném v Macau v Číně ve dnech 24. – 25. Září 2007. Přednášky z informatiky, Svazek 4700, Springer, 2007. ISBN 978-3-540-75220-2.
- ^ Bjørner, Dines (16. dubna 2016). "Životopis". Dánsko: Technická univerzita v Dánsku. Citováno 18. srpna 2019.
externí odkazy
- Domovská stránka
- Životopisné informace
- ZVÝŠIT informace
- Večeře Bjørner v DBLP Bibliografický server
- Seznam publikací z Microsoft Academic