|
| Name: |
Professor T Maibaum |
| Organisation: |
McMaster University |
| Department: |
Unlisted |
| Current EPSRC-Supported Research
Topics: |
|
| Current EPSRC Support |
| There is no current EPSRC Support |
| Previous EPSRC Support |
| GR/N35076/01 | ADDING REFINEMENTS TO THE PRODUCT/PROCESS MODELLING LOGIC | (P) |
| GR/N04089/01 | ENGINEERING MODULARISED PROGRAMS AND SPECIFICATIONS | (P) |
| GR/N00814/01 | OBJECTS, ASSOCIATIONS AND SUBSYSTEMS: A HIERARCHICAL APPROACH TO ENCAPSULATION | (P) |
| GR/M86033/01 | EPISTEMOLOGY AND SOFTWARE ENGINEERING (II) | (P) |
| GR/L68452/02 | THE INTEGRATION OF TWO INDUSTRIALLY RELEVANT FORMAL METHODS (VDM+B) | (P) |
| GR/M67452/01 | EPISTEMOLOGY AND SOFTWARE ENGINEERING | (P) |
| GR/L68452/01 | THE INTEGRATION OF TWO INDUSTRIALLY RELEVANT FORMAL METHODS (VDM+B) | (P) |
| GR/L82441/01 | EFFECTIVE SYSTEMS OF DYNAMIC INTERACTION | (P) |
| GR/L80065/01 | ABSTRACT INTERPRETATION OF SAFETY CRITICAL SYSTEM SPECIFICATIONS | (C) |
| GR/L76143/01 | CASE STUDY IN PROCESS CONTROL USING FORMAL METHODS | (P) |
| GR/L54844/01 | ARS CALCULANDIS | (P) |
| GR/K68783/01 | OBJECT-ORIENTED SPECIFICATION OF REAL-TIME AND REACTIVE SYSTEMS | (P) |
| GR/K67311/01 | FORMAL UNDERPINNINGS FOR OBJECT TECHNOLOGY | (P) |
| GR/K54663/01 | FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE | (C) |
| GR/J14462/01 | FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE | (C) |
| GR/G23579/01 | PARTIAL INFORMATION AND TYPES OF DATABASES | (P) |
| GR/F63060/01 | PROOF THEORY SOFTWARE ENGINEERING AND ARTIFICIAL INTELLIGENCE | (P) |
| GR/F35609/01 | FOREST RESEARCH | (C) |
| GR/F31175/01 | SOFTWARE ENGINEERING AND ENGINEERING DESIGN | (P) |
| GR/F97782/01 | FOUNDATIONAL STRUCTURES FOR COMPUTER SCIENCE | (C) |
| GR/D08456/01 | FORMAL REQUIREMENTS SPECIFIATION | (C) |
|
|
Key: (P)=Principal Investigator, (C)=Co-Investigator, (R)=Researcher Co-Investigator
|
| |
|
|
|
|