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 × Japan
1 × Portugal
1 × South Korea
1 × Switzerland
1 × United Kingdom
1 × Uruguay
1 × Vietnam
2 × China
Collaborated with:
N.Oliveira S.Meng A.Madeira M.A.Martins N.F.Rodrigues J.N.Oliveira A.Silva S.Fernandes A.Cerone Z.Naixiao J.M.Faria
Talks about:
interpret (2) coordin (2) refin (2) statechart (1) reconfigur (1) introduct (1) inspector (1) connector (1) coalgebra (1) institut (1)

Person: Luís Soares Barbosa

DBLP DBLP: Barbosa:Lu=iacute=s_Soares

Contributed to:

SAC 20142014
ITiCSE 20132013
SAC 20132013
SEFM 20112011
SAC 20102010
SEFM 20092009
SCAM 20082008
SEFM 20042004
FLOPS 20022002

Wrote 9 papers:

SAC-2014-OliveiraSB #analysis #coordination
Quantitative analysis of Reo-based service coordination (NO, AS, LSB), pp. 1247–1254.
ITiCSE-2013-FernandesCB #learning
A pilot project on non-conventional learning (SF, AC, LSB), p. 346.
SAC-2013-OliveiraB #configuration management #on the
On the reconfiguration of software connectors (NO, LSB), pp. 1885–1892.
SEFM-2011-MadeiraFMB #approach #hybrid #specification
Hybrid Specification of Reactive Systems: An Institutional Approach (AM, JMF, MAM, LSB), pp. 269–285.
SAC-2010-MengB #component #towards
Towards the introduction of QoS information in a component model (SM, LSB), pp. 2045–2046.
SEFM-2009-MartinsMB #refinement
Refinement via Interpretation (MAM, AM, LSB), pp. 250–259.
SCAM-2008-RodriguesB #coordination #legacy #named
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code (NFR, LSB), pp. 265–266.
SEFM-2004-MengNB #algebra #on the #perspective #refinement #semantics #uml
On Semantics and Refinement of UML Statecharts: A Coalgebraic View (SM, ZN, LSB), pp. 164–173.
FLOPS-2002-BarbosaO #calculus #induction #process
Coinductive Interpreters for Process Calculi (LSB, JNO), pp. 183–197.

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.