Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 21-30 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
2011Test case generation from mutated task modelsBarbosa, Ana; Paiva, Ana; Campos, J. CreissacArtigo em ata de conferênciaAcesso restrito UMinho
2013Uma abordagem para a geração de casos de teste baseada em modelosSilva, João C.; Silva, José Luís Cardoso; Campos, J. Creissac; Saraiva, João AlexandreArtigo em ata de conferênciaAcesso restrito UMinho
2014High assurance interactive computing systemsCampos, J. CreissacArtigo em ata de conferênciaAcesso aberto
Abr-2011Partial plant models in formal verification of industrial automation discrete systemsMachado, José Mendes; Campos, J. CreissacArtigo em ata de conferênciaAcesso aberto
2011Supporting requirements formulation in software formal verificationCampos, J. Creissac; Machado, José MendesArtigo em ata de conferênciaAcesso aberto
2011FlexiXML : a portable user interface rendering engine for UsiXMLCampos, J. Creissac; Mendes, SandrineArtigo em ata de conferênciaAcesso aberto
2015Layers, resources and property templates in the specification and analysis of two interactive systemsCampos, José C.; Curzon, Paul; Masci, Paolo; Harrison, Michael douglasArtigo em ata de conferênciaAcesso aberto
10-Jan-2011A importância das avaliações qualitativas em sistemas e-learningFreire, Luciana; Arezes, P.; Campos, J. CreissacArtigo em ata de conferênciaAcesso restrito UMinho
2016Modelling information resources and their salience in medical device designHarrison, Michael douglas; Campos, José C.; Rukšenas, Rimvydas; Curzon, PaulArtigo 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
21-30 de um total de 48 resultados (tempo de pesquisa: 0.0 segundos).

Descobrir