 | 2009 |
|---|
| 41 |       | Ana Bove,
Luís Soares Barbosa,
Alberto Pardo,
Jorge Sousa Pinto:
Language Engineering and Rigorous Software Development, International LerNet ALFA Summer School 2008, Piriapolis, Uruguay, February 24 - March 1, 2008, Revised Tutorial Lectures
Springer 2009 |
| 40 | | Marco Antonio Barbosa,
Luís Soares Barbosa,
José Creissac Campos:
A Coordination Model for Interactive Components.
FSEN 2009: 416-430 |
| 39 | | Manuel A. Martins,
Alexandre Madeira,
Luís Soares Barbosa:
Refinement via Interpretation.
SEFM 2009: 250-259 |
| 38 | | Marco Devesas Campos,
Luís Soares Barbosa:
Implementation of an Orchestration Language as a Haskell Domain Specific Language.
Electr. Notes Theor. Comput. Sci. 255: 45-64 (2009) |
| 37 | | Manuel A. Martins,
Alexandre Madeira,
Luís Soares Barbosa:
Refinement by Interpretation in a General Setting.
Electr. Notes Theor. Comput. Sci. 259: 105-121 (2009) |
| 36 | | César Jesus Rodrigues,
José Nuno Oliveira,
Luís Soares Barbosa:
A Single Complete Relational Rule for Coalgebraic Refinement.
Electr. Notes Theor. Comput. Sci. 259: 3-19 (2009) |
| 35 | | Marco Antonio Barbosa,
Luís Soares Barbosa:
A perspective on service orchestration.
Sci. Comput. Program. 74(9): 671-687 (2009) |
| 2008 |
|---|
| 34 | | Luís Soares Barbosa,
José Nuno Oliveira,
Alexandra Silva:
Calculating Invariants as Coreflexive Bisimulations.
AMAST 2008: 83-99 |
| 33 | | Sun Meng,
Luís Soares Barbosa:
A Coalgebraic Semantic Framework for Reasoning about UML Sequence Diagrams.
QSIC 2008: 17-26 |
| 32 | | Nuno F. Rodrigues,
Luís Soares Barbosa:
CoordInspector: A Tool for Extracting Coordination Data from Legacy Code.
SCAM 2008: 265-266 |
| 31 | | Nuno Miguel Feixa Rodrigues,
Luís Soares Barbosa:
On the Discovery of Business Processes Orchestration Patterns.
SERVICES I 2008: 391-398 |
| 30 | | Luís Soares Barbosa,
Sun Meng:
UML Model Refactoring as Refinement: A Coalgebraic Perspective.
SYNASC 2008: 340-347 |
| 29 | | Shuling Wang,
Luís Soares Barbosa,
José Nuno Oliveira:
A Relational Model for Confined Separation Logic.
TASE 2008: 263-270 |
| 28 | | Paula R. Ribeiro,
Luís Soares Barbosa,
Shuling Wang:
An Exercise on Transition Systems.
Electr. Notes Theor. Comput. Sci. 207: 89-106 (2008) |
| 2007 |
|---|
| 27 | | Marco Antonio Barbosa,
Luís Soares Barbosa:
Configurations of Web Services.
Electr. Notes Theor. Comput. Sci. 175(2): 39-57 (2007) |
| 26 | | Marco Antonio Barbosa,
Luís Soares Barbosa:
An Orchestrator for Dynamic Interconnection of Software Components.
Electr. Notes Theor. Comput. Sci. 181: 49-61 (2007) |
| 25 | | Marco Antonio Barbosa,
Luís Soares Barbosa,
José Creissac Campos:
Towards a Coordination Model for Interactive Systems.
Electr. Notes Theor. Comput. Sci. 183: 89-103 (2007) |
| 24 | | Nuno F. Rodrigues,
Luís Soares Barbosa:
Higher-Order Lazy Functional Slicing.
J. UCS 13(6): 854-873 (2007) |
| 2006 |
|---|
| 23 | | Zhiming Liu,
Luís Soares Barbosa:
Preface.
Electr. Notes Theor. Comput. Sci. 160: 1-2 (2006) |
| 22 | | Nuno F. Rodrigues,
Luís Soares Barbosa:
Component Identification Through Program Slicing.
Electr. Notes Theor. Comput. Sci. 160: 291-304 (2006) |
| 21 | | Nuno F. Rodrigues,
Luís Soares Barbosa:
Program Slicing by Calculation.
J. UCS 12(7): 828-848 (2006) |
| 20 | | Paula R. Ribeiro,
Marco Antonio Barbosa,
Luís Soares Barbosa:
Generic Process Algebra: A Programming Challenge.
J. UCS 12(7): 922-937 (2006) |
| 19 | | Sun Meng,
Luís Soares Barbosa:
Components as coalgebras: The refinement dimension.
Theor. Comput. Sci. 351(2): 276-294 (2006) |
| 18 | | Luís Soares Barbosa,
José Nuno Oliveira:
Transposing partial components - An exercise on coalgebraic refinement.
Theor. Comput. Sci. 365(1-2): 2-22 (2006) |
| 2005 |
|---|
| 17 | | Nuno F. Rodrigues,
Luís Soares Barbosa:
Slicing Functional Programs by Calculation.
Beyond Program Slicing 2005 |
| 16 | | Sun Meng,
Luís Soares Barbosa,
Zhang Naixiao:
On Refinement of Software Architectures.
ICTAC 2005: 469-484 |
| 15 | | Sun Meng,
Bernhard K. Aichernig,
Luís Soares Barbosa,
Zhang Naixiao:
A Coalgebraic Semantic Framework for Component-based Development in UML.
Electr. Notes Theor. Comput. Sci. 122: 229-245 (2005) |
| 14 | | Nuno F. Rodrigues,
Luís Soares Barbosa:
Architectural Prototyping: From CCS to .Net.
Electr. Notes Theor. Comput. Sci. 130: 151-167 (2005) |
| 13 | | A. Miguel Cruz,
Luís Soares Barbosa,
José Nuno Oliveira:
From Algebras to Objects: Generation and Composition.
J. UCS 11(10): 1580-1612 (2005) |
| 2004 |
|---|
| 12 | | Sun Meng,
Luís Soares Barbosa:
On Refinement of Generic State-Based Software Components.
AMAST 2004: 506-520 |
| 11 | | Luís Soares Barbosa:
A Perspective on Component Refinement.
FMCO 2004: 23-48 |
| 10 | | Marco Antonio Barbosa,
Luís Soares Barbosa:
Specifying Software Connectors.
ICTAC 2004: 52-67 |
| 9 | | Sun Meng,
Zhang Naixiao,
Luís Soares Barbosa:
On Semantics and Refinement of UML Statecharts: A Coalgebraic View.
SEFM 2004: 164-173 |
| 8 | | Marco Antonio Barbosa,
Luís Soares Barbosa:
A Relational Model for Component Interconnection.
J. UCS 10(7): 808-823 (2004) |
| 2003 |
|---|
| 7 | | Luís Soares Barbosa,
José Nuno Oliveira:
State-based Components Made Generic.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 6 | | Luís Soares Barbosa:
Towards a Calculus of State-based Software Components.
J. UCS 9(8): 891-909 (2003) |
| 2002 |
|---|
| 5 | | Luís Soares Barbosa,
José Nuno Oliveira:
Coinductive Interpreters for Process Calculi.
FLOPS 2002: 183-197 |
| 2001 |
|---|
| 4 | | Luís Soares Barbosa:
Process Calculià la Bird-Meertens.
Electr. Notes Theor. Comput. Sci. 44(1): (2001) |
| 2000 |
|---|
| 3 |  | Luís Soares Barbosa:
Components as Processes: An Exercise in Coalgebraic Modeling.
FMOODS 2000: 397- |
| 1999 |
|---|
| 2 | | Luís Soares Barbosa:
Prototyping Processes.
APPIA-GULP-PRODE 1999: 513-528 |
| 1997 |
|---|
| 1 | | José João Almeida,
Luís Soares Barbosa,
F. L. Neves,
José Nuno Oliveira:
CAMILA: Prototyping and Refinement of Constructive Specifications.
AMAST 1997: 554-559 |
