Seguir
José Luiz Fiadeiro
José Luiz Fiadeiro
Professor of Computer Science, University of Dundee
Dirección de correo verificada de dundee.ac.uk - Página principal
Título
Citado por
Citado por
Año
Categories for software engineering
JL Fiadeiro
Springer Science & Business Media, 2005
2752005
Temporal theories as modularisation units for concurrent system specification
J Fiadeiro, T Maibaum
Formal aspects of Computing 4, 239-272, 1992
2251992
Structuring theories on consequence
J Fiadeiro, A Sernadas
Workshop on the Specification of Abstract Data Types, 44-72, 1987
2011987
A graph based architectural (re) configuration language
M Wermelinger, A Lopes, JL Fiadeiro
Proceedings of the 8th European software engineering conference held jointly …, 2001
1812001
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
1491997
Sharing actions and attributes in modal action logic
M Ryan, J Fiadeiro, T Maibaum
Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991
1381991
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
1231991
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
1071999
Chapter 5. A mathematical semantics for architectural connectors
JL Fiadeiro, A Lopes, M Wermelinger
Generic Programming: Advanced Lectures, 178-221, 2003
1032003
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
1021989
Semantics of architectural connectors
JL Fiadeiro, A Lopes
Colloquium on Trees in Algebra and Programming, 503-519, 1997
991997
Agility through coordination
LF Andrade, JL Fiadeiro
Information Systems 27 (6), 411-424, 2002
93*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
841999
A model for dynamic reconfiguration in service-oriented architectures
JL Fiadeiro, A Lopes
Software & Systems Modeling 12, 349-367, 2013
812013
Connectors for mobile programs
M Wermelinger, JL Fiadeiro
IEEE Transactions on Software Engineering 24 (5), 331-341, 1998
771998
Interconnecting formalisms: supporting modularity, reuse and incrementality
JL Fiadeiro, T Maibaum
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
751995
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20