Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 470 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2016Validating an approach to formalize use cases with ontologiesCouto, Rui; Ribeiro, António Nestor; Campos, José C.Artigo em ata de conferênciaAcesso aberto
21-Jun-2016Systematic automation of scenario-based testing of user interfacesCampos, José C.; Fayollas, Camille; Martinie, Célia; Navarre, David; Palanque, Philippe; Pinto, MiguelArtigo em ata de conferênciaAcesso aberto
2011Stochastic reo: a case studyVerhoef, Chrétien; Stam, Andries; Moon, Young-Joo; Silva, Alexandra; Arbab, FarhadArtigo em ata de conferênciaAcesso aberto
Dez-2017Verification of user interface software: the example of use-related safety requirements and programmable medical devicesHarrison, Michael douglas; Masci, Paolo; Campos, José C.; Curzon, PaulArtigoAcesso aberto
2015Templates as heuristics for proving properties of medical devicesCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
2015Reusing models and properties in the analysis of similar interactive devicesHarrison, Michael D.; Campos, J. Creissac; Masci, PaoloArtigoAcesso aberto
1-Jan-2017Quality-Aware Reactive Programming for the Internet of ThingsProença, José Miguel Paiva; Baquero, CarlosArtigo em ata de conferênciaAcesso aberto
2013Automated theorem proving for the systematic analysis of interactive systemsHarrison, M. D.; Masci, P.; Campos, J. Creissac; Curzon, P.ArtigoAcesso aberto
2015Towards a catalog of usability smellsAlmeida, Diogo Francisco de Carvalho; Campos, José C.; Saraiva, João; Silva, João CarlosArtigo em ata de conferênciaAcesso aberto
2010Evaluating data freshness in large scale replicated databasesPereira, José; Araújo, MiguelArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 470 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir