Folgen
José Luiz Fiadeiro
José Luiz Fiadeiro
Dean of Science and Engineering, University of Dundee
Bestätigte E-Mail-Adresse bei dundee.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
321*2006
Categories for software engineering
JL Fiadeiro
Springer Science & Business Media, 2005
2632005
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
Recent Trends in Data Type Specification: 5th Workshop on Specification of …, 2005
2002005
A graph based architectural (re) configuration language
M Wermelinger, A Lopes, JL Fiadeiro
Proceedings of the 8th European software engineering conference held jointly …, 2001
1792001
A graph transformation approach to software architecture reconfiguration
M Wermelinger, JL Fiadeiro
Science of Computer Programming 44 (2), 133-155, 2002
1742002
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
Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991
1391991
A formal approach to service component architecture
JL Fiadeiro, A Lopes, L Bocchi
WS-FM 4184, 193-213, 2006
1302006
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
Temporal Logic: First International Conference, ICTL'94 Bonn, Germany, July …, 2005
1112005
Interconnecting objects via contracts
LF Andrade, JL Fiadeiro
«UML»’99—The Unified Modeling Language: Beyond the Standard Second …, 1999
1081999
Chapter 5. A mathematical semantics for architectural connectors
JL Fiadeiro, A Lopes, M Wermelinger
Generic Programming: Advanced Lectures, 178-221, 2003
1052003
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
TAPSOFT'97: Theory and Practice of Software Development: 7th International …, 1997
1001997
Temporal reasoning over deontic specifications
J Fiadeiro, T Maibaum
Journal of Logic and Computation 1 (3), 357-395, 1991
901991
Agility through coordination
LF Andrade, JL Fiadeiro
Information Systems 27 (6), 411-424, 2002
89*2002
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
Interconnecting formalisms: supporting modularity, reuse and incrementality
JL Fiadeiro, T Maibaum
Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software …, 1995
771995
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20