Person
ISNI: 
0000 0000 8175 7339
https://isni.org/isni/0000000081757339
Name: 
Maibaum, T.
Maibaum, T. S. E.
Maibaum, Thomas S. E.
Maibaum, Tom
Maibaum, Tom S. E.
Tom Maibaum
Tom Maibaum (Computer scientist)
Dates: 
1947-
Creation class: 
article
Language material
txt
Creation role: 
author
creator
editor
publishing director
redactor
Related names: 
Abramsky, Samson
Abramsky, Samson (1953- ))
Abramsky, Samson (1953-)
Aichernig, Bernhard K. (1969-)
Cuellar, Jorge
Cunha, Paulo R. F.
Gabbay, Dov M. (1945- ))
Gabbay, Dov M. (1945-)
International Institute for Software Technology
Lucena, Carlos J.
Maibaum, T.S.E.
Turski, Władysław M.
Turski, Władysław Marek (1938- ))
University of Waterloo. Faculty of Mathematics
Titles: 
Abstract data types and a semantics for the ANSI/SPARC architecture
Advances in Distributed Computing (ADC)
Background
Categorical semantics of parallel program design
CCPSD 1991
Computational structures
Conceptual Modeling of Data Base Operations
Evidence-Based Electronic Contract Performance Monitoring
FASE 2000, fundamental approaches to software engineering
FM 2008 : formal methods : 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008 : proceedings
Formal methods at the crossroads : from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
Handbook of logic in computer science.
Higher Order Data Types
ICFEM 2008
Informal approach to formal (algebraic) specifications.
Logic and algebraic methods
look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition, A
Mélanges. Haeberer, Armando Martín
Message oriented programming: A resource based methodology.
Non-termination, implicit definitions and abstract data types
On a generalized modularization theorem
On the Design and Specification of Message Oriented Programs
On what exactly goes on when software is developed step-by-step, II : The sequel
Reasoning about static and dynamic properties in alloy
rely-guarantee discipline for open distributed systems design, A
Resource : a methodology for message oriented programming
Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering
Semantic structures
Special issue on semantics for software modeling techniques, c2000:
specification of computer programs, The
Taking more of the soft out of software engineering
TAPSOFT'91 : proceedings of the international joint conference on theory and practice of software development, Brighton, April 8-12, 1991
TAPSOFT ʼ91 : proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991
Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems, A
uniform logical treatment of queries and updates, A
Verification Logic for Rewriting Logic, A
Very Idea of Software Development Environments:A Conceptual Architecture for the ARTS Environment Paradigm, The
Contributed to or performed: 
INFORMATION PROCESSING LETTERS
Notes: 
Sources: 
VIAF LAC NKC NLP NUKAT SUDOC WKD
NLN
NTA
ZETO