Home (not so) Brief CV Software Engineering Group Links

Publications

Journals

  1. Maibaum T S E, "A Generalized Approach to Formal Languages", Journal of Computer & Systems Science, Vol 8, No 3, (1974), 409-439.
  2. Maibaum T S E, "Pumping Lemmas for Term Languages", Journal of Computer & Systems Science, Vol 12, No 4, (1978), 319-330.
  3. Maibaum T S E, Lucena C J, "Higher Order Data Types" International Journal of Computer & Information Science, Vol 9, No 1, (1980), 31-53.
  4. Cunha P R F, Lucena C J, Maibaum T S E, "On the Design and Specification of Message Orientated Programs International Journal of Computer & Information Science, Vol 9, No 3, (1980),161-191.
  5. Furtado A L, Maibaum T S E, Veloso P A S,"Especificacoes Abstratas (de Bancos de Dados) via Niveis de Traco" Revista Brasileira de Computacao, Vol 1, No 3, (1981), 179-193.
  6. Levy M R, Maibaum T S E, "Continuous Data Types" SIAM Journal on Computing, Vol 11, No 2, (1982), 201-216.
  7. dos Santos C S, Furtado A L, Maibaum T S E, "A Uniform Logical Treatment of Queries and Updates" International Journal of Computer & Information Science, Vol 11, (1982).
  8. Cunha P R F, Lucena C F, Maibaum T S E, "Message Oriented Programming - A Resource Based Methodology" Computer Languages, Vol 8, No 3/4, (1983), 95-111.
  9. Maibaum T S E, "Data Base Instances, Abstract Data Types and Data Base Specifications" Computer Journal, Vol 28, No 1, (1984), 8 pages.
  10. Furtado A L, Maibaum T S E, "An Informal Approach to Formal (Algebraic) Specifications" Computer Journal, Vol 28, No 1, (1984), 7 pages.
  11. Maibaum T S E, Sadler M R, "Formal Methods: a commentary" Journal of Information Technology, Vol 2, No 2, (1987),77 -80.
  12. de Queiroz R J G B, Maibaum, T S E, "Proof Theory and Computer Programming" Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol 36,(1990), 389-414.
  13. de Queiroz R J G B, Maibaum, T S E, "Abstract Data Types and Type Theory: Theories as Types" Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik, Vol 37, (1991), 149-166.
  14. Fiadeiro J L L, Maibaum T S E, "Temporal Reasoning over Deontic Specifications", Journal of Logic and Computation, Vol 1, No 3, (1991), 357-396.
  15. Fiadeiro J L L, Maibaum T S E, "Temporal Theories as Modularisation Units for Concurrent System Specifications", Formal Aspects of Computing Journal, Vol 4, No3, (1992), 239-272.
  16. Benevides M, Maibaum T S E, "A Constructive Presentation for the Modal Connective of Necessity", Journal of Logic and Computation Vol 2, No 1, (1992) 31-50.
  17. Veloso P A S, Maibaum T S E, "On the Modularisation Theorem for Logical Specifications", Information Processing Letters, Vol 53, (1995), 287-293.
  18. Fiadeiro J L L, Maibaum T S E, "Categorical Semantics of Parallel Program Design", Science of Computer Programming, Vol 28, (1997), 111-138.

Books

  1. Turski W M, Maibaum T S E, "The Specification of Computer Programs" (Addison-Wesley, London) 1987.
  2. Abramsky S, Gabbay D M, Maibaum T S E, eds, "Handbook of Logic in Computer Science, Vol I - VI" (Oxford University Press), Vol I-II 1992, Vol III-IV 1995, Vol V-VI to appear 1998.
  3. Abramsky S, Maibaum T S E, eds, "Proceedings of TAPSOFT'91, Vol 1-2", LNCS 493, 494, (Springer Verlag), 1991.
  4. Maibaum T S E, Zelkowitz M, eds, "Proceedings of the 18th International Conference on Software Engineering", (IEEE Press), 1996.

