| Home \ Publications | Login |
[ Publications - in proceedings ]
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 5 of 93 - listing in proceedings 41 to 50 of a total of 923 |
A Formal Approach to Service Component Architecture@ 3rd International Workshop onWeb Services and Formal Methods (WS-FM'06) - 2006
José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
A Formal Definition for Object-Relational Database Metrics@ Proceedings of the International Conference on Enterprise Information Systems (ICEIS’2005) - 2005
Aline Lúcia Baroni, Coral Calero, Mario Piattini, Fernando Brito e Abreu
A Formal Library for Aiding Metrics Extraction@ Proceedings of the International Workshop on Object-Oriented Reengineering (WOOR’2003) at ECOOP’2003 - 2003
Aline Lúcia Baroni, Fernando Brito e Abreu
A Formal Model for Programming Wireless Sensor Networks@ proceedings of DCOSS'07 - 2007
Francisco Martins, João Barros, Luís Lopes, Miguel S. Silva
A Framework for Developing Tangible Educational Applications@ Proceedings of IADIS International Conference Interfaces and Human Computer Interaction (IHCI 2012) - 2012
Miguel Almeida, Teresa Romão, Pedro Centieiro
A Framework to Compare Agile Methodologies@ X Jornadas de Ingeniería de Software y Bases de Datos (JISBD 2005) - September, 2005
Joao Ribeiro, João Araújo
A Framework to Develop Persuasive Smart Environments@ Ambient Intelligence - Proceeding of AMI 2009 - 2009
Pedro Lobo, Teresa Romão, A. Eduardo Dias, José Carlos Danado
A Framework to Evaluate Complexity and Completeness of KAOS Goal Models@ 25th International Conference on Advanced Information Systems Engineering (CAiSE 2013) - June, 2013
Patrícia Espada, Miguel Goulão, João Araújo
A Framework to Support Parallel and Distributed Debugging@ Proceedings of the International Conference on High-Performance Computing and Networking (HPCN'98) - 1998
José Alberto Cardoso e Cunha, João Lourenço, João Vieira, Bruno Moscão, Daniel Pereira
A Generic Core MOF Metamodel for AORE@ XI Jornadas de Ingeniería de Software y Bases de Datos (JISBD 2006) - October, 2006
Pablo Sanchez, José Magno Lopes, Lidia Fuentes, Ana Moreira, João Araújo