Follow
Tom Maibaum
Tom Maibaum
Professor of the Foundations of Software Engineering, McMaster University
Verified email at maibaum.org
Title
Cited by
Cited by
Year
Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
S Abramsky, DM Gabbay, TSE Maibaum
OUP Oxford, 2001
3352001
Specification of computer programs
WM Turski, TSE Maibaum
Addison-Wesley Longman Publishing Co., Inc., 1987
2521987
Temporal theories as modularisation units for concurrent system specification
J Fiadeiro, T Maibaum
Formal aspects of Computing 4, 239-272, 1992
2251992
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
Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991
1371991
Describing, structuring and implementing objects
J Fiadeiro, T Maibaum
Foundations of Object-Oriented Languages: REX School/Workshop …, 1991
1241991
Sometimes “Tomorrow” is “Sometime” Action refinement in a temporal logic of objects
JL Fiadeiro, T Maibaum
Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July …, 2005
1112005
A generalized approach to formal languages
TSE Maibaum
Journal of Computer and System Sciences 8 (3), 409-439, 1974
931974
Temporal reasoning over deontic specifications
J Fiadeiro, T Maibaum
Journal of Logic and Computation 1 (3), 357-395, 1991
901991
The prescription and description of state based systems
S Khosla, TSE Maibaum
Temporal Logic in Specification: Altrincham, UK, April 8–10, 1987 …, 2005
862005
A product-focused approach to software certification
T Maibaum, A Wassyng
Computer 41 (2), 91-93, 2008
782008
Interconnecting formalisms: supporting modularity, reuse and incrementality
JL Fiadeiro, T Maibaum
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
771995
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake
DS-4, 243-284, 1990
751990
Evidence-based electronic contract performance monitoring
A Daskalopulu, T Dimitrakos, T Maibaum
Group decision and negotiation 11, 469-485, 2002
742002
Handbook of logic in computer science
H Barendregt, S Abramsky, DM Gabbay, TSE Maibaum
Lambda calculi with types 2, 117-309, 1992
681992
Category theory and model-driven engineering: From formal semantics to design patterns and beyond
Z Diskin, T Maibaum
Model-Driven Engineering of Information Systems: Principles, Techniques, and …, 2014
642014
A temporal logic approach to the specification of reconfigurable component-based systems
N Aguirre, T Maibaum
Proceedings 17th IEEE International Conference on Automated Software …, 2002
622002
A mathematical toolbox for the software architect
JL Fiadeiro, T Maibaum
Proceedings of the 8th International Workshop on Software Specification and …, 1996
611996
Software certification: Is there a case against safety cases?
A Wassyng, T Maibaum, M Lawford, H Bherer
Foundations of Computer Software. Modeling, Development, and Verification of …, 2011
602011
Towards electronic contract performance
A Daskalopulu, T Maibaum
12th International Workshop on Database and Expert Systems Applications, 771-777, 2001
572001
The system can't perform the operation now. Try again later.
Articles 1–20