Hybridization of institutions
(more)
M. A. Martins, A. Madeira, R. Diaconescu, L. S. Barbosa,
in Proc. of Fourth International Conference on Algebra and Coalgebra in Computer Science
(CALCO 2011), Springer Lect. Notes Computer Science (to appear), 2011.
Models as arrows: the role of dialgebras
(more)
A. Madeira, M. A. Martins and L. S. Barbosa,
in Proc. of Computability in Europe: Models of Computation in Context
CiE 2011, (to appear), 2011.
SHACC: A functional animator for a component calculus
(more)
A. Martins, L. S. Barbosa and N. F. Rodrigues,
in Proc. of CALCO-Tools, Springer Lect. Notes Computer Science (to appear), 2011.
Reasoning about complex requirements in a uniform setting
(more)
M. A. Martins, A. Madeira, L. S. Barbosa,
in Proc. Third International Congress on Tools for Teaching Logic (to appear), Salamanca, 2011.
Logic training through algorithmic problem solving
(more)
J. F. Ferreira, A. Mendes, A. Cunha, C. Baquero, P. Silva, L. S. Barbosa and J. N. Oliveira,
in Proc. Third International Congress on Tools for Teaching Logic, Springer Lect. Notes Comp. Sci. (to appear), 2011.
On requirements engineering for reactive systems: A formal methodology
(more)
A. Madeira, J. M. Faria, M. A. Martins, L. S. Barbosa,
in Proc. I Brazilian Conference on Critical Embedded Systems, IEEE Computer Society, (to appear), 2011.
2010
Slicing for Architectural Analysis
(more)
N. F. Rodrigues and L. S. Barbosa,
in Science of Computer Programming, vol 75 (10), pp 828-847, Elsevier, 2010.
Revisiting context-aware component interconnection
(more)
L. S. Barbosa, M. A. Barbosa, and C. J. Rodrigues,
in Proc. 12th SYNASC, pp 377-384, IEEE Computer Society, 2010.
A Pattern Language for Architectural Analysis
(more)
Nuno Oliveira, Nuno F. Rodrigues, P. R. Henriques and L. S. Barbosa,
in Proc. SBLP 2010 14th Brazilian Symposium in Programming Languages, vol 2, pp 167-180, Brazilian Computer Society, 2010.
QoS-aware Component Composition
(more)
L. S. Barbosa and Sun Meng,
in Proceedings of the CISIS 2010, The Fourth International Conference on Complex,
Intelligent and Software Intensive Systems, pp 1008-1013, IEEE Computer Society, 2010.
Should Mathematics remain invisible?
(more)
L. S. Barbosa and M. H. Martinho,
in Proc. EIMI 2010, International Conference Educational Interfaces between Mathematics and Industry,
85-95, CIM Pub, 2010.
Towards the introduction of QoS information in a component model
(more)
Sun Meng and L. S. Barbosa,
in Proceedings of the 2010 ACM Symposium on Applied Computing, pp 2045-2046, ACM, 2010.
Certification of open-source software: A role for formal methods?
(more)
Barbosa, L. S. and Cerone, A. and Petrenko, A. K. and Shaikh, S. A.,
International Journal of Computer Systems Science and Engineering, vol 25 (4), pp 274-281, CRL Publishing, 2010.
Bringing class diagrams to life
(more)
Sun Meng and L. S. Barbosa,
in Journal Innovations in Systems and Software Engineering, vol 6 (1-2), pp 91-98, Springer, 2010.
2009
A coalgebraic semantic framework for reasoning about interaction designs
(more)
L. S. Barbosa and Sun Meng,
in UML2 Semantics and Applications, Kevin Lano (ed), pp 249-279, 2009.
Which mathematics for the information society?
(more)
Ferreira, J. F., Mendes, A., Backhouse, R. and L. S. Barbosa,
Proc. TFM'09, Springer Lect. Notes Computer Science (5846), pp 39-56, 2009.
A perspective on service orchestration
(more)
L. S. Barbosa and Marco A. Barbosa,
Science of Computer Programming, volume 74 (9), pp 671-687, 2009.
Refinement by interpretation in a general setting
(more)
A. Madeira, M. A. Martins and L. S. Barbosa.
Refinement Workshop 2009, Electr. Notes Theor. Comput. Sci. vol 256, pp 105-121, Elsevier, 2009.
A single complete relational rule for coalgebraic refinement
(more)
C, J. Rodrigues, J. N. Oliveira and L. S. Barbosa.
Refinement Workshop 2009, Electr. Notes Theor. Comput. Sci. vol 256, pp 3-19, Elsevier, 2009.
Refinement by interpretation
(more)
A. Madeira, M. A. Martins and L. S. Barbosa. Proc. of 7th IEEE International Conference
on Software Engineering and Formal Methods,
IEEE Computer Society Press , pp 250-259, 2009.
Implementation of an orchestration language as a Haskell domain specific language
(more)
M. Devesas Campos and L. S. Barbosa.
FOCLASA'09, Electr. Notes Theor. Comput. Sci., vol 255, pp 45-64, Elsevier, 2009.
A coordination model for interactive components
(more)
M. A. Barbosa, L. S. Barbosa and J. C. Campos,
Proc. of FSEN 2009, Kish, Iran, Springer Lect. Notes Computer Science, vol 5961, pp 416-430, Springer Verlag, 2010.
2008
A relational model for confined separation logic
(more)
Wang, S., L. S. Barbosa, J. N. Oliveira.
TASE'08, 2nd IFIP/IEEE Symp. on Theoretical Aspects of Software Engineering,
IEEE Computer Society Press,
pp 263-270, 2008.
On the discovery of business processes orchestration patterns
(more)
Rodrigues, N., L. S. Barbosa
SOPOSE at SCC'2008
2008 IEEE Congress on Services,
IEEE Computer Society Press, pp 391-398, July, 2008.
Calculating invariants as coreflexive bisimulations
(more)
L. S. Barbosa, J. N. Oliveira, A. Silva
AMAST'2008 Springer Lect. Notes Computer Science, 5140, J. Meseguer and G. Rosu (eds), pp 83-99,
July, 2008.
A coalgebraic semantic framework for reasoning about
UML sequence diagrams
(more)
Sun Meng, L. S. Barbosa
QSIC'08 (IEEE 8th International Conference on
Quality Software
International), IEEE Computer Society. Hong Zhu (ed). pp 17-26,
Oxford, August, 2008.
CoordInspector: a tool for extracting coordination data from legacy code
(more)
Rodrigues, N., L. S. Barbosa.
SCAM'08 (IEEE 8th
International Working Conference on Source Code Analysis and
Manipulation), IEEE Computer Society pp 265-266, Beijing, September, 2008.
Extracting and verifying coordination models from source code
(more)
Rodrigues, N. F., L. S. Barbosa.
Proc. of FLOSS-FM/OpenCert Joint International
Workshop at OOS'08, A. Cerone and P. Breuer et al (ed), pp 64-78, Milan, 2008.
UML model refactoring as refinement: A coalgebraic perspective
(more)
L. S. Barbosa, Sun Meng.
SYNASC'08
Proc. of GlobalComp, at 10th SYNASC,
V. Negru and T. Jebelean and D. Pectu and D. Zaharie (eds),
IEEE Computer Society Press, pp 340-347,
2008.
2007
A type-level approach to component prototyping
(more)
L. S. Barbosa, Jacome Cunha and Joost Visser.
SYANCO '07: Inter. on Synthesis and Analysis of Component Connectors, ACM Digital Library
pp 23-36, September, 2007.
An exercise on transition systems
(more)
Paula Ribeiro, L. S. Barbosa and Shuling Wang.
Electr. Notes Theor. Computer Sci.
207, pp 89-106, Elsevier, 2007.
Higher-order lazy functional slicing
(more)
N. Rodrigues and L. S. Barbosa.
Journ. Universal Computer Science,
volume 13 (6), pp 854-873, 2007.
2006
Towards a coordination model for interactive systems
(more)
Marco A. Barbosa, L. S. Barbosa and J. F. C. Campos.
Electr. Notes Theor. Comput. Sci. FMIS'06 Special Issue, ENTCS, 183,
Elsevier, 2007.
Transposing partial coalgebras: An exercise on coalgebraic refinement
(more)
L. S. Barbosa and J. N. Oliveira.
Theor. Comp. Sci., 365 (1,2), 2006.
Configurations of Web Services
(more)
Marco A. Barbosa and L. S. Barbosa.
Electr. Notes Theor. Comput. Sci. FOCLASA'06 Special Issue, 175 (2), Elsevier, 2006.
An orchestrator for dynamic interconnection of software components
(more)
Marco A. Barbosa and L. S. Barbosa.
Electr. Notes Theor. Comput. Sci. MTCoord'06 Special Issue, 181, pp 49-61, Elsevier, 2006.
Generic process algebra: A programming challenge
(more)
Paula Ribeiro, Marco A. Barbosa and L. S. Barbosa.
Journ. Universal Computer Science, 12 (7), pp 922-937, 2006.
Modelling is for reasoning: A challenge to software engineering education
(more)
L. S. Barbosa and Martinho, M. H..
Chris Haines et al, editor,
Mathematical Modelling (ICTMA 12): Education, Engineering and Economics,
Horwood Publishing, Chichester, 2006.
Program slicing by calculation
(more)
N. F. Rodrigues and L. S. Barbosa.
Journ. Universal Computer Science, 12 (7), 828-848, 2006.
Components as coalgebras: The refinement dimension
(more)
M. Sun and L. S. Barbosa.
Theor. Comp. Sci., 351, pp 276-294, 2006.
On the semantics of componentware: A coalgebraic perspective
(more)
L. S. Barbosa, M. Sun, B. K. Aichernig, and N. Rodrigues.
In Jifeng He and Zhiming Liu, editors, Mathematical Frameworks
for Component Software: Models for Analysis and Synthesis, Series on
Component-Based Development. World Scientific, December, 2006.
2005
From algebras to objects: Generation and composition
(more)
A. M. Cruz, L. S. Barbosa and J. N. Oliveira.
In F. Arbab and H. Kok, editors, Journ. Universal Computer Science,
11 (10), pp 1580--1612, December, 2005.
Calculating functional slices
(more)
N. Rodrigues and L. S. Barbosa.
In D. Binkley, M. Harman and J. Krinke, editors, Dagstuhl Seminar 05451: "Beyond Program Slicing",
Dagstuhl Seminar Series, November , 2005.
On refinement of software architectures
(more)
M. Sun, L. S. Barbosa, and Z. Naixiao.
In Dang Van Hung and Martin Wirsing, editors, Proc. ICTAC'05, Hanoi,
Springer Lect. Notes in Comp. Sci.,
3722, pp 469--484, October, 2005.
Component identification through program slicing
(more)
N. Rodrigues and L. S. Barbosa.
In Proc. FACS'05, Macau,
Elsevier Elect. Notes in Theor. Comp. Sci. 160, pp 291--304, October, 2005.
Architectural prototyping: From CCS to .Net
(more)
N. Rodrigues and L. S. Barbosa.
Elsevier Elect. Notes in Theor. Comp. Sci., 130, pp 151--167, July, 2005.
CAMILA revival: VDM meets Haskell
(more)
J. Visser, J. N. Oliveira, L. S. Barbosa, J. F. Ferreira, and A. Mendes.
In Nico Plat and Peter Gorm Larsen, editors, Overture
Workshop (co-located with FM'05), University of Newcastle upon Tyne, UK, July, 2005.
Prototyping concurrent systems in Cw
(more)
N. Rodrigues and L. S. Barbosa.
In P. Sousa, A. Silva, and V. Santos, editors, IVNET'05,
Proc. First International Conference on Innovative Views of .NET
Technologies, pp 79--91, ISEP, June, 2005.
2004
A perspective on component refinement
(more)
L. S. Barbosa.
In F. S. de Boer, M. Bonsangue, S. Graf, and W.-P. de Roever, editors, FMCO'04 Revised Lectures,
Springer Lect. Notes in Comp. Sci.,
3657, pp 23--48, November, 2004.
A relational model for component interconnection
(more)
M. A. Barbosa and L. S. Barbosa.
Journ. Universal Computer Science,
10 (7), pp 808--823, 2004.
Prototyping behavioural specifications in the .Net framework
(more)
N. Rodrigues and L. S. Barbosa.
In Mota, A. and Moura, A., editors, SBMF'04,
Proc. 7th Brazilian Symposium on Formal Methods,
pp 108--118, Recife, November, 2004.
Specifying software connectors
(more)
M. A. Barbosa and L. S. Barbosa.
In K. Araki and Z. Liu editors, ICTAC'04 (1st Inter. Colloquium on
Theorectical Aspects of Computing),
Springer Lect. Notes in Comp. Sci.,
3407, pp 53--68, Guiyang, China, September, 2004.
On semantics and refinement of UML statecharts: A coalgebraic view
(more)
M. Sun, Z. Naixiao and L. S. Barbosa.
In Cuellar, J. and Liu, Z., editors, Proc. of 2nd IEEE Int. Conf. on Software Engineering
and Formal Methods, Beijing,
IEEE Computer Society Press,
pp 164--173, September, 2004.
A coalgebraic semantic framework for component based development in UML
(more)
M. Sun, Aichernig, B., L. S. Barbosa and Z. Naixiao.
In Birkedal, L., editor, Proc. CTCS'04 (Int. Conf. on Category Theory and Computer Science),
Elsevier Elect. Notes in Theor. Comp. Sci., 122, pp 229--245, August, 2004.
On refinement of generic software components
(more)
M. Sun and L. S. Barbosa.
In Rettray, C. and Maharaj, S. and Shankland, C., editors, AMAST'04 (10th Int. Conf. on
Algebraic Methods and Software Technology), Stirling, Scotland,
(Best Student Co-authored Paper Award),
Springer Lect. Notes in Comp. Sci.,
3116, pp 506--520, July, 2004.
Towards a relational model for component interconnection
(more)
M. A. Barbosa and L. S. Barbosa.
In R. Lins, C. Braga, and F. Chalub, editors, SBLP'04,
Proc. 8th Brazilian Symposium on Programming Languages,
pp 17--30, Niteroi, May, 2004.
2003
Towards a Calculus of State-based Software Components
(more)
L. S. Barbosa.
Journ. Universal Computer Science,
9 (8), pp 891--909, 2003.
On the specification of a component repository
(more)
N. Rodrigues and L. S. Barbosa.
In Hung~Dang Van and Zhiming Liu, editors, FACS'03,
Proc. 1st Int. Workshop on Formal Approaches to Component Software,
pp 47--62, Pisa, Italy, September, 2003.
Paperwork on the Fly
(more)
J. Faria, A. Aragão, P. Henriques, L. Barbosa, and C. Baquero.
In EUNIS: Beyond the Network,
Proc. 9th Inter. Conf. of European University Information Systems,
Amsterdam, July, 2003.
State-based components made generic
(more)
L. S. Barbosa and J. N. Oliveira.
In H. Peter Gumm, editor, Proc. CMCS'03 (Int. Workshop on Coalgebraic
Methods in Computer Science), ETAPS, Warsaw, Poland,
Elsevier Elect. Notes in Theor. Comp. Sci., 82.1, pp 1--18, April, 2003.
] ... , 2002 ]
(selected)
Coinductive interpreters for process calculi
(more)
L. S. Barbosa and J. N. Oliveira.
In Z. Zhenjiang Hu and M. Rodriguez-Artalejo, editors, FLOPS'02, Aizu, Japan,
Springer Lect. Notes in Comp. Sci.,
2441, pp 183--197, September, 2002.
Coalgebraic structures in program construction
(more)
L. S. Barbosa.
In Haeusler, H. and Camarão, C., editors, Invited Tutorial at SBLP'02,
Proc. 6th Brazilian Symposium on Programming Languages,
Rio de Janeiro, June, 2002.
Process calculi à la Bird-Meertens
(more)
L. S. Barbosa and J. N. Oliveira.
In U. Montanari, editor, Proc. CMCS'01 (Int. Workshop on Coalgebraic
Methods in Computer Science), ETAPS, Genoa, Italy,
Elsevier Elect. Notes in Theor. Comp. Sci., 44.4, pp 47--66, April, 2001.
Components as coalgebras
(more)
L. S. Barbosa.
PhD Thesis, DI, Universidade do Minho, ISBN 972-95918-6-5, 2001.
Components as processes: An exercise in coalgebraic modeling
(more)
L. S. Barbosa.
In S. F. Smith and C. L. Talcott, editors, FMOODS'2000: Formal
Methods for Open Object-Oriented Distributed Systems, Stanford, USA,
Kluwer Academic Publishers, pp 397--417, September, 2000.
Polytypic recursion patterns
(more)
L. S. Barbosa, J. B. Barros, and J. J. Almeida.
In Paulo Borba, editor, SBLP'00,
Proc. 4th Brazilian Symposium on Programming Languages,
Recife, May, 2000.
Prototyping processes
(more)
L. S. Barbosa.
In M. C. Meo and M. Vilares Ferro, editors, Proc. of AGP'99: Joint
Conference on Declarative Programming,
APPIA-GULP-PRODE, pp 513--527, L'Aquila, Italy, September, 1999.
On the development of CAMILA
(more)
J. J. Almeida, L. S. Barbosa, J. B. Barros, and L. F. Neves.
In L. S. Barbosa and J. A. Saraiva, editors, AFP'98 Workshop on
Research Themes on Functional Programming, Summer School on Advanced Functional
Programming, Braga, September, 1998.
CAMILA: Prototyping and refinement of constructive specifications
(more)
J. J. Almeida, L. S. Barbosa, L. F. Neves and J. N. Oliveira.
In M. Johnson, editor, AMAST'97, Sydney, Australia,
Springer Lect. Notes in Comp. Sci.,
1349, pp 554--559, December, 1997.
CAMILA: Formal software engineering supported by functional programming
(more)
J. J. Almeida, L. S. Barbosa, L. F. Neves and J. N. Oliveira.
In A. de Giusti, J. Diaz, and P. Pesado, editors, CLaPF'97:
pp 1343--1358, La Plata, Argentina, October, 1997.
Seminars & Monographs
Coinductive Reasoning by Calculation
(slides)
Tutorial at ICTAC'05, 2nd Inter. Colloquium on Theoretical Aspects
of Computing. Hanoi, Vietnam, October, 2005.
Models and Calculi for Software Components
(lectures)
(slides)
Seminar at the PhD Program in Mathematics,
University of Tartu, Estonia, December, 2003.
Coalgebraic Structures in Program Construction
(slides)
Seminar at UNU/IIST, International Institute
for Software Technology of the United Nations University, Macau, September, 2002.
A brief introduction to categories
(pdf)
L. S. Barbosa. University of Minho, 2003.
[Lecture notes on elementary category theory]
Algebraic and coalgebraic structures
(pdf)
L. S. Barbosa. University of Minho, 2003.
[Lecture notes on algebra and coalgebra]
Systems prototyping in CAMILA
(ps)
L. S. Barbosa and J. J. Almeida. University of Bristol, 2000.
[The Bristol Lecture Notes (5th edition)]
Métodos de Programação Concorrente
(ps)
L. S. Barbosa. University of Minho, 1999.
[Lecture notes on process algebra and the modal mu-calculus (in portuguese)]
CAMILA: A reference manual
(ps)
J. J. Almeida and L. S. Barbosa.
University of Minho, 1997.
Elementos de Teoria dos Autómatos
(ps)
L. S. Barbosa. University of Minho, 1996.
[Lecture notes on formal languages and finite state automata (draft, in portuguese)]
Representação e Dualidades Semânticas
(ps)
L. S. Barbosa. University of Minho, 1996.
[A brief tutorial on Stone duality and related stuff (in portuguese)]