BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Brazil
1 × Denmark
1 × Estonia
1 × France
1 × Ireland
1 × Italy
1 × Norway
1 × The Netherlands
1 × USA
2 × Germany
3 × Austria
Collaborated with:
J.L.Fiadeiro M.Wermelinger L.Rosa L.Rodrigues A.L.Santos K.Koskimies F.R.d.Andrade J.P.Faria A.C.R.Paiva C.Oliveira K.Lano J.Bicarregui
Talks about:
architectur (6) servic (5) base (4) specif (3) model (3) framework (2) distribut (2) approach (2) languag (2) generat (2)

♀ Person: Antónia Lopes

DBLP DBLP: Lopes:Ant=oacute=nia

Facilitated 4 volumes:

GTTSE 2009SciCo
FASE 2007Ed
FASE 2007PrCh
ECSA 2017Ed

Contributed to:

FASE 20142014
FASE 20122012
ICGT 20122012
IFM 20122012
FASE 20112011
ECSA 20102010
SAC 20082008
SPLC 20082008
FASE 20062006
WICSA 20042004
FSE 20022002
ESEC/FSE 20012001
FASE 19991999
FME 19971997

Wrote 15 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.
IFM-2012-AndradeFLP #generative #java #testing
Specification-Driven Unit Test Generation for Java Generic Classes (FRdA, JPF, AL, ACRP), pp. 296–311.
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.
SAC-2008-RosaLR #adaptation #distributed #modelling
Modelling adaptive services for distributed systems (LR, AL, LR), pp. 2174–2180.
SPLC-2008-SantosKL #automation #domain-specific language #generative #modelling
Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications (ALS, KK, AL), pp. 149–158.
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.
FSE-2002-LopesFW #architecture
Architectural primitives for distribution and mobility (AL, JLF, MW), pp. 41–50.
ESEC-FSE-2001-WermelingerLF #architecture #graph
A graph based architectural (Re)configuration language (MW, AL, JLF), pp. 21–32.
FASE-1999-LopesF #using
Using Explicit State to Describe Architechtures (AL, JLF), pp. 144–160.
FME-1997-LanoBFL #nondeterminism #specification
Specification of Required Non-determinism (KL, JB, JLF, AL), pp. 298–317.
TAPSOFT-1997-FiadeiroL #architecture #semantics
Semantics of Architectural Connectors (JLF, AL), pp. 505–519.

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.