|
Universidade do Minho >
Browsing by author "Barbosa, L."
Showing results 1 to 11 of 11.
| Issue Date | Title | Author(s) | Type | | 2005 | Architectural prototyping : from ccs to .net | Rodrigues, Nuno F.; Barbosa, L. | article |
| 2005 | Component identification through program slicing | Barbosa, L.; Rodrigues, Nuno F. | conferenceObject |
| 2001 | Components as coalgebras | Barbosa, L. | doctoralThesis |
| 2006 | Configurations of web services | Barbosa, Marco António; Barbosa, L. | conferenceObject |
| 2005 | From algebras to objects : generation and composition | Cruz, A. Miguel; Barbosa, L.; Oliveira, José Nuno Fonseca | article |
| 2006 | Generic process algebra : a programming challenge | Barbosa, L.; Barbosa, Marco António; Ribeiro, Paula R. | article |
| 2005 | On refinement of software architectures | Meng, Sun; Barbosa, L.; Naixiao, Zhang | article |
| 2006 | Program slicing by calculation | Barbosa, L.; Rodrigues, Nuno F. | article |
| 2005 | Specifying software connectors | Barbosa, Marco António; Barbosa, L. | article |
| 2006 | Towards a coordination model for interactive systems | Barbosa, Marco António; Barbosa, L.; Campos, J. Creissac | article |
| 11-Jun-2007 | Transposing partial components : an exercise on coalgebraic refinement | Oliveira, José Nuno Fonseca; Barbosa, L. | preprint |
Showing results 1 to 11 of 11.
|
