dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

T. S. E. Maibaum Home Page Coauthor index pubzone.org

Thomas Stephen Edward Maibaum

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Wassyng, Mark Lawford, T. S. E. Maibaum: Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT 2011: 219-226
2010
119Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff: Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum: Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC 2010: 306-321
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Characterizing Locality (Encapsulation) with Bisimulation. ICTAC 2010: 322-336
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Lawford, T. S. E. Maibaum, Alan Wassyng: Certification of Software-Driven Medical Devices. ISoLA (2) 2010: 293-295
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer: Software Certification: Is There a Case against Safety Cases? Monterey Workshop 2010: 206-227
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Towards a First-Order Deontic Action Logic. WADT 2010: 61-75
2009
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng: Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Regis, Nazareno Aguirre, T. S. E. Maibaum: Specifying and Verifying Business Processes Using PPML. ICFEM 2009: 737-756
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. Methods, Models and Tools for Fault Tolerance 2009: 25-43
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden: A Software Certification Consortium and its Top 9 Hurdles. Electr. Notes Theor. Comput. Sci. 238(4): 11-17 (2009)
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. Electr. Notes Theor. Comput. Sci. 258(2): 17-34 (2009)
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: Deontic action logic, atomic boolean algebras and fault-tolerance. J. Applied Logic 7(4): 441-466 (2009)
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Formal methods versus engineering. SIGCSE Bulletin 41(2): 6-12 (2009)
2008
106no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Cuéllar, T. S. E. Maibaum, Kaisa Sere: FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings Springer 2008
105no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLShaoying Liu, T. S. E. Maibaum, Keijiro Araki: Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings Springer 2008
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: A Tableaux System for Deontic Action Logic. DEON 2008: 34-48
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlan Wassyng, T. S. E. Maibaum, Mark Lawford: On Software Certification: We Need Product-Focused Approaches. Monterey Workshop 2008: 250-274
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Alan Wassyng: A Product-Focused Approach to Software Certification. IEEE Computer 41(2): 91-93 (2008)
2007
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Zhe (Jessie) Li: A test framework for integration testing of object-oriented programs. CASCON 2007: 252-255
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXiang Ling, T. S. E. Maibaum, Nazareno Aguirre: Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Challenges in Software Certification. ICFEM 2007: 4-18
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: A Complete and Compact Propositional Deontic Logic. ICTAC 2007: 109-123
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Germán Regis, T. S. E. Maibaum: Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLZhe (Jessie) Li, T. S. E. Maibaum: An Approach to Integration Testing of Object-Oriented Programs. QSIC 2007: 268-273
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo F. Castro, T. S. E. Maibaum: An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM 2007: 151-160
2006
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar: Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: On specifying systems that connect to the physical world. SoMeT 2006: 71-83
2005
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: The Epistemology of Validation and Verification Testing. TestCom 2005: 1-8
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum: Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005)
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNarciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum: A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005)
2004
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIslam A. M. El-Maddah, T. S. E. Maibaum: The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. FASE 2004: 261-266
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum: Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIslam A. M. El-Maddah, T. S. E. Maibaum: Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ICSR 2004: 318-328
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electr. Notes Theor. Comput. Sci. 108: 69-81 (2004)
2003
84no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard K. Aichernig, T. S. E. Maibaum: 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 Springer 2003
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum: Taking Alloy to the Movies. FME 2003: 678-697
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIslam A. M. El-Maddah, T. S. E. Maibaum: Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE 2003: 45-46
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice 2003: 407-435
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum: Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: On what exactly goes on when software is developed step-by-step, II: The sequel. Inf. Process. Lett. 88(1-2): 45-51 (2003)
2002
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST 2002: 1-25
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNazareno Aguirre, T. S. E. Maibaum: A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: How Do I Trust Thee? Let Me Count The Ways. IEEE ICCI 2002: 23
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Desert Island Column. Autom. Softw. Eng. 9(1): 123-126 (2002)
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos H. C. Duarte, T. S. E. Maibaum: A Branching Time Logical System for Open Distributed Systems Development. Electr. Notes Theor. Comput. Sci. 67: 184-203 (2002)
2001
72no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAspassia Daskalopulu, T. S. E. Maibaum: Towards Electronic Contract Performance. DEXA Workshop 2001: 771-777
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Martin Haeberer, T. S. E. Maibaum: Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE 2001: 463-472
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarcelo F. Frias, Gabriel Baum, T. S. E. Maibaum: Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum: Interpolation in Practical Formal Development. Logic Journal of the IGPL 9(2): 231-244 (2001)
2000
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings Springer 2000
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Mathematical foundations of software engineering: a roadmap. ICSE - Future of SE Track 2000: 161-172
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: An Overview of The Mensurae Language: Specifying Business Processes. Rigorous Object-Oriented Methods 2000
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum: Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Bernhard Rumpe: Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). Autom. Softw. Eng. 7(1): 7-8 (2000)
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos H. C. Duarte, T. S. E. Maibaum: A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74(1-2): 55-63 (2000)
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, T. S. E. Maibaum: On a generalized modularization theorem. Inf. Process. Lett. 74(1-2): 65-71 (2000)
1999
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita: Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEzra Kaahwa Mugisa, T. S. E. Maibaum: A Framework for Describing Software Architectures for Reuse. WICSA 1999: 245-272
1998
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Pauline Kan, Kevin Lano: Systematising Reactive System Design. AMAST 1998: 17-22
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabriel Baum, Marcelo F. Frias, T. S. E. Maibaum: A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST 1998: 91-105
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmando Martin Haeberer, T. S. E. Maibaum: The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE 1998: 260-271
1997
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTheodosis Dimitrakos, T. S. E. Maibaum: Notes on Refinement, Interpolation and Uniformity. ASE 1997: 108-116
55no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum: Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJuan Bicarregui, Kevin Lano, T. S. E. Maibaum: Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: What We Teach Software Engineers in the University: Do We Take Engineering Seriously? ESEC / SIGSOFT FSE 1997: 40-50
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT 1997: 40-66
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28(2-3): 111-138 (1997)
1995
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995: 72-80
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo A. S. Veloso, T. S. E. Maibaum: On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53(5): 287-293 (1995)
1994
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66
1993
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Taking More of the Soft out of Software Engineering. IWSSD 1993: 2-9
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147
1992
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Asp. Comput. 4(3): 239-272 (1992)
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario R. F. Benevides, T. S. E. Maibaum: A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992)
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Editorial. J. Log. Comput. 2(3): 243-245 (1992)
1991
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91) Springer 1991
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamson Abramsky, T. S. E. Maibaum: TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD) Springer 1991
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum: Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum: Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991)
1990
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake: Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé Luiz Fiadeiro, T. S. E. Maibaum: Describing, Structuring and Implementing Objects. REX Workshop 1990: 274-310
1989
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCelso Niskier, T. S. E. Maibaum, Daniel Schwabe: A Pluralistic Knowledge-Based Approach to Software Specification. ESEC 1989: 411-423
1988
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Configuration versus Use: Specification Languages versus Logics. ADT 1988
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDa-Hai Li, T. S. E. Maibaum: A Top-down Step-wise Refinement Methodology for Protocol Specification. Concurrency 1988: 197-221
1987
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum: The Prescription and Description of State Based Systems. Temporal Logic in Specification 1987: 243-294
1986
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Modular Construction of Logics for Specification. ADT 1986
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Role of Abstraction in Program Development (Invited Paper). IFIP Congress 1986: 135-142
1985
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum, M. R. Sadler: Database Specification. DS-1 1985: 141-158
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamit Khosla, T. S. E. Maibaum, M. R. Sadler: Large Database Specification from Small Views. FSTTCS 1985: 246-271
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler: A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 1985: 214-230
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAntonio L. Furtado, T. S. E. Maibaum: An Informal Approach to Formal (Algebraic) Specifications. Comput. J. 28(1): 59-67 (1985)
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Database Instances, Abstract Data Types and Database Specification. Comput. J. 28(2): 154-161 (1985)
1984
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, M. R. Sadler: Axiomatizing Specification Theory. ADT 1984: 171-177
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso: Logical Specification and Implementation. FSTTCS 1984: 13-30
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Wladyslaw M. Turski: On What Exactly Is Going On When Software Is Developed Step-by-Step. ICSE 1984: 528-533
1983
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Structuring of Specifications within a Logical Theory of Data Types. ADT 1983
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLForouzan Golshani, T. S. E. Maibaum, M. R. Sadler: A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: Message Oriented Programming - A Resource Based Methodology. Comput. Lang. 8(3/4): 95-111 (1983)
1982
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Koch, T. S. E. Maibaum: A message oriented language for system applications. ICDCS 1982: 824-832
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael R. Levy, T. S. E. Maibaum: Continuous Data Types. SIAM J. Comput. 11(2): 201-216 (1982)
1981
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Roberto Freire Cunha, T. S. E. Maibaum: A Synchronization Calculus for Message Oriented Programming. ICDCS 1981: 433-445
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, T. S. E. Maibaum: Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. ICSE 1981: 263-272
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLC. S. dos Santos, T. S. E. Maibaum, Antonio L. Furtado: Conceptual modeling of data base operations. International Journal of Parallel Programming 10(5): 299-314 (1981)
1980
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: A Methodology for Message Oriented Programming. Fachtagung über Programmiersprachen 1980: 83-93
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLP. R. F. Cunha, T. S. E. Maibaum: A Communication Data Type for Message Oriented Programming. Symposium on Programming 1980: 79-91
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum, Carlos José Pereira de Lucena: Higher order data types. International Journal of Parallel Programming 9(1): 31-53 (1980)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaulo Roberto Freire Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum: On the design and specification of message oriented programs. International Journal of Parallel Programming 9(3): 161-191 (1980)
1979
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaarten H. van Emden, T. S. E. Maibaum: Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory 1979: 159-193
1978
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Pumping Lemmas for Term Languages. J. Comput. Syst. Sci. 17(3): 319-330 (1978)
1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Mathematical Semantics and a Model for Data Bases. IFIP Congress 1977: 133-138
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: Erratum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 14(3): 369 (1977)
1974
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarel Culik II, T. S. E. Maibaum: Parallel Rewriting Systems on terms. ICALP 1974: 495-510
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 8(3): 409-439 (1974)
1972
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLT. S. E. Maibaum: The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets SWAT (FOCS) 1972: 224-230

