Tom Maibaum
Tom Maibaum
Professor of the Foundations of Software Engineering, McMaster University
Verified email at maibaum.org
Title
Cited by
Cited by
Year
Domain theory
S Abramsky, A Jung
Oxford University Press, 1994
14961994
Handbook of logic in computer science (vol. 2): background: computational structures
S Abramsky, DM Gabbay, SE Maibaum
Oxford University Press, Inc., 1993
3691993
Specification of computer programs
WM Turski, TSE Maibaum
Addison-Wesley Longman Publishing Co., Inc., 1987
2451987
Temporal theories as modularisation units for concurrent system specification
J Fiadeiro, T Maibaum
Formal aspects of Computing 4 (3), 239-272, 1992
2231992
Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum
Science of Computer Programming 28 (2-3), 111-138, 1997
1541997
Sharing actions and attributes in modal action logic
M Ryan, J Fiadeiro, T Maibaum
International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991
1301991
Describing, structuring and implementing objects
J Fiadeiro, T Maibaum
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
1171990
Handbook of logic in computer science, volume 2, chapter Lambda calculi with types
HP Barendregt
Oxford University Press, 1992
1031992
Sometimes “tomorrow” is “sometime”
JL Fiadeiro, T Maibaum
International Conference on Temporal Logic, 48-66, 1994
1021994
A generalized approach to formal languages
TSE Maibaum
Journal of Computer and System Sciences 8 (3), 409-439, 1974
941974
Temporal reasoning over deontic specifications
J Fiadeiro, T Maibaum
Journal of Logic and Computation 1 (3), 357-395, 1991
891991
The prescription and description of state based systems
S Khosla, TSE Maibaum
Temporal Logic in Specification, 243-294, 1989
811989
Interconnecting formalisms: supporting modularity, reuse and incrementality
JL Fiadeiro, T Maibaum
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
751995
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake
DS-4, 243-284, 1990
721990
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
70*2011
A product-focused approach to software certification
T Maibaum, A Wassyng
Computer 41 (2), 91-93, 2008
702008
Evidence-based electronic contract performance monitoring
A Daskalopulu, T Dimitrakos, T Maibaum
Group decision and negotiation 11 (6), 469-485, 2002
682002
A mathematical toolbox for the software architect
JL Fiadeiro, T Maibaum
Proceedings of the 8th International Workshop on Software Specification and …, 1996
581996
Towards electronic contract performance
A Daskalopulu, T Maibaum
12th International Workshop on Database and Expert Systems Applications, 771-777, 2001
572001
Towards object calculi
J Fiadeiro, T Maibaum
Information Systems| Correctness and Reusability, Workshop IS-CORE 91, 129-178, 1990
571990
The system can't perform the operation now. Try again later.
Articles 1–20