Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 13 resultados (tempo de pesquisa: 0.282 segundos).
DataTítuloAutor(es)TipoAcesso
2004On refinement of generic state-based software componentsMeng, Sun; Barbosa, L. S.Capítulo de livroAcesso aberto
2006Transposing partial components: an exercise on coalgebraic refinementOliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
Dez-2012A calculus for generic, QoS-aware component compositionBarbosa, L. S.; Meng, SunArtigoAcesso aberto
2005On refinement of software architecturesMeng, Sun; Barbosa, L. S.; Naixiao, ZhangArtigo em ata de conferênciaAcesso aberto
Nov-2017A refinement relation for families of timed automataCledou, Guillermina; Proença, José Miguel Paiva; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
2009Refinement by interpretation in a general settingMartins, Manuel A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
2009Refinement via interpretationMartins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2011Refinement by interpretation in φ-institutionsRodrigues, César J.; Martins, Manuel A.; Madeira, A.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2004On semantics and refinement of UML statecharts: a coalgebraic viewSun Meng; Zhang Naixiao; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
1-10 de um total de 13 resultados (tempo de pesquisa: 0.282 segundos).

Descobrir