José Luiz Fiadeiro
José Luiz Fiadeiro
Dean of Science and Engineering, University of Dundee
Verified email at dundee.ac.uk - Homepage
TitleCited byYear
Categories for software engineering
JL Fiadeiro
Springer Science & Business Media, 2005
2442005
Temporal theories as modularisation units for concurrent system specification
J Fiadeiro, T Maibaum
Formal aspects of Computing 4 (3), 239-272, 1992
2211992
Structuring theories on consequence
J Fiadeiro, A Sernadas
Workshop on the Specification of Abstract Data Types, 44-72, 1987
1851987
A graph based architectural (re) configuration language
M Wermelinger, A Lopes, JL Fiadeiro
ACM SIGSOFT Software Engineering Notes 26 (5), 21-32, 2001
1692001
A graph transformation approach to software architecture reconfiguration
M Wermelinger, JL Fiadeiro
Science of Computer Programming 44 (2), 133-155, 2002
1632002
Categorical semantics of parallel program design
JL Fiadeiro, T Maibaum
Science of Computer Programming 28 (2-3), 111-138, 1997
1541997
Sharing actions and attributes in modal action logic
M Ryan, J Fiadeiro, T Maibaum
International Symposium on Theoretical Aspects of Computer Software, 569-593, 1991
1241991
Describing, structuring and implementing objects
J Fiadeiro, T Maibaum
Workshop/School/Symposium of the REX Project (Research and Education in …, 1990
1161990
A formal approach to service component architecture
JL Fiadeiro, A Lopes, L Bocchi
International Workshop on Web Services and Formal Methods, 193-213, 2006
1132006
. A Mathematical Semantics for Architectural Connectors
JL Fiadeiro, A Lopes, M Wermelinger
Generic Programming, 178-221, 2003
1032003
Sometimes “tomorrow” is “sometime”
JL Fiadeiro, T Maibaum
International Conference on Temporal Logic, 48-66, 1994
1021994
Semantics of architectural connectors
JL Fiadeiro, A Lopes
Colloquium on Trees in Algebra and Programming, 503-519, 1997
1001997
Interconnecting objects via contracts
LF Andrade, JL Fiadeiro
International Conference on the Unified Modeling Language, 566-583, 1999
991999
The basic building blocks of information systems
A Semadas, J Fiadeiro, C Sernadas, HD Ehrich
Information System Concepts: An In-Depth Analysis, 225-246, 1989
951989
Agility through coordination
LF Andrade, JL Fiadeiro
Information Systems 27 (6), 411-424, 2002
85*2002
Temporal reasoning over deontic specifications
J Fiadeiro, T Maibaum
Journal of Logic and Computation 1 (3), 357-395, 1991
851991
Algebraic software architecture reconfiguration
M Wermelinger, JL Fiadeiro
Software Engineering—ESEC/FSE’99, 393-409, 1999
821999
Interconnecting formalisms: supporting modularity, reuse and incrementality
JL Fiadeiro, T Maibaum
SIGSOFT FSE, 72-80, 1995
741995
Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
JL Fiadeiro, C Sernadas, TSE Maibaum, G Saake
DS-4, 243-284, 1990
731990
Connectors for mobile programs
M Wermelinger, JL Fiadeiro
IEEE Transactions on Software Engineering 24 (5), 331-341, 1998
721998
The system can't perform the operation now. Try again later.
Articles 1–20