Percorrer por autor 683

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-20 de um total de 110 resultados.  próximo >
26-Out-2016An enhanced model for stochastic coordinationOliveira, Nuno Ernesto Salgado; Barbosa, L. S.conferencePaperopenAccess
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingarticleopenAccess
2014An institution for Alloy and its translation to second-order logicNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.bookPartopenAccess
2007An orchestrator for dynamic interconnection of software componentsBarbosa, L. S.; Barbosa, Marco AntónioarticleopenAccess
2012Analysing tactics in architectural patternsSanchez, Alejandro; Aguiar, Ademar; Barbosa, L. S., et al.conferencePaperopenAccess
2016Applying the 3C Model to FLOSS communitiesFernandes, Sara Santos; Barbosa, L. S.conferencePaperopenAccess
2005Architectural prototyping: from ccs to .netRodrigues, Nuno F.; Barbosa, L. S.articleopenAccess
2012Bigraphical modelling of architectural patternsSanchez, Alejandro; Barbosa, L. S.; Riesco, DanielconferencePaperopenAccess
2013Bisimilarity and refinement for hybrid(ised) logicsMadeira, Alexandre; Martins, Manuel M.; Barbosa, L. S.conferencePaperopenAccess
2013Boilerplates for reconfigurable systems: a language and its semanticsMadeira, Alexandre; Martins, Manuel A.; Barbosa, L. S.conferencePaperopenAccess
2010Bringing class diagrams to lifeBarbosa, L. S.; Sun, MengarticleopenAccess
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraconferencePaperopenAccess
Dez-2012A calculus for generic, QoS-aware component compositionBarbosa, L. S.; Meng, SunarticleopenAccess
2005Camila revival: VDM meets haskellVisser, Joost; Oliveira, José Nuno Fonseca; Barbosa, L. S., et al.conferencePaperopenAccess
1997CAMILA: formal software engineering supported by functional programmingAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.conferencePaperopenAccess
1997CAMILA: prototyping and refinement of constructive specificationsAlmeida, José João; Barbosa, L. S.; Neves, F. L., et al.conferencePaperopenAccess
2010Certification of open-source software : a role for formal methods?Barbosa, L. S.; Cerone, Antonio; Petrenko, Alexander, et al.articleopenAccess
2013A coalgebraic perspective on logical interpretationsMartins, M. A.; Madeira, A.; Barbosa, L. S.articleopenAccess
2005A coalgebraic semantic framework for component-based development in UMLSun Meng; Aichernig, Bernhard K.; Barbosa, L. S., et al.articleopenAccess
2009A coalgebraic semantic framework for reasoning about interaction designsBarbosa, L. S.; Sun, MengbookPartopenAccess