Tom Maibaum, McMaster University

Computing & Software Professor Hamilton, Ontario maibaum@mcmaster.ca Office: (905) 525-9140 ext. 26627

Bio/Research

My research interests have focused for over 35 years on the theory of specification and its application in various contexts. My initial ventures in this area were with colleagues at the Pontifícia Universidade Católica do Rio de Janeiro (PUC), where I have been an Honourary Professor since 1992. ...

Click to Expand >>

Bio/Research

My research interests have focused for over 35 years on the theory of specification and its application in various contexts. My initial ventures in this area were with colleagues at the Pontifícia Universidade Católica do Rio de Janeiro (PUC), where I have been an Honourary Professor since 1992. The most prominent amongst these were Paulo Veloso, Roberto Lins de Carvalho and Carlos José Pereira de Lucena. We developed a first order logic approach to specification, in contrast to initial algebra approach then current in the community (which we thought was methodologically ill founded). This theory was developed over the years to deal with a range of specification issues, including parameterisation, refinement, and, eventually, modularity. The last of these focused our attention on meta theoretic aspects of specification: Why is a specification formalism good or bad for specifying particular kinds of applications? What excatly is modularity? Are there properties of formalisms that can be used to characterise their suitability?



Click to Shrink <<

Links