2017 - Member of Academia Europaea
José Luiz Fiadeiro focuses on Programming language, Theoretical computer science, Semantics, Software engineering and Software architecture. His research in Programming language intersects with topics in Deontic logic and Categorical variable. His Theoretical computer science research is multidisciplinary, incorporating perspectives in Action, Kripke models and Atomic formula.
José Luiz Fiadeiro has researched Semantics in several fields, including Calculus, Rotation formalisms in three dimensions, Conservative extension and Institution. His Software engineering study combines topics in areas such as Cryptographic protocol, Software design, Cable gland, Algebraic semantics and Information system. His Software architecture study combines topics in areas such as Diagram, Message passing, Systems architecture and Transient.
His primary areas of study are Software engineering, Programming language, Theoretical computer science, Distributed computing and Software architecture. His Software engineering research includes themes of Software system, Software development, Component-based software engineering and Business rule. His Theoretical computer science study also includes fields such as
His research in Distributed computing intersects with topics in Automaton and Component. In his articles, José Luiz Fiadeiro combines various disciplines, including Software architecture and Control reconfiguration. José Luiz Fiadeiro has included themes like Linear temporal logic and Concurrency in his Temporal logic study.
José Luiz Fiadeiro focuses on Software engineering, Programming language, Distributed computing, Service-oriented architecture and Formal methods. His work deals with themes such as Software system, Service oriented systems, Human–computer interaction, Service-level agreement and Structure, which intersect with Software engineering. His studies in Software system integrate themes in fields like Software development and Architecture description language.
His study in Programming language concentrates on Operational semantics, Logic programming, Semantics, Correctness and Graph rewriting. His Distributed computing research incorporates elements of Automaton, Temporal logic, Consistency, Asynchronous communication and Component. His work carried out in the field of Asynchronous communication brings together such families of science as Linear temporal logic, Theoretical computer science and Software.
His primary areas of investigation include Service-oriented architecture, Software engineering, Distributed computing, Software system and Control reconfiguration. Service and Programming language are the main topics of his Service-oriented architecture study. His studies deal with areas such as Service-level agreement, Software Engineering Process Group, Software development and Social software engineering as well as Software engineering.
José Luiz Fiadeiro has researched Distributed computing in several fields, including Asynchronous communication and Component. José Luiz Fiadeiro focuses mostly in the field of Software system, narrowing it down to topics relating to Architecture description language and, in certain cases, Service provider. His study in Formal methods is interdisciplinary in nature, drawing from both Business logic, Architectural pattern, Semantics, Service Component Architecture and Software development process.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
Categories for Software Engineering
Jose Luiz Fiadeiro.
(2010)
Temporal theories as modularisation units for concurrent system specification
J. Fiadeiro;T. Maibaum.
Formal Aspects of Computing (1992)
A graph based architectural (Re)configuration language
Michel Wermelinger;Antónia Lopes;José Luiz Fiadeiro.
foundations of software engineering (2001)
A graph transformation approach to software architecture reconfiguration
Michel Wermelinger;José Luiz Fiadeiro.
Science of Computer Programming (2002)
Categorical semantics of parallel program design
José Luiz Fiadeiro;Tom Maibaum.
Science of Computer Programming (1997)
Structuring theories on consequence
J. Fiadeiro;A. Sernadas.
Annales Des Télécommunications (1988)
Sharing Actions and Attributes in Modal Action Logic
Mark Ryan;José Luiz Fiadeiro;T. S. E. Maibaum.
international conference on theoretical aspects of computer software (1991)
A Formal Approach to Service Component Architecture
José Luiz Fiadeiro;Antónia Lopes;Laura Bocchi.
web services and formal methods (2006)
Describing, Structuring and Implementing Objects
José Luiz Fiadeiro;T. S. E. Maibaum.
Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages (1990)
Interconnecting objects via contracts
Luís Filipe Andrade;José Luiz Fiadeiro.
Lecture Notes in Computer Science (1999)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:
McMaster University
Institute of Information Science and Technologies
Université Catholique de Louvain
University of L'Aquila
University of Illinois at Urbana-Champaign
University of Pisa
University of Warsaw
Ludwig-Maximilians-Universität München
University of South Carolina
TU Wien
SenseTime
MIT
Duke University
University of California, Irvine
Aarhus University
University of Oxford
Shanghai Jiao Tong University
University of Manitoba
China Agricultural University
National Geophysical Research Institute
Lancaster University
The University of Texas at Austin
Yale University
Duke University
Vanderbilt University
Old Dominion University