Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 12 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2014How to kill epsilons with a dagger: a coalgebraic take on systems with algebraic label structureBonchi, Filippo; Milius, Stefan; Silva, Alexandra M.; Zanasi, FabioArtigo em ata de conferênciaAcesso aberto
2014Formal verification of safety-critical user interfaces: a space system case studySousa, Manuel; Campos, J. Creissac; Alves, Miriam; Harrison, M. D.Artigo em ata de conferênciaAcesso aberto
2014Refactoring smelly spreadsheet modelsMartins, Pedro Miguel Ribeiro; Pereira, RuiArtigo em ata de conferênciaAcesso aberto
2014Rapid development of first person serious games using the APEX platform: the asthma gameGomes, Tiago; Abade, Tiago; Campos, J. Creissac; Harrison, Michael D.; Silva, José Luís CardosoArtigo em ata de conferênciaAcesso aberto
2014Towards a runtime verification framework for the Ada Programming LanguagePedro, André Matos; Pereira, David; Pinho, Luís Miguel; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014A bounded model checker for SPARK programsLourenço, Cláudio Belo; Frade, M. J.; Pinto, Jorge SousaArtigo em ata de conferênciaAcesso aberto
2014Formal verification of kLIBC with the WP frama-C plug-inCarvalho, Nuno; Sousa, Cristiano da Silva; Pinto, Jorge Sousa; Tomb, AaronArtigo em ata de conferênciaAcesso aberto
2014An approach for graphical user interface external bad smells detectionSilva, João Carlos; Campos, J. Creissac; Saraiva, João Alexandre; Silva, J. L.Artigo em ata de conferênciaAcesso aberto
28-Mar-2014BenchmarXAnjorin, Anthony; Hermann, Frank; Cunha, Alcino; Rensink, Arend; Giese, Holger; Schurr, AndyArtigo em ata de conferênciaAcesso aberto
2-Jul-2014MDSheet - Model-Driven SpreadsheetsCunha, Jácome Miguel Costa; Fernandes, João Paulo Soares; Mendes, Jorge; Pereira, Rui; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 12 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir