T. S. E. Maibaum - researchr alias

researchr

You are not signed in
Sign in
Sign up

2010

2009

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)AlloyNazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng. FASE 2009: 155-170 [doi]

Reasoning about System-Degradation and Fault-Recovery with Deontic LogicPablo F. Castro, T. S. E. Maibaum. In Michael Butler, Cliff B. Jones, Alexander Romanovsky, Elena Troubitsyna, editors, Methods, Models and Tools for Fault Tolerance. Volume 5454 of Lecture Notes in Computer Science, pages 25-43, Springer, 2009. [doi]

Deontic action logic, atomic boolean algebras and fault-tolerancePablo F. Castro, T. S. E. Maibaum. japll, 7(4):441-466, 2009. [doi]

Deontic Logic, Contrary to Duty Reasoning and Fault TolerancePablo F. Castro, T. S. E. Maibaum. ENTCS, 258(2):17-34, 2009. [doi]

A Software Certification Consortium and its Top 9 HurdlesJohn Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden. ENTCS, 238(4):11-17, 2009. [doi]

Formal methods versus engineeringT. S. E. Maibaum. SIGCSE, 41(2):6-12, 2009. [doi]

Specifying and Verifying Business Processes Using PPMLGermÃ¡n Regis, Nazareno Aguirre, T. S. E. Maibaum. icfem 2009: 737-756 [doi]

2008

A Tableaux System for Deontic Action LogicPablo F. Castro, T. S. E. Maibaum. deon 2008: 34-48 [doi]

FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, ProceedingsJorge Cuéllar, T. S. E. Maibaum, Kaisa Sere, editors, Volume 5014 of Lecture Notes in Computer Science, Springer, 2008.

Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. ProceedingsShaoying Liu, T. S. E. Maibaum, Keijiro Araki, editors, Volume 5256 of Lecture Notes in Computer Science, Springer, 2008.

A Product-Focused Approach to Software CertificationT. S. E. Maibaum, Alan Wassyng. Computer, 41(2):91-93, 2008. [doi]

On Software Certification: We Need Product-Focused ApproachesAlan Wassyng, T. S. E. Maibaum, Mark Lawford. monterey 2010: 250-274 [doi]

2007

2006

Extension Morphisms for CommUnityNazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar. BIRTHDAY 2006: 173-193 [doi]

2005

2004

2003

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based SystemsNazareno Aguirre, T. S. E. Maibaum. BIRTHDAY 2003: 407-435 [doi]

Towards Dynamic Population Management of Abstract Machines in the B MethodNazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum. zum 2003: 528-545 [doi]

A Logical Basis for the Specification of Reconfigurable Component-Based SystemsNazareno Aguirre, T. S. E. Maibaum. FASE 2003: 37-51 [doi]

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 PapersBernhard K. Aichernig, T. S. E. Maibaum, editors, Volume 2757 of Lecture Notes in Computer Science, Springer, 2003.

Goal-Oriented Requirements Analysis for Process Control Systems DesignIslam A. M. El-Maddah, T. S. E. Maibaum. memocode 2003: 45-46 [doi]

Taking ::::Alloy:::: to the MoviesMarcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum. fm 2003: 678-697 [doi]

On what exactly goes on when software is developed step-by-step, II: The sequelT. S. E. Maibaum. ipl, 88(1-2):45-51, 2003. [doi]

2002

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based SystemsNazareno Aguirre, T. S. E. Maibaum. ASE 2002: 271-274 [doi]

In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003T. S. E. Maibaum. unu 2003: 1-25 [doi]

How Do I Trust Thee? Let Me Count The WaysT. S. E. Maibaum. IEEEicci 2002: 23-26 [doi]

Desert Island ColumnT. S. E. Maibaum. ASE, 9(1):123-126, 2002.

2001

2000

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static ContextTheodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum. zum 2000: 107-126 [doi]

On a generalized modularization theoremTheodosis Dimitrakos, T. S. E. Maibaum. ipl, 74(1-2):65-71, 2000. [doi]

A rely-guarantee discipline for open distributed systems designCarlos H. C. Duarte, T. S. E. Maibaum. ipl, 74(1-2):55-63, 2000. [doi]

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, ProceedingsT. S. E. Maibaum, editor, Volume 1783 of Lecture Notes in Computer Science, Springer, 2000.

Mathematical foundations of software engineering: a roadmapT. S. E. Maibaum. ICSE 2000: 161-172 [doi]

An Overview of The Mensurae Language: Specifying Business ProcessesT. S. E. Maibaum. room 2000: [doi]

Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE 98 Workshop)T. S. E. Maibaum, Bernhard Rumpe. ASE, 7(1):7-8, 2000.

1999

Towards a Verification Logic for Rewriting LogicJosé Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita. WADT 2000: 438-458

A Framework for Describing Software Architectures for ReuseEzra Kaahwa Mugisa, T. S. E. Maibaum. wicsa 1999: 245-272

1998

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational CalculusGabriel Baum, Marcelo F. Frias, T. S. E. Maibaum. amast 1999: 91-105 [doi]

The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment ParadigmArmando Martin Haeberer, T. S. E. Maibaum. ASE 1998: 260-271 [doi]

