Seguir
José Luiz Fiadeiro
José Luiz Fiadeiro
Durham Johnston Comprehensive School
Dirección de correo verificada de durhamjohnston.org.uk
Título
Citado por
Citado por
Año
Categories for software engineering
JL Fiadeiro
Springer Science & Business Media, 2005
2782005
Temporal theories as modularisation units for concurrent system specification
J Fiadeiro, T Maibaum
Formal aspects of Computing 4, 239-272, 1992
2261992
Structuring theories on consequence
J Fiadeiro, A Sernadas
Workshop on the Specification of Abstract Data Types, 44-72, 1987
2021987
A graph based architectural (re) configuration language
M Wermelinger, A Lopes, JL Fiadeiro
Proceedings of the 8th European software engineering conference held jointly …, 2001
1832001
A graph transformation approach to software architecture reconfiguration
M Wermelinger, JL Fiadeiro
Science of Computer Programming 44 (2), 133-155, 2002
1722002
Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum
Science of Computer Programming 28 (2-3), 111-138, 1997
1511997
Sharing actions and attributes in modal action logic
M Ryan, J Fiadeiro, T Maibaum
Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991
1391991
A formal approach to service component architecture
JL Fiadeiro, A Lopes, L Bocchi
Web Services and Formal Methods: Third International Workshop, WS-FM 2006 …, 2006
1332006
Describing, structuring and implementing objects
J Fiadeiro, T Maibaum
Foundations of Object-Oriented Languages: REX School/Workshop …, 1991
1241991
Sometimes “Tomorrow” is “Sometime” Action refinement in a temporal logic of objects
JL Fiadeiro, T Maibaum
International Conference on Temporal Logic, 48-66, 1994
1091994
Interconnecting objects via contracts
LF Andrade, JL Fiadeiro
International Conference on the Unified Modeling Language, 566-583, 1999
1061999
Chapter 5. A mathematical semantics for architectural connectors
JL Fiadeiro, A Lopes, M Wermelinger
Generic Programming: Advanced Lectures, 178-221, 2003
1022003
Semantics of architectural connectors
JL Fiadeiro, A Lopes
Colloquium on Trees in Algebra and Programming, 503-519, 1997
1011997
The basic building blocks of information systems
A Sernadas, J Fiadero, C Sernadas, HD Ehrich, ED Falkenberg
Information System Concepts: An In-Depth Analysis, 1989
1011989
Agility through coordination
LF Andrade, JL Fiadeiro
Information Systems 27 (6), 411-424, 2002
94*2002
Temporal reasoning over deontic specifications
J Fiadeiro, T Maibaum
Journal of Logic and Computation 1 (3), 357-395, 1991
891991
Algebraic software architecture reconfiguration
M Wermelinger, JL Fiadeiro
ACM SIGSOFT Software Engineering Notes 24 (6), 393-409, 1999
871999
A model for dynamic reconfiguration in service-oriented architectures
JL Fiadeiro, A Lopes
Software & Systems Modeling 12, 349-367, 2013
802013
Connectors for mobile programs
M Wermelinger, JL Fiadeiro
IEEE Transactions on Software Engineering 24 (5), 331-341, 1998
771998
Higher-order architectural connectors
A Lopes, M Wermelinger, JL Fiadeiro
ACM Transactions on Software Engineering and Methodology (TOSEM) 12 (1), 64-104, 2003
742003
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20