Theo dõi
José Luiz Fiadeiro
José Luiz Fiadeiro
Durham Johnston Comprehensive School
Email được xác minh tại durhamjohnston.org.uk
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
Categories for software engineering
JL Fiadeiro
Springer Science & Business Media, 2005
2822005
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
2001987
A graph based architectural (re) configuration language
M Wermelinger, A Lopes, JL Fiadeiro
Proceedings of the 8th European software engineering conference held jointly …, 2001
1822001
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
1521997
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
1352006
Describing, structuring and implementing objects
J Fiadeiro, T Maibaum
Foundations of Object-Oriented Languages: REX School/Workshop …, 1991
1281991
Sometimes “Tomorrow” is “Sometime” Action refinement in a temporal logic of objects
JL Fiadeiro, T Maibaum
International Conference on Temporal Logic, 48-66, 1994
1101994
A mathematical semantics for architectural connectors
JL Fiadeiro, A Lopes, M Wermelinger
Generic Programming 2793, 178-221, 2003
1042003
Interconnecting objects via contracts
LF Andrade, JL Fiadeiro
International Conference on the Unified Modeling Language, 566-583, 1999
1041999
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
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
871999
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
741995
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20