BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Estonia
1 × Italy
1 × Norway
1 × The Netherlands
2 × Germany
2 × Switzerland
3 × France
4 × Austria
5 × USA
Collaborated with:
A.Lopes L.F.Andrade M.Wermelinger J.Gouveia G.Koutsoukos T.S.E.Maibaum A.M.D.Moreira C.E.Chirita F.Orejas C.Oliveira K.Lano J.Bicarregui
Talks about:
architectur (8) coordin (6) base (5) contract (4) servic (4) interconnect (3) reconfigur (3) softwar (3) system (3) evolut (3)

♂ Person: José Luiz Fiadeiro

DBLP DBLP: Fiadeiro:Jos=eacute=_Luiz

Facilitated 4 volumes:

SEFM 2010Ed
FASE 2008Ed
FASE 2008PrCh
GTTSE 2005SciCo

Contributed to:

FASE 20142014
FASE 20122012
ICGT 20122012
FASE 20112011
ECSA 20102010
FASE 20062006
WICSA 20042004
CAiSE 20032003
SFM 20032003
FASE 20022002
FSE 20022002
ICSE 20022002
ASE 20012001
CAiSE 20012001
ESEC/FSE 20012001
TOOLS Europe 20012001
ESEC/FSE 19991999
FASE 19991999
UML 19991999
FME 19971997
FSE 19951995
TAPSOFT CAAP/FASE 19971997
FASE 20162016

Wrote 25 papers:

FASE-2014-FiadeiroL #network
Heterogeneous and Asynchronous Networks of Timed Systems (JLF, AL), pp. 79–93.
FASE-2012-FiadeiroL #composition #consistency
Consistency of Service Composition (JLF, AL), pp. 63–77.
ICGT-2012-LopesF #design #framework #graph
A Graph-Based Design Framework for Services (AL, JLF), pp. 1–19.
FASE-2011-FiadeiroL #design #interface
An Interface Theory for Service-Oriented Design (JLF, AL), pp. 18–33.
ECSA-2010-FiadeiroL #architecture #configuration management
A Model for Dynamic Reconfiguration in Service-Oriented Architectures (JLF, AL), pp. 70–85.
FASE-2006-FiadeiroL #approach #architecture #formal method
A Formal Approach to Event-Based Architectures (JLF, AL), pp. 18–32.
WICSA-2004-OliveiraWFL #approach #architecture #case study
An Architectural Approach to Mobility — The Handover Case Study (CO, MW, JLF, AL), pp. 305–310.
CAiSE-2003-MoreiraFA #contract #coordination #evolution #requirements
Evolving Requirements through Coordination Contracts (AMDM, JLF, LFA), pp. 633–646.
SFM-2003-AndradeF #architecture #evolution
Architecture Based Evolution of Software Systems (LFA, JLF), pp. 148–181.
FASE-2002-GouveiaKWAF #coordination #development
The Coordination Development Environment (JG, GK, MW, LFA, JLF), pp. 323–326.
FSE-2002-LopesFW #architecture
Architectural primitives for distribution and mobility (AL, JLF, MW), pp. 41–50.
ICSE-2002-GouveiaKWAF #contract #coordination #java
Coordination contracts for Java applications (JG, GK, MW, LFA, JLF), p. 714.
ASE-2001-AndradeFW #automation #configuration management #policy
Enforcing Business Policies Through Automated Reconfiguration (LFA, JLF, MW), p. 426–?.
CAiSE-2001-AndradeF #coordination #evolution #information management
Coordination Technologies for Managing Information System Evolution (LFA, JLF), pp. 374–387.
ESEC-FSE-2001-WermelingerLF #architecture #graph
A graph based architectural (Re)configuration language (MW, AL, JLF), pp. 21–32.
TOOLS-EUROPE-2001-AndradeF #coordination #named
Coordination: The Evolutionary Dimension (LFA, JLF), pp. 136–147.
TOOLS-EUROPE-2001-FiadeiroA #contract
Interconnecting Objects via Contracts (JLF, LFA), pp. 182–183.
TOOLS-EUROPE-2001-GouveiaKAF #coordination #evolution #tool support
Tool Support for Coordination-Based Software Evolution (JG, GK, LFA, JLF), pp. 184–196.
ESEC-FSE-1999-WermelingerF #algebra #architecture #configuration management
Algebraic Software Architecture Reconfiguration (MW, JLF), pp. 393–409.
FASE-1999-LopesF #using
Using Explicit State to Describe Architechtures (AL, JLF), pp. 144–160.
UML-1999-AndradeF #contract
Interconnecting Objects Via Contracts (LFA, JLF), pp. 566–583.
FME-1997-LanoBFL #nondeterminism #specification
Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
FSE-1995-FiadeiroM #composition #reuse
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality (JLF, TSEM), pp. 72–80.
TAPSOFT-1997-FiadeiroL #architecture #semantics
Semantics of Architectural Connectors (JLF, AL), pp. 505–519.
FASE-2016-ChiritaFO #constraints #specification
Many-Valued Institutions for Constraint Specification (CEC, JLF, FO), pp. 359–376.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.