Honours

  • 2024
    The Locality Criterion in ISO/IEC/IEEE 42024
    Cover of the draft international standard ISO/IEC/IEEE DIS 42024, Enterprise, systems and software — Architecture fundamentals

    In November 2024 the convenor of Working Group 42 — the group within ISO/IEC Joint Technical Committee 1, Subcommittee 7, that writes the international standards on architecture — invited me to present the locality criterion to the working group’s 42nd meeting. The criterion, published with Rick Kazman at ICSE 2003 and developed in IEE Software in 2006, gives a precise test for what separates architectural design from detailed design.

    The working group took it up. Two informative annexes of ISO/IEC/IEEE DIS 42024, Enterprise, systems and software — Architecture fundamentals, now draw on those two papers and cite them.

    Status, August 2026: the draft has completed its enquiry ballot and is being prepared for the final draft ballot. Publication is expected in 2027.

Award

Funding

During 2012–13 the Software Engineering Institute awarded 203,470 USD from the LENS (Line-funded Exploratory New Starts) Fund to our project “Security Pattern Assurance through Round-trip Engineering“.

Between the years 1989–2010 my research has been supported by over 200,000 USD from the following bodies:

Funded collaboration

  • 2011
    Nicola Angius, University of Sassari, Italy
    image
    P.R.I.N. ‘Research Project of National Interest’
  • 2010
    Rick Kazman, Software Engineering Institute, Carnegie Mellon
    image
    The Metropolis Model: Crowdsourcing for Software and Content Development
  • 2009
    Bill Duncan, Department of Philosophy, SUNY Buffalo, NY
    image
    PhD Studentship
  • 2008
    Selmer Bringsjord, Rensselaer Polytechnic Institute
    image
    Doing AI That's Tough Enough: Human Genius, Hypercomputation, and Automatic Programming
  • 2008
    John Howse, Department of Computer Science, Brighton University
    image
    Reasoning with Diagrams for Software Development
  • 2006
    Amiram Yehudai, Department of Computer Science, Tel Aviv University
    image
    Ontology and paradigms of programming languages
  • 2006
    Susan Stuart, Department of Philosophy, University of Glasgow
    image
    Bodily Consciousness and Kinaesthetic Imagination
  • 2006
    Shalom Lappin, Department of Philosophy, Kings College, London
    image
    Machine Learning and Poverty of Stimulus Arguments in the Theory of Grammar
  • 2006
    Luciano Floridi, Faculty of Philosophy and IEG, Computing Laboratory, Oxford University
    image
    The Informational Nature of Reality
  • 2006
    Yoram Hirshfeld, Department of Pure Mathematics, Tel Aviv University
    image
    The philosophy of computer science
  • 2005
    Barry Smith, Department of Philosophy, SUNY Buffalo
    image
    The philosophy of computer science
  • 2005
    B. Jack Copeland, Department of Philosophy, University of Canterbury, New Zealand
    image
    Alan Turing: The Mechanisation of Thought Processes, Intelligent Machines, and the Imitation Game
  • 2004
    Tom Mens, University of Mons-Hainaut, Belgium
    image
    Lightweight formal tool support for software evolution