Browsing by Author "Bowen, Jonathan P."
Now showing items 1-2 of 2
-
From a community of practice to a body of knowledge: a case study of the formal methods community
Bowen, Jonathan P.; Reeves, Steve (Springer, Berlin, 2011)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 ... -
Z logic and its consequences
Henson, Martin C.; Reeves, Steve; Bowen, Jonathan P. (Institute of Informatics, 2003-06)This paper provides an introduction to the specification language Z from a logical perspective. The possibility of presenting Z in this way is a consequence of a number of joint publications on Z logic that Henson and ...
Co-authors for Jonathan P. Bowen
Jonathan P. Bowen has 2 co-authors in Research Commons.