Monographs

  1. Emden M van, Maibaum T S E, "Equations Compared with Clauses for Specification of Abstract Data Types", in Advances in Data Base Theory Gallaire H, Minker J, Nicolas J M, eds, (1981), 159-193 (Plenum Publishing).
  2. Khosla S, Maibaum T S E, Sadler M R, "Database Specification" in Proc. IFIP TC2 Working Conference on Database Semantics (DS-1) Meersman R, ed, (1985), (North-Holland).
  3. Li D-H, Maibaum T S E, "Developing a High Level Specification Formalism" in Formal Methods: Theory and Practice, Scharbach P N, ed, (1988) (Blackwell Scientific) 52-102.
  4. Khosla S, Maibaum T S E, "The Prescription and Description of State Based Systems" in Workshop on Temporal Logic in Specification (to appear), Banieqbal B, Barringer H, Prueli A, eds, (1989), LNCS 298, (Springer Verlag).
  5. Maibaum T S E, Veloso PAS, "Specification" in Handbook of Logic in Computer Science Vol VI (to appear) Abramsky S, Gabbay D M, Maibaum T S E, eds (Oxford University Press).
  6. Fiadeiro J L L, Maibaum T S E, "Describing, Structuring and Implementing Objects", in REX90 Workshop on Foundations of Object Oriented Languages, J de Bakker, W-P de Roever, and G Rozenberg (eds), (1991), LNCS 489, (Springer Verlag).
  7. Fiadeiro J L L, Sernadas C, Maibaum T S E and Saake G, "Proof-theoretic Semantics of Object-oriented Specification Constructs", in Object Oriented Databases: Analysis, Design and Construction, R. Meersman and W. Kent, eds, (1992), (North Holland).
  8. Fiadeiro J L L, Sernadas C, Maibaum T S E and Sernadas A, "Describing and Structuring Objects for Conceptual Schema Development", in Conceptual Modelling, Databases and CASE: An Integrated View of Information Systems Development, P. Loucopoulos and R. Zicari, eds, (1992), (John Wiley), 117-138.
  9. Fiadeiro J L L, Costa J-F, Sernadas A and Maibaum T S E, "Process semantics of object specifications" Recent Trends in Data Type Specification, Bidoit M and Choppy C, eds, (1993), LNCS 655, (Springer Verlag), 136-253.
  10. Fiadeiro J L L, Maibaum T S E, "Towards Object Calculi", Information Systems-Correctness and Reusability, Technische Universität Braunschweig, Saake G, Sernadas A, ed, (1991).
  11. Maibaum, T S E, "Temporal Reasoning Over Deontic Specifications", Deontic Logic in Computer Science: Normative System Specification, Meyer J-J Ch , Wieringer RJ, eds, (1993) (John Wiley).
  12. Fiadeiro J L L, Maibaum T S E, "Generalising Interpretations between Theories in the Context of (?-)institutions", in Theory and Formal Methods 1993, G.Burn, S.Gay e M.Ryan, eds, (1993) (Springer Verlag), 126-147.
  13. Fiadeiro J L L, Maibaum T S E, "Verifying for Reuse: Foundations of Object-Oriented System Verification", in Theory and Formal Methods 1994, C.Hankin, I.Makie e R.Nagarajan, eds, (1995) (World Scientific Publishing Company), 235-257.
  14. Barreiro N, Fiadeiro J L L, and Maibaum T S E, "Politeness in Object Societies", in Information Systems - Correctness and Reusability, R.Wieringa e R.Feenstra, eds, (1995) (World Scientific Publishing Company), 119-134.
  15. Fiadeiro J L L, Maibaum T S E, "Design Structures for Object-Based Systems", in Formal Methods and Object Technology, S.Goldsack e S.Kent, eds, (1996) (Springer Verlag), 183-204.
  16. Bicarregui J C, Lano K C, and Maibaum T S E, "Towards a Compositional Interpretation of Object Diagrams", Proceedings of IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, Strasbourg, Feb 1997, R.Bird and R.Meertens, eds, (1997) Chapman and Hall.
  17. Fiadeiro J L L, Lopes, A and Maibaum T S E, "Synthesising Interconnections", Proceedings of IFIP TC 2 Working Conference on Algorithmic Languages and Calculi, Strasbourg, Feb 1997, R.Bird and R.Meertens, eds, (1997) Chapman and Hall.
  18. Maibaum T S E, "Conservative Extensions, Interpretations Between Theories and All That! ", invited talk in TAPSOFT'97: Theory and Practice of Software Development, Bidoit, M and Dauchet, M, eds, (1997) (Springer-Verlag) LNCS 1214.
  19. Maibaum T S E, "Software Engineers do not Take Engineering Seriously: An Academic('s) View of Software Engineering Education", invited talk in Software Engineering: ESEC/FSE, Jazayeri M and Schauer H, eds, (1997) (Springer Verlag) LNCS 1301, 40-50.
  20. Maibaum T S E, "Reactive System Specification", invited talk in AMAST'98, Haeberer, A. ed, (1999), (Springer Verlag) LNCS?.

