Džonatan Bouen
Džonatan Bouen | |
---|---|
Lični podaci | |
Datum rođenja | 1956. |
Mesto rođenja | Oksford, Ujedinjeno Kraljevstvo |
Prebivalište | Oksford |
Državljanstvo | Ujedinjeno Kraljevstvo |
Obrazovanje | Univerzitetski koledž (Oksford) |
Naučni rad | |
Polje | Informatika Informaciona tehnologija Muzejska informatika |
Institucija | Museophile Limited Birmingham City University University of Reading Univerzitet Oksford Imperial College, London |
Poznat po | Formalne metode Z- notacija Stranice muzeja virtuelne biblioteke Virtuelni muzej računarstva |
Uticao | Majk Hinči Kevin Lano |
Zvanični veb-sajt | |
www |
Džonatan P. Bouen (rođen 1956. godine) je britanski stručnjak za računare.
Pregled[uredi | uredi izvor]
Džonatan Bouen je predstavnik „Museophile Limited” kompanije i profesor emeritus na London South Bank univerzitetu, gde je rukovodio Centrom za primenjene formalne metode[1]. Bio je profesor računarske nauke na Univerzitetu u Birmingemu,[2] gostujući profesor na institutu Prat (Njujork), Univerziteta u Vestminsteru, Kings koledža (London),[3] i gostujući akademik na Londonskom univerzitetskom koledžu.[4]
Obrazovanje[uredi | uredi izvor]
Rođen je u Okfsordu, sin Hamfrija Bouena,[5] a školovao se u „Dragon School” (Oksford) i u školi u Brajanstonu pre nego što je maturirao na Univerzitetskom koledžu u Oksfordu (Univerzitet u Oksfordu), gde je stekao zvanje magistra inžinjerskih nauka.
Karijera[uredi | uredi izvor]
Bouen je kasnije radio na koledžu „Imperial College” u Londonu, kompjuterskoj laboratoriji univerziteta u Oksfordu (sada odseku za informatičke tehnologije na univerzitetu u Oksfordu), na Univerzitetu u Redingu i univerzitetu „London South Bank”. Njegov rani rad bio je zasnovan generalno na formalnim metodama, a kasnije naročito na „Z-notaciji” (engl. the Z notations). Bio je predstavnik grupe „Z-korisnika” (engl. the Z user group) od ranih 1990-ih godina do 2011. godine. Proglašen je predstavnikom britanskog kompjuterskog društva „FACS” (engl. Specialist Group on Formal Aspects of Computing Science) 2002. godine.[6] Od 2005. godine, Bouen je pomoćnik glavnog urednika novina „Inovacije u sistemu i softverskom inženjerstvu”.[7] Pored toga, saradnik je i urednika naslovne strane novina „ACM Computing Surveys”, pokrivajući oblast softverskog inženjerstva i formalnih metoda.[8] Od 2008.–2009. godine, bio je saradnik u „Praxis High Integrity Systems” i radio na velikom industrijskom projektu koristeći Z-notacije.
Još jedno od Bouenovih interesovanja je u oblasti onlajn muzeja. Osnovao je stranice virtuelnih muzeja (engl. Virtual Library museums pages (VLmp)) 1994. godine. To je direktorijum onlajn muzeja koji je uskoro podržan od strane Međunarodnog Saveta Muzeja (engl. International Council of Museums, ICOM, srpska skraćenica: MSM).[9] Iste godine stvorio je „Virtuelni muzej računarstva”. „Museophile Limited”[10] je osnovao 2002. godine da pomaže muzejima, posebno onlajn, na primer sa forumima za diskusiju.[11] Takođe je radio u industriji „Oxford Instruments”, „Marconi Instruments”, „Logica”, „Silikon Grafiks” (engl. Silicon Graphics) i „Altran Praxis”.
Bouen je izabran za člana RSA (engl. Royal Society for the encouragement of Arts, Manufactures and Commerce) 2002. godine i britanskog kompjuterskog drušva (engl. British Computer Society (BCS)) 2004. godine. Takođe je član organizacije „Worshipful Company of Information Technologists” u Sitiju u Londonu.
Odabrane knjige[uredi | uredi izvor]
- Bouen, Dž.P., urednik, Towards Verified Systems. Elsevier, Real-Time Safety Critical Systems series, tom 2. 1994. ISBN 978-0-444-89901-9..
- Hinči, M.G. i Bouen, Dž.P., urednici, Applications of Formal Methods. Prentice Hall International Series in Computer Science. 1995. ISBN 978-0-13-366949-7..[12]
- Bouen, Dž.P., Formal Specification and Documentation using Z: A Case Study Approach. International Thomson Computer Press, International Thomson Publishing. 1996. ISBN 978-1-85032-230-6..[13]
- Bouen, Dž.P. i Hinči, M.G., urednici, High-Integrity System Specification and Design. Springer-Verlag, London. 1999. ISBN 978-3-540-76226-3..
- Hinči, M.G. i Bouen, Dž.P., urednici, Industrial-Strength Formal Methods in Practice. Springer-Verlag, London. 1999. ISBN 978-1-85233-640-0..
- Hierons, R., Bouen, Dž.P., i Harman, M., urednici, Formal Methods and Testing. Springer-Verlag, LNCS, tom 4949. 2008. ISBN 978-3-540-78916-1..
- Berger, E., Batler, M., Bouen, Dž.P., i Boka, P., urednici, Abstract State Machines, B and Z. Springer-Verlag, LNCS, tom 5238. 2008. ISBN 978-3-540-87602-1..
- Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed, ur. (2010). Formal Methods: State of the Art and New Directions. Springer. ISBN 978-1-84882-735-6. doi:10.1007/978-1-84882-736-3..
- Bouen, Dž.P., Kin, S., i Ng, K., urednici, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer. 2013. ISBN 978-1-4471-5406-8..
- Kouplend, Dž., Bouen, Dž.P., Sprevak, M., Vilson, R., i dr., The Turing Guide. Oxford University Press. 2017. ISBN 978-0198747826.. ISBN 978-0198747833..[14]
- Provably Correct Systems. NASA Monographs in Systems and Software Engineering. Springer International Publishing. 2017. ISBN 978-3-319-48627-7. S2CID 7091220. doi:10.1007/978-3-319-48628-4..
- Đanini, T. i Bouen, Dž.P., urednici, Museums and Digital Culture: New Perspectives and Research. Springer Series on Cultural Computing, Springer. 2019. ISBN 978-3-319-97456-9., e-ISBN 978-3-319-97457-6., Museums and Digital Culture: New Perspectives and Researc. Springer Series on Cultural Computing. Springer. 2019. ISBN 978-3-319-97456-9. S2CID 146115899. doi:10.1007/978-3-319-97457-6..[15]
Izvori[uredi | uredi izvor]
- ^ Birmingham City University (na jeziku: engleski), 2. 10. 2019, Pristupljeno 16. 10. 2019
- ^ „School of Computing, Telecommunications and Networks : Jonathan Bowen”. 6. 11. 2015. Arhivirano iz originala 06. 11. 2015. g. Pristupljeno 16. 10. 2019.
- ^ „CREST Members”. 22. 10. 2007. Arhivirano iz originala 22. 10. 2007. g. Pristupljeno 16. 10. 2019.
- ^ „Prof. Jonathan P. Bowen, visiting academic, University College London”. 21. 8. 2007. Arhivirano iz originala 21. 08. 2007. g. Pristupljeno 16. 10. 2019.
- ^ Spouks-Sajmonds, En. "Families: The Bowens". The Changing Faces of North Oxford: Book One. Robert Boyd Publications. ISBN 978-1-899536-25-2. str. 81–83.
- ^ „Committee and Contact Details”. Pristupljeno 1. 12. 2012.
- ^ „Editorial Board”. Innovations in Systems and Software Engineering. Springer. Arhivirano iz originala 6. 8. 2013. g. Pristupljeno 1. 12. 2012.
- ^ „Editorial board”. ACM Computing Surveys. Association for Computing Machinery. Arhivirano iz originala 19. 10. 2019. g. Pristupljeno 19. 12. 2016.
- ^ „Virtual Library museums pages”. Međunarodni savet muzeja. Arhivirano iz originala 12. 12. 2012. g. Pristupljeno 1. 12. 2012.
- ^ „Museophile Limited”. UK. Arhivirano iz originala 17. 05. 2014. g. Pristupljeno 1. 12. 2012.
- ^ Preti, Džon (26. 9. 2003). „Information about our newsfeed”. Arhivirano iz originala 4. 4. 2004. g. Pristupljeno 1. 12. 2012.
- ^ Fenton, Norman (13 septembar 1996). "Critical burden of being correct". Times Higher Education Supplement.
- ^ Johnson, C. (1996). „Review: Book Review”. The Computer Journal. 39 (7): 643. doi:10.1093/comjnl/39.7.643-a.
- ^ Robinson, Endru (4. januar 2017). "The Turing Guide: Last words on an enigmatic codebreaker?". New Scientist.
- ^ Koslow, Jennifer (2019). „Museums and digital culture: New perspectives and research”. Museum Management and Curatorship. 34 (5): 537—539. S2CID 203059899. doi:10.1080/09647775.2019.1661098.
Literatura[uredi | uredi izvor]
- Bouen, Džonatan Piter: Who's Who in the World, Marqius Who's Who, 18. izdanje, 2001.
- H-museum information
- Museums and the Web conference information
- "Film on the Web conference information"
- International Center for Scientific Research information
Spoljašnje veze[uredi | uredi izvor]
- Lični sajt
- Početna stranica Arhivirano na sajtu Wayback Machine (22. jun 2017) na sajtu Saut benk univerziteta u Londonu (engl. London South Bank University)
- Džonatan Bouen na DBLP serveru za bibliografiju
- Džonatan Bouen čije je publikacije indeksirao Gugl akademik (engl. Google Scholar)
- Džonatan Bouen Arhivirano na sajtu Wayback Machine (10. septembar 2019) na pretraživaču Majkrosoft akademik (engl. Microsoft Academic)
- Džonatan Bouen u bazi podataka projekat Matematička genealogija (engl. Mathematics Genealogy Project)