Search results

• Finished

  The scientific foundations of informatics as an engineering discipline (CUE).

  Maibaum, T. (Primary Investigator)

  EC European Commission

  1/07/2002 → 30/06/2005

  Project: Research

• Adding refinements to the product/process modelling logic

  Maibaum, T. (Primary Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  15/03/2000 → 14/03/2001

  Project: Research

• Engineering modularised programs and specifications

  Maibaum, T. (Primary Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  1/01/2000 → 31/12/2000

  Project: Research

• Objects, associations and subsystems: a hierarchical approach to encapsulation.

  Lano, K. (Primary Investigator) & Maibaum, T. (Primary Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  1/10/1999 → 31/10/2002

  Project: Research

• The integration of two industrially relevant formal methods (VDM+B).

  Maibaum, T. (Primary Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  24/08/1998 → 23/08/2000

  Project: Research

• Effective systems of dynamic interaction.

  Maibaum, T. (Primary Investigator) & academic, A. (Primary Investigator)

  EPSRC Engineering and Physical Sciences Research Council

  1/03/1998 → 29/02/2000

  Project: Research