Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Tese de Doutorado
|
Geração de testes a partir de máquinas de estados finitos estendidas extraídas de diagramas de sequência UMLRocha, Mauricio Rêgo Mota DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2020-12-17Acesso online |
|
2 |
Material Type: Dissertação de Mestrado
|
Um web framework para C++: projeto, implementação e avaliaçãoCastro, Herik Lima DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Artes, Ciências e Humanidades 2019-10-11Acesso online. A biblioteca também possui exemplares impressos. |
|
3 |
Material Type: Dissertação de Mestrado
|
Sistema de automação e controle para aquisição de espectros de correlação angular gama-gamaStachowski, Ademir Francisco AbadeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Pesquisas Energéticas e Nucleares 2019-02-15Acesso online |
|
4 |
Material Type: Tese de Doutorado
|
A proposal for the evolution of model-driven software engineeringGottardi, ThiagoBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2018-03-19Acesso online |
|
5 |
Material Type: Artigo de Congresso
|
How to test your concurrent software an approach for the selection of testing techniquesSilvana Morita Melo Simone do Rocio Senger de Souza; Paulo Sérgio Lopes de Souza; Jeffrey C Carver; Conference on Systems, Programming, Languages, and Applications: Software for Humanity - SPLASH (2017 Vancouver, BC, Canada); ACM SIGPLAN International Workshop on Software Engineering for Parallel Systems (4. 2017 Vancouver, BC, Canada)Proceedings New York : ACM, 2017New York ACM 2017Localização: ICMC - Inst. Ciên. Mat. Computação (PROD 2892556 )(Acessar) |
|
6 |
Material Type: Tese de Doutorado
|
Uma proposta de formalismo como arcabouço teórico para engenharia dirigida por modelos e aplicações.Canovas, Sergio Roberto De MelloBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2016-09-02Acesso online |
|
7 |
Material Type: Tese de Doutorado
|
Catálogo de modelos de computação para o desenvolvimento de linguagens específicas de modelagem de domínio.Fernandes, Sergio MartinsBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-06-13Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Tese de Doutorado
|
Toward harnessing a Java high-level language virtual machine for supporting software testingDurelli, Vinicius Humberto SerapilhaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-10-01Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
Material Type: Dissertação de Mestrado
|
Teste estrutural de tratamento de exceções em programas OA: representação, critérios e avaliaçãoCarvalho, Luciano Augusto FernandesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2013-06-06Acesso online. A biblioteca também possui exemplares impressos. |
|
10 |
Material Type: Dissertação de Mestrado
|
Ensino e aprendizado de fundamentos de programação: uma abordagem baseada em teste de softwareSouza, Draylson Micael DeBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2012-04-13Acesso online. A biblioteca também possui exemplares impressos. |