Speaker: Prof. Jonathan P. BOWEN, London South Bank University / University of Westminster / Museophile Limited United Kingdom
Date: Friday, 24 June 2011, FM 2011 Symposium, University of Limerick, Ireland
Abstract: A Body of Knowledge (BoK) is an ontology for a particular professional
domain. A Community of Practice (CoP) is the collection of people developing
such knowledge. In the paper we explore these concepts in the context
of the formal methods community in general and the Z notation community, as
has been supported by the Z User Group, in particular. The existing SWEBOK
Software Engineering Body of Knowledge is considered with respect to formal
methods and a high-level model for the possible structure of of a BoK is provided
using the Z notation.
Biography: Prof. Jonathan P. Bowen, FBCS, FRSA, is Chair of Museophile Limited, an IT consultancy company. He is also a Visiting Professor at University of Westminster since 2010 and an Emeritus Professor at London South Bank University since 2007. From 2007-2009, he was a Visiting Professor at the King's College London. In 2007, he was a visiting academic at University College London; in 2008, he was a visiting lecturer at Brunel University and during 2008-2009 he worked on a large industrial high integrity software engineering project using formal methods. Previously he was at the University of Reading, the Oxford University Computing Laboratory and Imperial College, London. He has been involved with the field of computing in both industry and academia since 1977, specializing in software engineering in general and formal methods in particular. In 2002, Bowen founded Museophile Limited with the original aim to help museums online. He is an enthusiastic contributor to Wikipedia in the area of museums and on computing topics. Bowen is a Fellow of the British Computer Society and of the Royal Society of Arts. He holds the Freedom of the Worshipful Company of Information Technologists and is a member of the ACM and IEEE. He has an MA degree in Engineering Science from Oxford University.
FM 2011 Symposium slides