Refereed Conference Proceedings

  1. Culik II K, Maibaum T S E, "Parallel Rewriting Systems on Terms" in Lecture Notes in Computer Science 14, Loeckx J ed, (Springer-Verlag) 1974, 224-230. (Proc. 2nd Colloquium on Automata, Languages and Programming).
  2. Maibaum T S E, "Generalized Syntax and Semantics" in Proc. Annual CIPS Conference, May 1976, 256-279.
  3. Maibaum T S E, "Mathematical Semantics and a Model for Data Bases" in Proc. IFIP Congress 77, Gilchrist B ed, (North Holland) 1977, 133-138.
  4. Maibaum T S E, "The Semantics of Non-Deterministic Recursive Definitons" in Proc.3e Colloque International sur la Programmation, Robinet B ed (Dunod) 1978, 158-171.
  5. Cunha P R F, Lucena C J, Maibaum T S E, "A Methodology for Message Orientated Programming" in Informatik-Fachberichte 25, 8 pages (Proc. 6th GI Conference on Programming & Program Development, March 1980).
  6. Cunha P R F, Maibaum T S E, "An Abstract Data Type for Message Orientated Programming" in LNCS 83, 1980,79-91. (Proc. 4th Colloque sur la Programmation).
  7. Cunha P R F, Maibaum T S E, "Resource = Abstract Data Type + Synchronization" in Proc. 5th IEEE International Conference on Software Engineering, February 1981, 263-272.
  8. Maibaum T S E, "IO and OI Revisited" in Proc. 8th Colloquium on Trees in Algebra and Computing, Lille, France, February 1982, 31 pages.
  9. C J Lucena, Maibaum T S E, "Data-Directed Programming, Data Abstraction and Program Solvability" in Proc. IX Conferencia Latinamericano de Informatica, Lima, Peru, August 1982, 8 pages.
  10. Maibaum T S E, Veloso P A S, Pessoa F E P, "Teoria de Tipos Abstratos de Dados para Programacao" in Proc. IX Conferencia Latinamericano de Informatica, Lima, Peru, August 1982, 10 pages.
  11. Koch A, Maibaum T S E, "A Message Orientated Language for System Applications" in Proc. 3rd International Conference on Distributed Computing Systems (published by IEEE) October 1982, 829-832.
  12. Carvalho R L, Maibaum T S E, Pequeno T H C, Pereda A A, Velsos P A S, "A Model Theoretic Approach to the Semantics of Data Types and Structures" in Proc. International Computer Symposium, Feng Chia University, Taiwan, December 1982, 20 pages.
  13. Golshani F, Maibaum T S E, Sadler M R, "A Modal System of Algebras for Data Base Specification and Query/Update Language Support" in Proc. 9th International Conference on Very Large Data Bases, October 1983, 331-339.
  14. Cunha P R F, Maibaum T S E, "An Abstract Data Type for Message Orientated Programming" in LNCS 83, (Springer Verlag)1980, 79-91. Proc. 4e Colloque sur la Programmation.
  15. Maibaum T S E, Turski W M, "On What Exactly Goes on When Software is Developed Step-by-Step" Proc. 7th International Conference on Software Engineering (published by IEEE) 1984.
  16. Maibaum T S E, Sadler M R, Veloso P A S, "Logical Specification and Implementation" in LNCS 181, (Springer Verlag)1984, 18 pages. Proc. 4th Conference on Foundations of SoftwareTechnology and Theoretical Computer Science, Bangalore.
  17. Maibaum T S E, Sadler M R, "Axiomatising Specification Theory" in Springer Fachberichte 50 (Proc.3rd Abstract Data Type Workshop, Bremen, Nov 1984).
  18. Maibaum T S E, Veloso P A S, Sadler M R, "A Theory of Abstract Data Types for Program Development: bridging the gap" in LNCS 186, (Springer Verlag) 1985, 18 pages. Proc. TAPSOFT, Berlin.
  19. Veloso P A S, Maibaum T S E, Sadler M R, " Program Development and Theory Manipulation" in Proc. 3rd International Workshop on Software Specification and Design, London, Aug 1985 (IEEE Computer Society Press).
  20. Cunningham R J, Finkelstein A, Goldsack S, Maibaum T S E, Potts C, "Formal Requirements Specification - The FOREST Project" in Proc. of 3rd International Workshop on Software Specification and Design, London, Aug 1985 (IEEE Computer Society Press).
  21. Khosla S, Maibaum T S E, Sadler M R, "Large Database Specifications from Small Views" in LNCS 206 (Springer Verlag). Proc. 5th Conference on Foundations of Software Technology and Theoretical Computer Science, Delhi, Dec 1985.
  22. Maibaum T S E, "Rôle of Abstraction in Program Development (invited paper)" in Information Processing '86; Kugler H-J ed, (North Holland) 1986, 8 pages.
  23. Jeremaes P, Khosla S, Maibaum T S E, "A Modal (Action) Logic for Requirements Specification" in IEE Computing Series 6 Barnes D and Brown P eds, (Peter Peregrinus) 17 pages. (Proc. Software Engineering 86).
  24. Li D-H, Maibaum T S E, "A Top-down Step-wise Refinement Methodology for Protocol Specification" in Concuency '88 LNCS 335, Vogt F (ed) (Springer Verlag), 1988, 25 pages.
  25. Niskier C, Maibaum T S E, Schwabe D, "A look Through PRISMA: Towards Pluralistic Knowledge-Based Environments for Software Specification Acquisition" in Proceedings of 5th International Workshop on Software Specification and Design, (1989) (IEEE Press).
  26. Niskier C, Maibaum T S E, Schwabe D, "A Pluralistic Knowledge Based Approach to Software Specification" in 2nd European Software Engineering Conference LNCS 387 Ghezzi C, Mc Dermid JA, eds, (1989) (Springer Verlag), 411-423.
  27. Ryan M, Fiadeiro J L L and Maibaum T S E, "Sharing Actions and Attributes in Modal Action Logic", in Proceedings of the International Conference on Theoretical Aspects of Computer Software, Ito T and Meyer A, eds, (1991), (Springer Verlag), LNCS 526.
  28. Maibaum T S E, "Taking More of the Soft out of Software Engineering", in Proceedings of 7th International Workshop on Software Specification and Design, (1993), (IEEE Press).
  29. Fiadeiro J L L, Maibaum T S E, "Sometimes 'Tomorrow' is 'Sometime': Action Refinement in a Temporal Logic of Objects", in Temporal Logic, D.M.Gabbay , H.J.Ohlbach, eds, LNAI 827, (1994) (Springer Verlag), 48-66.
  30. Fiadeiro J L L, Maibaum T S E, "Interconnecting Formalisms: supporting modularity, reuse andincrementality", in Proc. 3rd Symposium on Foundations of Software Engineering, G.E.Kaiser (ed), pp. 72-80, ACM Press 1995.
  31. Fiadeiro J L L, Maibaum T S E, "A Mathematical Toolbox for the Software Architect", in Proc. 8th International Workshop on Software Specification and Design, J.Kramer and A.Wolf, eds, (1995) (IEEE Press), 46-55.
  32. Bicarregui J C, Lano K C, and Maibaum T S E, "Objects, Associations and Subsystems: a hierarchical approach to encapsulation", ECOOP 97, (1997) (Springer-Verlag) LNCS 1241, 324-343.
  33. Bicarregui J C, Lano K C, and Maibaum T S E, Formalising Object-Oriented Models in the Object Calculus, ECCOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques, Jyväskylä, Finland, June 9 - 13, 1997, H Kilov, ed, IBM T J Watson Research Center, Hawthorn.
  34. Haeberer A M and Maibaum T S E, "The very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm", ASE'98, Redmiles D and Nuseibeh B, eds, (1998) (IEEE Computer Science Press) to appear.
  35. Baum G A, Frias M F, and Maibaum T S E, "A Logic for Real Time Systems Specification, its Algebraic Semantics and Equational Calculus", AMAST'98, Haeberer A M, ed, (1999) (Springer Verlag) LNCS? to appear.
Home (not so) Brief CV Software Engineering Group Links