Systematising Reactive System DesignT. S. E. Maibaum, Pauline Kan, Kevin Lano. amast 1999: 17-22 [doi]

1997

Formalizing Object-Oriented Models in the Object CalculusJuan Bicarregui, Kevin Lano, T. S. E. Maibaum. ECOOPW 1998: 155-160 [doi]

Towards a compositional interpretation of object diagramsJuan Bicarregui, Kevin Lano, T. S. E. Maibaum. alc 1997: 187-211

Objects, Associations and Subsystems: A Hierarchical Approach to EncapsulationJuan Bicarregui, Kevin Lano, T. S. E. Maibaum. ECOOP 1997: 324-343 [doi]

Notes on Refinement, Interpolation and UniformityTheodosis Dimitrakos, T. S. E. Maibaum. jckbse 1997: 108-116 [doi]

Synthesising interconnectionsJosé Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum. alc 1997: 240-264

Categorical Semantics of Parallel Program DesignJosé Luiz Fiadeiro, T. S. E. Maibaum. SCP, 28(2-3):111-138, 1997.

What We Teach Software Engineers in the University: Do We Take ::::Engineering:::: Seriously?T. S. E. Maibaum. ESEC/FSE 1997: 40-50 [doi]

Conservative Extensions, Interpretations Between Theories and All That!T. S. E. Maibaum. tapsoft 1997: 40-66

1995

Interconnecting Formalisms: Supporting Modularity, Reuse and IncrementalityJosé Luiz Fiadeiro, T. S. E. Maibaum. ESEC/FSE 1995: 72-80 [doi]

On the Modularization Theorem for Logical SpecificationsPaulo A. S. Veloso, T. S. E. Maibaum. ipl, 53(5):287-293, 1995. [doi]

1994

Sometimes Tomorrow is Sometime - Action Refinement in a Temporal Logic of ObjectsJosé Luiz Fiadeiro, T. S. E. Maibaum. ictl 1994: 48-66

1993

Generalising Interpretations between Theories in the context of (pi-) InstitutionsJosé Luiz Fiadeiro, T. S. E. Maibaum. imperial 1993: 126-147

Taking More of the Soft out of Software EngineeringT. S. E. Maibaum. iwssd 1993: 2-9

1992

A Constructive Presentation for the Modal Connective of Necessity (/Box)Mario R. F. Benevides, T. S. E. Maibaum. logcom, 2(1):31-50, 1992.

Temporal Theories as Modularisation Units for Concurrent System SpecificationJosé Luiz Fiadeiro, T. S. E. Maibaum. fac, 4(3):239-272, 1992.

EditorialT. S. E. Maibaum. logcom, 2(3):243-245, 1992.

1991

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 DevelopmemntSamson Abramsky, T. S. E. Maibaum, editors, Volume 494 of Lecture Notes in Computer Science, Springer, 1991.

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)Samson Abramsky, T. S. E. Maibaum, editors, Volume 493 of Lecture Notes in Computer Science, Springer, 1991.

Process Semantics of Temporal Logic SpecificationsJosé Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum. compass 1993: 236-253

Temporal reasoning over deontic specificationsJosé Luiz Fiadeiro, T. S. E. Maibaum. logcom, 1(3):357-395, 1991.

Sharing Actions and Attributes in Modal Action LogicMark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum. tacs 1991: 569-593

1990

Proof-Theoretic Semantics of Object-Oriented Specification ConstructsJosé Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake. ds 1990: 243-284

Describing, Structuring and Implementing ObjectsJosé Luiz Fiadeiro, T. S. E. Maibaum. rex 1991: 274-310

1989

A Pluralistic Knowledge-Based Approach to Software SpecificationCelso Niskier, T. S. E. Maibaum, Daniel Schwabe. ESEC/FSE 1989: 411-423

1988

A Top-down Step-wise Refinement Methodology for Protocol SpecificationDa-Hai Li, T. S. E. Maibaum. concur 1988: 197-221

Configuration versus Use: Specification Languages versus LogicsT. S. E. Maibaum. WADT 1988:

1987

The Prescription and Description of State Based SystemsSamit Khosla, T. S. E. Maibaum. tls 1989: 243-294

1986

Modular Construction of Logics for SpecificationT. S. E. Maibaum. adt 1986:

Role of Abstraction in Program Development (Invited Paper)T. S. E. Maibaum. ifip 1986: 135-142

1985

1984

Logical Specification and ImplementationT. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso. fsttcs 1984: 13-30

On What Exactly Is Going On When Software Is Developed Step-by-StepT. S. E. Maibaum, Wladyslaw M. Turski. ICSE 1984: 528-533

Axiomatizing Specification TheoryT. S. E. Maibaum, M. R. Sadler. adt 1985: 171-177

1983

Message Oriented Programming - A Resource Based MethodologyP. R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum. Comp. Lang., Syst. \& Struct., 8(3/4):95-111, 1983.

A Modal System of Algebras for Database Specification and Query/Update Language SupportForouzan Golshani, T. S. E. Maibaum, M. R. Sadler. VLDB 1983: 331-339 [doi]

Structuring of Specifications within a Logical Theory of Data TypesT. S. E. Maibaum. adt 1983:

PreviousNext