| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Alan Wassyng, Mark Lawford, T. S. E. Maibaum |
Software certification experience in the canadian nuclear industry: lessons for the future.  |
EMSOFT  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Characterizing Locality (Encapsulation) with Bisimulation. |
ICTAC |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Towards a First-Order Deontic Action Logic. |
WADT |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Lawford, T. S. E. Maibaum, Alan Wassyng |
Certification of Software-Driven Medical Devices. |
ISoLA |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff |
Software certification consortium: certification methods for safety-critical software. |
CASCON |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer |
Software Certification: Is There a Case against Safety Cases? |
Monterey Workshop |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | John 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. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Deontic action logic, atomic boolean algebras and fault-tolerance. |
J. Applied Logic |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Formal methods versus engineering. |
SIGCSE Bulletin |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. |
Methods, Models and Tools for Fault Tolerance |
2009 |
DBLP DOI BibTeX RDF |
Fault-Tolerance, Formal Specification, Software Design, Deontic Logics |
| 1 | Germán Regis, Nazareno Aguirre, T. S. E. Maibaum |
Specifying and Verifying Business Processes Using PPML. |
ICFEM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno 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 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum, Alan Wassyng |
A Product-Focused Approach to Software Certification. |
IEEE Computer |
2008 |
DBLP DOI BibTeX RDF |
certification, software technologies, software certification |
| 1 | Pablo F. Castro, T. S. E. Maibaum |
A Tableaux System for Deontic Action Logic. |
DEON |
2008 |
DBLP DOI BibTeX RDF |
Deontic Action Logic, Tableaux Systems, Fault-tolerance, Modal Logic, Software Specification |
| 1 | Shaoying Liu, T. S. E. Maibaum, Keijiro Araki (eds.) |
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings |
ICFEM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere (eds.) |
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings |
FM |
2008 |
DBLP BibTeX RDF |
|
| 1 | Alan Wassyng, T. S. E. Maibaum, Mark Lawford |
On Software Certification: We Need Product-Focused Approaches. |
Monterey Workshop |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Challenges in Software Certification. |
ICFEM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. |
SEFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo F. Castro, T. S. E. Maibaum |
A Complete and Compact Propositional Deontic Logic. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Fault tolerance, Temporal Logic, Modal Logic, Software Specification, Deontic Logic |
| 1 | Nazareno Aguirre, Germán Regis, T. S. E. Maibaum |
Verifying Temporal Properties of CommUnity Designs. |
IFM |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre |
Design in CommUnity with Extension Morphisms. |
Formal Methods and Hybrid Real-Time Systems |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe (Jessie) Li, T. S. E. Maibaum |
An Approach to Integration Testing of Object-Oriented Programs. |
QSIC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum, Zhe (Jessie) Li |
A test framework for integration testing of object-oriented programs. |
CASCON |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
On specifying systems that connect to the physical world. |
SoMeT |
2006 |
DBLP BibTeX RDF |
|
| 1 | Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar |
Extension Morphisms for CommUnity. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum |
A Verification Logic for Rewriting Logic. |
J. Log. Comput. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo 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. |
2005 |
DBLP DOI BibTeX RDF |
fork algebras, relational specifications, Alloy |
| 1 | Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum |
Towards Dynamically Communicating Abstract Machines in the B Method. |
ICFEM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
The Epistemology of Validation and Verification Testing. |
TestCom |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, T. S. E. Maibaum |
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. |
Electr. Notes Theor. Comput. Sci. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum |
Implementing Dynamic Aggregations of Abstract Machines in the B Method. |
ICFEM |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam A. M. El-Maddah, T. S. E. Maibaum |
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. |
FASE |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam A. M. El-Maddah, T. S. E. Maibaum |
Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. |
ICSR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
On what exactly goes on when software is developed step-by-step, II: The sequel. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Islam A. M. El-Maddah, T. S. E. Maibaum |
Goal-Oriented Requirements Analysis for Process Control Systems Design. (PDF / PS) |
MEMOCODE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, T. S. E. Maibaum |
A Logical Basis for the Specification of Reconfigurable Component-Based Systems. |
FASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum |
Towards Dynamic Population Management of Abstract Machines in the B Method. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
modularisation, object orientation, dynamic reconfiguration, Structuring mechanisms |
| 1 | Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum |
Taking Alloy to the Movies. |
FME |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Bernhard K. Aichernig, T. S. E. Maibaum (eds.) |
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 |
10th Anniversary Colloquium of UNU/IIST |
2003 |
DBLP BibTeX RDF |
|
| 1 | Nazareno Aguirre, T. S. E. Maibaum |
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. |
Verification: Theory and Practice |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Desert Island Column. |
Autom. Softw. Eng. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos H. C. Duarte, T. S. E. Maibaum |
A Branching Time Logical System for Open Distributed Systems Development. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Nazareno Aguirre, T. S. E. Maibaum |
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. |
ASE |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. |
10th Anniversary Colloquium of UNU/IIST |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
How Do I Trust Thee? Let Me Count The Ways. |
IEEE ICCI |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum |
Interpolation in Practical Formal Development. |
Logic Journal of the IGPL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum |
Interpretability of First-Order Dynamic Logic in a Relational Calculus. |
RelMiCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Martin Haeberer, T. S. E. Maibaum |
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Aspassia Daskalopulu, T. S. E. Maibaum |
Towards Electronic Contract Performance. |
DEXA Workshops |
2001 |
DBLP BibTeX RDF |
|
| 1 | Carlos H. C. Duarte, T. S. E. Maibaum |
A rely-guarantee discipline for open distributed systems design. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, T. S. E. Maibaum |
On a generalized modularization theorem. |
Inf. Process. Lett. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | T. 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. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
An Overview of The Mensurae Language: Specifying Business Processes. |
Rigorous Object-Oriented Methods |
2000 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum (eds.) |
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 |
FASE |
2000 |
DBLP BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum |
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. |
ZB |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Mathematical foundations of software engineering: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
normal design, radical design, engineering, epistemology, foundations |
| 1 | Ezra Kaahwa Mugisa, T. S. E. Maibaum |
A Framework for Describing Software Architectures for Reuse. |
WICSA |
1999 |
DBLP BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita |
Towards a Verification Logic for Rewriting Logic. |
WADT |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Armando Martin Haeberer, T. S. E. Maibaum |
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum, Pauline Kan, Kevin Lano |
Systematising Reactive System Design. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum |
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. |
AMAST |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Categorical Semantics of Parallel Program Design. |
Sci. Comput. Program. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Formalizing Object-Oriented Models in the Object Calculus. |
ECOOP Workshops |
1997 |
DBLP BibTeX RDF |
|
| 1 | Theodosis Dimitrakos, T. S. E. Maibaum |
Notes on Refinement, Interpolation and Uniformity. (PDF / PS) |
ASE |
1997 |
DBLP DOI BibTeX RDF |
step-wise refinement, modularity properties, logic-independent framework, uniform interpolants, specification formalism orthogonal expansion, software maintenance, interpolation, uniformity, program development, proof obligations |
| 1 | T. S. E. Maibaum |
Conservative Extensions, Interpretations Between Theories and All That! |
TAPSOFT |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum |
Synthesising interconnections. |
Algorithmic Languages and Calculi |
1997 |
DBLP BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Towards a compositional interpretation of object diagrams. |
Algorithmic Languages and Calculi |
1997 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
What We Teach Software Engineers in the University: Do We Take Engineering Seriously? |
ESEC / SIGSOFT FSE |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Juan Bicarregui, Kevin Lano, T. S. E. Maibaum |
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. |
ECOOP |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Paulo A. S. Veloso, T. S. E. Maibaum |
On the Modularization Theorem for Logical Specifications. |
Inf. Process. Lett. |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. |
SIGSOFT FSE |
1995 |
DBLP DOI BibTeX RDF |
general systems theory, multiperspective specification, formal methods, reuse, compositionality, incremental development |
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. |
ICTL |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Generalising Interpretations between Theories in the context of (pi-) Institutions. |
Theory and Formal Methods |
1993 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Taking More of the Soft out of Software Engineering. |
IWSSD |
1993 |
DBLP BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Temporal Theories as Modularisation Units for Concurrent System Specification. |
Formal Asp. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Editorial. |
J. Log. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mario R. F. Benevides, T. S. E. Maibaum |
A Constructive Presentation for the Modal Connective of Necessity (\Box). |
J. Log. Comput. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Temporal reasoning over deontic specifications. |
J. Log. Comput. |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum |
Sharing Actions and Attributes in Modal Action Logic. |
TACS |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum |
Process Semantics of Temporal Logic Specifications. |
COMPASS/ADT |
1991 |
DBLP DOI BibTeX RDF |
|
| 1 | Samson Abramsky, T. S. E. Maibaum (eds.) |
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) |
TAPSOFT, Vol.1 |
1991 |
DBLP BibTeX RDF |
|
| 1 | Samson Abramsky, T. S. E. Maibaum (eds.) |
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) |
TAPSOFT, Vol.2 |
1991 |
DBLP BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake |
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. |
DS-4 |
1990 |
DBLP BibTeX RDF |
|
| 1 | José Luiz Fiadeiro, T. S. E. Maibaum |
Describing, Structuring and Implementing Objects. |
REX Workshop |
1990 |
DBLP DOI BibTeX RDF |
object specification, specification morphism, interpretation between theories, action logic, concurrency, locality, encapsulation, deontic logic |
| 1 | Celso Niskier, T. S. E. Maibaum, Daniel Schwabe |
A Pluralistic Knowledge-Based Approach to Software Specification. |
ESEC |
1989 |
DBLP BibTeX RDF |
|
| 1 | Da-Hai Li, T. S. E. Maibaum |
A Top-down Step-wise Refinement Methodology for Protocol Specification. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Configuration versus Use: Specification Languages versus Logics. |
ADT |
1988 |
DBLP BibTeX RDF |
|
| 1 | Samit Khosla, T. S. E. Maibaum |
The Prescription and Description of State Based Systems. |
Temporal Logic in Specification |
1987 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Role of Abstraction in Program Development (Invited Paper). |
IFIP Congress |
1986 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Modular Construction of Logics for Specification. |
ADT |
1986 |
DBLP BibTeX RDF |
|
| 1 | Antonio L. Furtado, T. S. E. Maibaum |
An Informal Approach to Formal (Algebraic) Specifications. |
Comput. J. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum |
Database Instances, Abstract Data Types and Database Specification. |
Comput. J. |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | T. 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 |
DBLP DOI BibTeX RDF |
axiomatic theories, incomplete specifications, parameterisation, conservative extension, namability, implementation, interpretation, abstract data types, program development, stepwise refinement |
| 1 | Samit Khosla, T. S. E. Maibaum, M. R. Sadler |
Database Specification. |
DS-1 |
1985 |
DBLP BibTeX RDF |
|
| 1 | Samit Khosla, T. S. E. Maibaum, M. R. Sadler |
Large Database Specification from Small Views. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
| 1 | T. S. E. Maibaum, M. R. Sadler |
Axiomatizing Specification Theory. |
ADT |
1984 |
DBLP BibTeX RDF |
|
| 1 | T. S. E. Maibaum, Wladyslaw M. Turski |
On What Exactly Is Going On When Software Is Developed Step-by-Step. |
ICSE |
1984 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")