|
RUN >
Browsing by Author Caires, Luís
Showing results 1 to 9 of 9
| Issue Date | Title | Author(s) | | 2010 | A behavioral analysis tool for models of software systems | Caires, Luís; Silva, Ricardo João Besteiro e |
| 2010 | A calculus for modeling and analyzing conversations in service-oriented computing | Caires, Luís; Vieira, Hugo Filipe Mendes Torres |
| 2008 | Design and implementation of a behaviorally typed programming system for web services | Caires, Luís; Militão, Filipe David Oliveira |
| 2012 | Gestão de projectos informáticos: metodologias waterfall vs. Scrum | Caires, Luís; Ribeiro, Maria Inês de Almeida |
| 2010 | Linguagem de especificação leve Hoare-separação para java | Caires, Luís; Santos, Tiago Vieira Correia dos |
| 2009 | A Logic and tool for local reasoning about security protocols | Caires, Luís; Toninho, Bernardo Parente Coutinho Fernandes |
| 2011 | Optimizações guiadas por dados reais em linguagens de domínio específico para a web | Caires, Luís; Ferrão, Lúcio; Rebelo, Miguel Alexandre Figueira |
| 2009 | Type inference for conversation types | Caires, Luís; Lourenço, Maria Luísa Sobreira Gouveia |
| 2009 | A type system for access control in an object-oriented language | Caires, Luís; Pires, Mário Rui Dias |
Showing results 1 to 9 of 9
|
