Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Livro
|
Web engineering and peer-to-peer computing Networking 2002 workshops, Pisa, Italy, May 19-24, 2002 : revised papersInternational Workshop on Web Engineering (2002 Pisa, Italy) Enrico Gregori 1955-; International Workshop on Peer-to-Peer Computing (2002 Pisa, Italy)Berlin Springer London c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2376 )(Acessar) |
|
2 |
Material Type: Livro
|
Hypermedia openness, structural awareness, and adaptivity : international workshops OHS-7, SC-3, and AH-3, Aarhus, Denmark, August 14-18, 2001 : revised papersWorkshop on Open Hypermedia Systems (7th 2001 Aarhus, Denmark) Siegfried Reich; Manolis M Tzagarakis 1971-; Paul M. E De Bra 1959-; Workshop on Structural Computing (3rd 2001 Aarhus, Denmark); AH-3 (2001 Aarhus, Denmark)Berlin Springer New York c2002Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2266 e.1 ) e outros locais(Acessar) |
|
3 |
Material Type: Artigo de Congresso
|
From test purposes to asynchronous test casesAdenilso da Silva Simão Alexandre Petrenko; International Conference on Software Testing, Verification, and Validation Workshops - ICSTW (3. 2010 Paris)Proceedings Los Alamitos : IEEE, 2010Los Alamitos IEEE 2010Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-1839475 ) e outros locais(Acessar) |
|
4 |
Material Type: Artigo de Congresso
|
Using ontologies for modeling educational contentVanessa Araujo Borges Ellen Francine Barbosa; International Conference on Artificial Intelligence in Education - AIED (14. 2009 Brighton, UK); International Workshop on Ontologies and Semantic Web for E-Learning - SWEL (7. 2009 Brighton, UK)Workshops Proceedings Nova Zelândia : ICTG,2009Nova Zelândia ICTG 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
5 |
Material Type: Artigo de Congresso
|
Case recommender a recommender frameworkArthur F. da Costa Marcelo Garcia Manzato; Simpósio Brasileiro de Sistemas Multimídia e Web - WebMedia (22. 2016 Teresina); Workshop de Ferramentas e Aplicações (15. 2016 Teresina)Anais : Workshops e Pôsteres [S.l.] : SBC, 2016S.l. SBC 2016Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Artigo de Congresso
|
Checking sequence generation using state distinguishing subsequencesAdenilso da Silva Simão A Petrenko; IEEE International Conference on Software Testing, Verification, and Validation Workshops (2. (2009 Denver, Colorado - USA)Proceedings Washington : IEEE Computer Society, 2009Washington, DC IEEE Computer Science 2009Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Artigo de Congresso
|
Assessing the influence of multiple test case selection on mutation experimentsMárcio Eduardo Delamaro Jeff Offutt; IEEE International Conference on Software Testing, Verification, and Validation Workshops - ICSTW 2014 (7. 2014 Cleveland, Ohio)Proceedings Los Alamitos, California : IEEE Computer Society, 2014Los Alamitos, California IEEE Computer Society 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2507088 )(Acessar) |
|
8 |
Material Type: Artigo de Congresso
|
Mutant subsumption graphsBob Kurtz Paul Ammann; Márcio Eduardo Delamaro; Jeff Offutt; Lin Deng; IEEE International Conference on Software Testing, Verification, and Validation Workshops - ICSTW (7. 2014 Cleveland, Ohio)Proceedings Los Alamitos, California : IEEE Computer Society, 2014Los Alamitos, California IEEE Computer Society 2014Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2507346 )(Acessar) |
|
9 |
Material Type: Artigo de Congresso
|
Reducing the concretization effort in fsm-based testing of software product linesVanderson Hafemann Fragal Adenilso da Silva Simão; André Takeshi Endo; Mohammad Reza Mousavi; IEEE International Conference on Software Testing, Verification and Validation Workshops - ICSTW (10. 2017 Tokyo, Japan)Proceedings Piscataway, NJ : IEEEPiscataway, NJ IEEE 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2852305 )(Acessar) |
|
10 |
Material Type: Artigo de Congresso
|
Proposta de uma linha de produtos de software para sistemas de aprendizagem ubíquos com internet das coisasRicardo Fuzeto Rosana Teresinha Vaccare Braga; Congresso Brasileiro de Informática na Educação - CBIE (6. 2017 Recife, PE); Workshops do VI Congresso Brasileiro de Informática na Educação - WCBIE (6. 2017 Recife, PE)Anais Porto Alegre, RS : SBC, 2017Porto Alegre, RS SBC 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2858208 )(Acessar) |