Data | Título | Autor(es) | Tipo | Acesso |
Out-2017 | Composing Families of Timed Automata | Cledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2013 | Data abstraction in coordination constraints | Proença, José Miguel Paiva; Clarke, Dave | Artigo em ata de conferência | Acesso aberto |
Jun-2005 | Down with variables | Cunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel Paiva | Relatório | Acesso aberto |
2016 | Feature Nets: behavioural modelling of software product lines | Muschevici, Radu; Proença, José Miguel Paiva; Clarke, Dave | Artigo | Acesso aberto |
2006 | A framework for point-free program transformation | Cunha, Alcino; Pinto, Jorge Sousa; Proença, José Miguel Paiva | Artigo em ata de conferência | Acesso aberto |
1-Jan-2017 | Quality-Aware Reactive Programming for the Internet of Things | Proença, José Miguel Paiva; Baquero, Carlos | Artigo em ata de conferência | Acesso aberto |
Nov-2017 | A refinement relation for families of timed automata | Cledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S. | Artigo em ata de conferência | Acesso aberto |
2018 | Teaching how to program using automated assessment and functional glossy games (Experience Report) | Almeida, José Bacelar; Cunha, Alcino; Macedo, Nuno, et al. | Artigo em ata de conferência | Acesso aberto |
2010 | Variability modelling in the ABS language | Clarke, Dave; Muschevici, Radu; Proença, José, et al. | Artigo em ata de conferência | Acesso aberto |