Concepedia

T. S. E. Maibaum

TS

Statistics

Publications

25

Citations

730

H-Index

17

Active since

1974

Affiliations

Imperial College London(Current)

McMaster University

Pontifícia Universidade Católica do Rio de Janeiro

University of Lisbon

King's College London

T. S. E. Maibaum is an author at Imperial College London specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceSoftware DesignSoftware EngineeringSoftware AnalysisAutomated ReasoningSoftware MaintenanceProgram AnalysisFormal Verification

Publications per year

1974–2011

25

Publications

25

Temporal theories as modularisation units for concurrent system specification

J.L. Fiadeiro, T. S. E. Maibaum · Formal Aspects of Computing · 1992 · 122 citations · Full text

A generalized approach to formal languages

T. S. E. Maibaum · Journal of Computer and System Sciences · 1974 · 61 citations

Syntax, Engineering, Automated Reasoning +9

A Product-Focused Approach to Software Certification

T. S. E. Maibaum, Alan Wassyng · Computer · 2008 · 41 citations

Software Maintenance, Engineering, Education +17

A mathematical toolbox for the software architect

J.L. Fiadeiro, T. S. E. Maibaum · International Workshop on Software Specification and Design · 1996 · 40 citations

Software Maintenance, Engineering, Object-oriented Modeling +21

A temporal logic approach to the specification of reconfigurable component-based systems

Nazareno Aguirre, T. S. E. Maibaum · 2002 · 37 citations

Engineering, Component-based Systems, Software Engineering +20

1–5 of 25