Coauthor Index

1Samson Abramsky [39] [40]
2Nazareno Aguirre [76] [79] [80] [82] [83] [85] [87] [90] [92] [94] [97] [100] [112] [113] [118]
3Bernhard K. Aichernig [84]
4Paulo S. C. Alencar [94]
5Keijiro Araki [105]
6Marcelo Arroyo [92]
7Gabriel Baum (Gabriel A. Baum) [58] [70] [82] [90]
8Mario R. F. Benevides [42]
9Hans Bherer [115]
10Juan Bicarregui [52] [53] [55] [65] [69] [79] [87] [92]
11Pablo F. Castro [95] [98] [104] [108] [109] [111] [114] [117] [118]
12José Félix Costa [38]
13Jorge Cuéllar (Jorge Ricardo Cuellar) [106]
14Karel Culik II [3]
15Paulo Roberto Freire Cunha (P. R. F. Cunha) [8] [10] [11] [13] [14] [17]
16Aspassia Daskalopulu [72]
17Theodosis Dimitrakos (Theo Dimitrakos) [56] [62] [65] [69] [79]
18Carlos H. C. Duarte (Carlos Henrique C. Duarte) [63] [73]
19Islam A. M. El-Maddah [81] [86] [88]
20Maarten H. van Emden [7]
21José Luiz Fiadeiro [34] [35] [36] [37] [38] [43] [44] [46] [48] [49] [54] [61] [89]
22Marcelo F. Frias (Marcelo Fabiùn Frias) [58] [70] [82] [90] [113]
23Antonio L. Furtado [12] [24]
24Dov M. Gabbay [69]
25Forouzan Golshani [18]
26Lucio Guzmán [87] [92]
27Armando Martin Haeberer [57] [71]
28John Hatcliff [110] [119]
29Mats Per Erik Heimdahl [110]
30Pauline Kan [59]
31Samit Khosla [26] [27] [30]
32A. Koch [16]
33Kevin Lano [52] [53] [55] [59]
34Mark Lawford [103] [110] [115] [116] [119] [120]
35Michael R. Levy [15]
36Da-Hai Li [31]
37Zhe (Jessie) Li [96] [101]
38Xiang Ling [100]
39Shaoying Liu [105]
40Antónia Lopes [54]
41Carlos José Pereira de Lucena [8] [9] [11] [17]
42Narciso Martí-Oliet [61] [89]
43Brian Matthews [65]
44José Meseguer [61] [89]
45Mariano M. Moscato [113]
46Ezra Kaahwa Mugisa [60]
47Celso Niskier [33]
48Isabel Pita [61] [89]
49Carlos López Pombo (Carlos Gustavo López Pombo) [82] [90] [118]
50Germán Regis [97] [112]
51Bernhard Rumpe [64]
52Mark Ryan (Mark Dermot Ryan) [37]
53Gunter Saake [35]
54M. R. Sadler [18] [21] [22] [25] [26] [27]
55C. S. dos Santos [12]
56Daniel Schwabe [33]
57Kaisa Sere [106]
58Amílcar Sernadas [38]
59Cristina Sernadas [35]
60Wladyslaw M. Turski [20]
61Paulo A. S. Veloso [21] [25] [47]
62Alan Wassyng [102] [103] [110] [113] [115] [116] [119] [120]
63Jens H. Weber (Jens H. Weber-Jahnke, Jens H. Jahnke) [119]
64Fred L. Wurden [110]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page