Name:	Professor J Goguen
Organisation:	University of California, San Diego
Department:	Unlisted
Current EPSRC-Supported Research Topics:

Current EPSRC Support

There is no current EPSRC Support

Previous EPSRC Support

GR/K65959/01 SITUATED ABSTRACT DATA TYPES: RECONCILING THE SOCIAL AND THE TECHNICAL IN SYSTEMS DESIGN (C) GR/F69451/01 INTEGRATING STRUCTURED SYSTEMS WITH FUNCTIONAL OBJECT-ORIENTED DESIGN AND SPECIFICATION (P) GR/F38846/01 AN INTEGRATED HARDWARE SPECIFICATION, SIMULATION AND VERIFICATION ENVIRONMENT (P) GR/F66535/01 EXTENDING THE THEORY AND TECHNOLOGY OF FUNCTIONAL PROGRAMMING TO OBJECTS (P)

Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator