Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Британдық компьютерлік ғалым Джонатан П. Боуэн FBCS FRSA (1956 жылы туған) - британдық компьютерлік ғалым және Лондонның Оңтүстік Банк университетінің профессор-эмиритусы, ол жерде ол Қолданбалы формалды әдістер орталығын басқарды. Боуэн сонымен қатар Museophile Limited компаниясының төрағасы және Бирмингем қалалық университетінде компьютерлік ғылым профессоры, Пратт институтында (Нью-Йорк қаласы), Вестминстер университеті мен Лондон Король колледжінде қонақ профессор және Лондон университет колледжінде қонақ академик болды.
British computer scientist
Jonathan P. Bowen FBCS FRSA (born 1956) is a British computer scientist and an Emeritus Professor at London South Bank University, where he headed the Centre for Applied Formal Methods. Prof. Bowen is also the Chairman of Museophile Limited and has been a Professor of Computer Science at Birmingham City University, Visiting Professor at the Pratt Institute (New York City), University of Westminster and King's College London, and a visiting academic at University College London.
Ерте өмір және білім
Боуэн Оксфордта туған, Хамфри Боуэннің ұлы. Оксфорд университетінің Университет колледжінде (Оксфорд университеті) магистратурасын бітіргенге дейін Брайанстон мектебінде білім алған. Ол 1990 жылдардың басынан 2011 жылға дейін Z User Group-тың төрағасы болды. 2002 жылы Боуэн Британдық компьютерлік қоғамның FACS Компьютерлік ғылымның ресми аспектілері жөніндегі мамандар тобының төрағасы болып сайланды. 2005 жылдан бастап Боуэн "Инновациялар жүйелері және бағдарламалық жасақтама инженериясы" журналының бас редакторы болды. Ол сонымен қатар ACM Computing Surveys журналының редакциялық кеңесінде бағдарламалық жасақтама инженериясы мен ресми әдістерді қамтитын редактор. 2008-2009 жылдары ол Praxis High Integrity Systems компаниясының серіктесі болды, ол Z белгісін қолдана отырып, ірі өнеркәсіптік жобада жұмыс істеді. Боуэннің басқа бір қызығушылығы - онлайн-музейлер. 1994 жылы ол Музейлердің халықаралық кеңесі (ICOM) қабылдаған онлайн мұражайлар каталогы Виртуалды кітапхана мұражайлар парақшаларын (VLmp) құрды. Сол жылы ол Виртуалды есептеу музейін де құрды. 2002 жылы музейлерге, әсіресе онлайн, мысалы, талқылау форумдары арқылы көмектесу үшін Museophile Limited компаниясын құрды. Ол сондай-ақ Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics және Altran Praxis компанияларында жұмыс істеді. Боуэн 2002 жылы өнер, өндіріс және коммерцияны ынталандыру үшін Корольдік қоғамның (RSA) және 2004 жылы Британдық компьютерлік қоғамның (BCS) мүшесі болып сайланды.
Bowen was born in Oxford, the son of Humphry Bowen, and was educated at the Dragon School, Bryanston School, prior to his matriculation at University College, Oxford (Oxford University) where he received the MA degree in Engineering Science. He was Chair of the Z User Group from the early 1990s until 2011. In 2002, Bowen was elected Chair of the British Computer Society FACS Specialist Group on Formal Aspects of Computing Science. Since 2005, Bowen has been an Associate Editor in Chief of the journal Innovations in Systems and Software Engineering. He is also an associate editor on the editorial board for the ACM Computing Surveys journal, covering software engineering and formal methods. From 2008–9, he was an Associate at Praxis High Integrity Systems, working on a large industrial project using the Z notation. Bowen's other major interest is the area of online museums. In 1994, he founded the Virtual Library museums pages (VLmp), an online museums directory that was soon adopted by the International Council of Museums (ICOM). In the same year he also started the Virtual Museum of Computing. In 2002, he founded Museophile Limited to help museums, especially online, for example with discussion forums. He has also worked in industry at Oxford Instruments, Marconi Instruments, Logica, Silicon Graphics, and Altran Praxis. Bowen was elected a Fellow of the Royal Society for the encouragement of Arts, Manufactures and Commerce (RSA) in 2002 and of the British Computer Society (BCS) in 2004.