Concepedia

Author

Tom Maibaum

McMaster University

Also Known As

Maibaum, Tom, Tom Maibaum, Tom S. E. Maibaum, Tom S.E. Maibaum

128

Publications

1.4K

Citations

21

H-Index

72

Concepts

All Affiliations

McMaster UniversityKing's College LondonImperial College LondonNational University of Río CuartoUniversity of Toronto
TM

About

Tom Maibaum is an author at McMaster University specializing in engineering, software engineering, and software design.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

13

16

485

2

Business

1

1

13

3

Language Studies

1

1

43

4

Law

1

1

13

5

Management

1

1

13

Tom Maibaum

×

19

Publications

585

Citations

15

H-Index

YearCitations

Categorical semantics of parallel program design

JoséLuiz Fiadeiro, Tom Maibaum

Science of Computer Programming

1997

93

Evidence-Based Electronic Contract Performance Monitoring

Aspassia Daskalopulu, Theo Dimitrakos, Tom Maibaum

Group Decision and Negotiation

2002

52

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

Zinovy Diskin, Tom Maibaum

Electronic Proceedings in Theoretical Computer Science

2012

44

Interconnecting formalisms

José Luiz Fiadeiro, Tom Maibaum

1995

43

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea,

2013

40

On a generalized modularization theorem

Theo Dimitrakos, Tom Maibaum

Information Processing Letters

2000

37

Mathematical foundations of software engineering

Tom Maibaum

2000

34

Evaluating the Effectiveness of a Goal-Oriented Requirements Engineering Method

Huzam S. F. Al-subaie, Tom Maibaum

2006

33

Towards specification, modelling and analysis of fault tolerance in self managed systems

Jeff Magee, Tom Maibaum

2006

31

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

Alan Wassyng, Neeraj Kumar Singh, Mischa Geven,

IEEE Design and Test

2015

26

Page 1