| Home \ Publications | Login |
[ Publications - technical reports ]
List of publications produced by CITI members as part of their research activities including work done in collaboration with external researchers. Select one of the publication types from the list below.
The list MAY NOT BE complete, refer to activity reports for official information.
| [ List All Publications ] | |||
| [ Articles ] | [ Book Chapters ] | [ Editorial Activities ] | [ Technical Reports ] |
| [ Books ] | [ Dissertations ] | [ In Proceedings ] | [ Other Publications ] |
| page 3 of 8 - listing technical reports 21 to 30 of a total of 79 |
Survey of the state-of-the-art in Requirements Engineering for Software Product
Line and Model-Driven Requirements EngineeringLancaster University - June, 2007
Mauricio Alférez, Ana Moreira, João Araújo, Vasco Amaral, Uira Kulesza
Models of Name-Passing Systems Based on Coalgebras over Nominal Sets Departamento de Informática FCT/UNL - February, 2007
Elisabete Freire, Luis Monteiro
Disciplining Orchestration and Conversation in Service-Oriented ComputingDepartamento Informática, Faculdade de Ciências, Universidade de Lisboa - 2007
Ivan Lanese, Vasco T. Vasconcelos, Francisco Martins, António Ravara
Automotive and Finance Case Studies in the Conversation CalculusDepartamento de Informática FCT/UNL - 2007
Luis Caires, João Costa Seco, Hugo Torres Vieira
Checking for choreography conformance using spatial logic model-checkingDepartamento de Informática FCT/UNL - 2007
Luis Caires, David Tavares Sousa, Hugo Torres Vieira
A Model of Service Oriented ComputationDepartamento de Informática FCT/UNL - 2007
Luis Caires, Hugo Torres Vieira, João Costa Seco
Asynchronous Functional Session TypesUniversity of Glasgow - 2007
Simon Gay, Vasco T. Vasconcelos
Comparison of Two Frameworks for Parallel Computing in Java and AspectJUniversidade Nova de Lisboa - July, 2006
João Luís Ferreira Sobral, Miguel Pessoa Monteiro
The Mob Core Language and Abstract Machine (rev 0.2)CITI - June, 2006
Hervé Paulino, Luís Lopes
Interfaces Gráficas em CxProlog (usando as APIs do Java e do wxWidgets)CITI - May, 2006
Henrique Oliveira, Artur Miguel Dias