Џонатан Боуен
| Џонатан Боуен | |
|---|---|
 | |
| Лични подаци | |
| Датум рођења | 1956. |
| Место рођења | Оксфорд,  Уједињено Краљевство |
| Пребивалиште | Оксфорд |
| Држављанство | Уједињено Краљевство |
| Образовање | Универзитетски колеџ (Оксфорд) |
| Научни рад | |
| Поље | Информатика Информациона технологија Музејска информатика |
| Институција | Museophile Limited Birmingham City University University of Reading Универзитет Оксфорд Imperial College, London |
| Познат по | Формалне методе Z- нотација Странице музеја виртуелне библиотеке Виртуелни музеј рачунарства |
| Утицао | Мајк Хинчи Кевин Лано |
| Званични веб-сајт | |
| www | |
Џонатан П. Боуен (рођен 1956. године) је британски стручњак за рачунаре.
Преглед[уреди | уреди извор]
Џонатан Боуен је представник „Museophile Limited” компаније и професор емеритус на London South Bank универзитету, где је руководио Центром за примењене формалне методе[1]. Био је професор рачунарске науке на Универзитету у Бирмингему,[2] гостујући професор на институту Прат (Њујорк), Универзитета у Вестминстеру, Кингс колеџа (Лондон),[3] и гостујући академик на Лондонском универзитетском колеџу.[4]
Образовање[уреди | уреди извор]
Рођен је у Окфсорду, син Хамфрија Боуена,[5] а школовао се у „Dragon School” (Оксфорд) и у школи у Брајанстону пре него што је матурирао на Универзитетском колеџу у Оксфорду (Универзитет у Оксфорду), где је стекао звање магистра инжињерских наука.
Каријера[уреди | уреди извор]
Боуен је касније радио на колеџу „Imperial College” у Лондону, компјутерској лабораторији универзитета у Оксфорду (сада одсеку за информатичке технологије на универзитету у Оксфорду), на Универзитету у Редингу и универзитету „London South Bank”. Његов рани рад био је заснован генерално на формалним методама, а касније нарочито на „Z-нотацији” (енгл. the Z notations). Био је представник групе „Z-корисника” (енгл. the Z user group) од раних 1990-их година до 2011. године. Проглашен је представником британског компјутерског друштва „FACS” (енгл. Specialist Group on Formal Aspects of Computing Science) 2002. године.[6] Од 2005. године, Боуен је помоћник главног уредника новина „Иновације у систему и софтверском инжењерству”.[7] Поред тога, сарадник је и уредника насловне стране новина „ACM Computing Surveys”, покривајући област софтверског инжењерства и формалних метода.[8] Од 2008.–2009. године, био је сарадник у „Praxis High Integrity Systems” и радио на великом индустријском пројекту користећи З-нотације.
Још једно од Боуенових интересовања је у области онлајн музеја. Основао је странице виртуелних музеја (енгл. Virtual Library museums pages (VLmp)) 1994. године. То је директоријум онлајн музеја који је ускоро подржан од стране Међународног Савета Музеја (енгл. International Council of Museums, ICOM, српска скраћеница: МСМ).[9] Исте године створио је „Виртуелни музеј рачунарства”. „Museophile Limited”[10] је основао 2002. године да помаже музејима, посебно онлајн, на пример са форумима за дискусију.[11] Такође је радио у индустрији „Oxford Instruments”, „Marconi Instruments”, „Logica”, „Силикон Графикс” (енгл. Silicon Graphics) и „Altran Praxis”.
Боуен је изабран за члана RSA (енгл. Royal Society for the encouragement of Arts, Manufactures and Commerce) 2002. године и британског компјутерског друшва (енгл. British Computer Society (BCS)) 2004. године. Такође је члан организације „Worshipful Company of Information Technologists” у Ситију у Лондону.
Одабране књиге[уреди | уреди извор]
- Боуен, Џ.П., уредник, Towards Verified Systems. Елсевиер, Real-Time Safety Critical Systems series, том 2. 1994. ISBN 978-0-444-89901-9..
- Хинчи, М.Г. и Боуен, Џ.П., уредници, Applications of Formal Methods. Prentice Hall International Series in Computer Science. 1995. ISBN 978-0-13-366949-7..[12]
- Боуен, Џ.П., 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]
- Боуен, Џ.П. и Хинчи, М.Г., уредници, High-Integrity System Specification and Design. Springer-Verlag, Лондон. 1999. ISBN 978-3-540-76226-3..
- Хинчи, М.Г. и Боуен, Џ.П., уредници, Industrial-Strength Formal Methods in Practice. Springer-Verlag, Лондон. 1999. ISBN 978-1-85233-640-0..
- Хиеронс, Р., Боуен, Џ.П., и Харман, М., уредници, Formal Methods and Testing. Springer-Verlag, LNCS, том 4949. 2008. ISBN 978-3-540-78916-1..
- Бергер, Е., Батлер, М., Боуен, Џ.П., и Бока, П., уредници, Abstract State Machines, B and Z. Springer-Verlag, LNCS, том 5238. 2008. ISBN 978-3-540-87602-1..
- Boca, Paul; Bowen, Jonathan P.; Siddiqi, Jawed, ур. (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..
- Боуен, Џ.П., Кин, С., и Нг, К., уредници, Electronic Visualisation in Arts and Culture. Springer Series on Cultural Computing, Springer. 2013. ISBN 978-1-4471-5406-8..
- Коупленд, Џ., Боуен, Џ.П., Спревак, М., Вилсон, Р., и др., 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..
- Ђанини, Т. и Боуен, Џ.П., уредници, 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]
Извори[уреди | уреди извор]
- ^ Birmingham City University (на језику: енглески), 2. 10. 2019, Приступљено 16. 10. 2019
- ^ „School of Computing, Telecommunications and Networks : Jonathan Bowen”. 6. 11. 2015. Архивирано из оригинала 06. 11. 2015. г. Приступљено 16. 10. 2019.
- ^ „CREST Members”. 22. 10. 2007. Архивирано из оригинала 22. 10. 2007. г. Приступљено 16. 10. 2019.
- ^ „Prof. Jonathan P. Bowen, visiting academic, University College London”. 21. 8. 2007. Архивирано из оригинала 21. 08. 2007. г. Приступљено 16. 10. 2019.
- ^ Споукс-Сајмондс, Ен. "Families: The Bowens". The Changing Faces of North Oxford: Book One. Robert Boyd Publications. ISBN 978-1-899536-25-2. стр. 81–83.
- ^ „Committee and Contact Details”. Приступљено 1. 12. 2012.
- ^ „Editorial Board”. Innovations in Systems and Software Engineering. Springer. Архивирано из оригинала 6. 8. 2013. г. Приступљено 1. 12. 2012.
- ^ „Editorial board”. ACM Computing Surveys. Association for Computing Machinery. Архивирано из оригинала 19. 10. 2019. г. Приступљено 19. 12. 2016.
- ^ „Virtual Library museums pages”. Међународни савет музеја. Архивирано из оригинала 12. 12. 2012. г. Приступљено 1. 12. 2012.
- ^ „Museophile Limited”. UK. Архивирано из оригинала 17. 05. 2014. г. Приступљено 1. 12. 2012.
- ^ Прети, Џон (26. 9. 2003). „Information about our newsfeed”. Архивирано из оригинала 4. 4. 2004. г. Приступљено 1. 12. 2012.
- ^ Фентон, Норман (13 септембар 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.
- ^ Робинсон, Ендру (4. јануар 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.
Литература[уреди | уреди извор]
- Боуен, Џонатан Питер: Who's Who in the World, Marqius Who's Who, 18. издање, 2001.
- H-museum information
- Museums and the Web conference information
- "Film on the Web conference information"
- International Center for Scientific Research information
Спољашње везе[уреди | уреди извор]
- Лични сајт
- Почетна страница Архивирано на сајту Wayback Machine (22. јун 2017) на сајту Саут бенк универзитета у Лондону (енгл. London South Bank University)
- Џонатан Боуен на DBLP серверу за библиографију
- Џонатан Боуен чије је публикације индексирао Гугл академик (енгл. Google Scholar)
- Џонатан Боуен Архивирано на сајту Wayback Machine (10. септембар 2019) на претраживачу Мајкрософт академик (енгл. Microsoft Academic)
- Џонатан Боуен у бази података пројекат Математичка генеалогија (енгл. Mathematics Genealogy Project)
| Међународне | |
|---|---|
| Државне | |
| Академске | |
| Остале | |
| Упозорење | Локални параметри су превазиђени. Пребаците вредности на Википодатке.  |
