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 ...

Jonathan P. Bowen has 2 co-authors in Research Commons.