Advanced search options

Advanced Search Options 🞨

Browse by author name (“Author name starts with…”).

Find ETDs with:

in
/  
in
/  
in
/  
in

Written in Published in Earliest date Latest date

Sorted by

Results per page:

Sorted by: relevance · author · university · dateNew search

You searched for +publisher:"Universidade do Porto" +contributor:("Pimenta, Ana Cristina Ramada Paiva"). Showing records 1 – 10 of 10 total matches.

Search Limiters

Last 2 Years | English Only

No search limiters apply to these results.

▼ Search Limiters


Universidade do Porto

1. Cunha, Marco André da Mota. Padrões de teste para interfaces gráficas.

Degree: 2010, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Universidade do Porto. Faculdade de Engenharia. 2010 Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Interfaces gráficos; GUI - Graphical User Interfaces; Utilizadores; PETTool - PattErn Testing Tool

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Cunha, M. A. d. M. (2010). Padrões de teste para interfaces gráficas. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/60968

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Cunha, Marco André da Mota. “Padrões de teste para interfaces gráficas.” 2010. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/60968.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Cunha, Marco André da Mota. “Padrões de teste para interfaces gráficas.” 2010. Web. 24 Apr 2019.

Vancouver:

Cunha MAdM. Padrões de teste para interfaces gráficas. [Internet] [Thesis]. Universidade do Porto; 2010. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/60968.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Cunha MAdM. Padrões de teste para interfaces gráficas. [Thesis]. Universidade do Porto; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/60968

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

2. Barbosa, Ana Sofia Barros. Geração de casos de teste a partir de modelos de tarefas.

Degree: 2010, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010 Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Modelação de interfaces gráficas; Modelação de sistemas; Programas de computador

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Barbosa, A. S. B. (2010). Geração de casos de teste a partir de modelos de tarefas. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61649

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Barbosa, Ana Sofia Barros. “Geração de casos de teste a partir de modelos de tarefas.” 2010. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61649.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Barbosa, Ana Sofia Barros. “Geração de casos de teste a partir de modelos de tarefas.” 2010. Web. 24 Apr 2019.

Vancouver:

Barbosa ASB. Geração de casos de teste a partir de modelos de tarefas. [Internet] [Thesis]. Universidade do Porto; 2010. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61649.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Barbosa ASB. Geração de casos de teste a partir de modelos de tarefas. [Thesis]. Universidade do Porto; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61649

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

3. Nogueira, Patrícia Manuela Queirós. Portal de vendas para trabalhos gráficos.

Degree: 2011, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Universidade do Porto. Faculdade de Engenharia. 2011 Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nogueira, P. M. Q. (2011). Portal de vendas para trabalhos gráficos. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/63335

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nogueira, Patrícia Manuela Queirós. “Portal de vendas para trabalhos gráficos.” 2011. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/63335.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nogueira, Patrícia Manuela Queirós. “Portal de vendas para trabalhos gráficos.” 2011. Web. 24 Apr 2019.

Vancouver:

Nogueira PMQ. Portal de vendas para trabalhos gráficos. [Internet] [Thesis]. Universidade do Porto; 2011. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/63335.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nogueira PMQ. Portal de vendas para trabalhos gráficos. [Thesis]. Universidade do Porto; 2011. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/63335

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

4. Nabuco, António Miguel Carvalho. Automated testing framework implementation for post-production and broadcast HW/SW.

Degree: 2012, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2012 Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Desenvolvimento de software; Implementar estruturas de testes automatizados; Pós-produção e transmissão de HW/SW

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Nabuco, A. M. C. (2012). Automated testing framework implementation for post-production and broadcast HW/SW. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/68346

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Nabuco, António Miguel Carvalho. “Automated testing framework implementation for post-production and broadcast HW/SW.” 2012. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/68346.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Nabuco, António Miguel Carvalho. “Automated testing framework implementation for post-production and broadcast HW/SW.” 2012. Web. 24 Apr 2019.

Vancouver:

Nabuco AMC. Automated testing framework implementation for post-production and broadcast HW/SW. [Internet] [Thesis]. Universidade do Porto; 2012. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/68346.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Nabuco AMC. Automated testing framework implementation for post-production and broadcast HW/SW. [Thesis]. Universidade do Porto; 2012. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/68346

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

5. Carvalho, Paulo Luciano Simões de. Plataforma de teste a aplicações web suportando múltiplos web-browsers.

Degree: 2010, Universidade do Porto

Documento confidencial. Não pode ser disponibilizado para consulta

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010

Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Testes de software; Qualidade do software; Aplicações WEB

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Carvalho, P. L. S. d. (2010). Plataforma de teste a aplicações web suportando múltiplos web-browsers. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/71293

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Carvalho, Paulo Luciano Simões de. “Plataforma de teste a aplicações web suportando múltiplos web-browsers.” 2010. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/71293.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Carvalho, Paulo Luciano Simões de. “Plataforma de teste a aplicações web suportando múltiplos web-browsers.” 2010. Web. 24 Apr 2019.

Vancouver:

Carvalho PLSd. Plataforma de teste a aplicações web suportando múltiplos web-browsers. [Internet] [Thesis]. Universidade do Porto; 2010. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/71293.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Carvalho PLSd. Plataforma de teste a aplicações web suportando múltiplos web-browsers. [Thesis]. Universidade do Porto; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/71293

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

6. Brandão, Helder António de Almeida. Aplicações Web interactivas com AJAX.

Degree: 2008, Universidade do Porto

Estágio realizado na Actua Software

Tese de mestrado integrado. Engenharia Informátca e Computação. Faculdade de Engenharia. Universidade do Porto. 2008

Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Aplicações WEB; AJAX - linguagem de programação; Óleos vegetais

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Brandão, H. A. d. A. (2008). Aplicações Web interactivas com AJAX. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59825

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Brandão, Helder António de Almeida. “Aplicações Web interactivas com AJAX.” 2008. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59825.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Brandão, Helder António de Almeida. “Aplicações Web interactivas com AJAX.” 2008. Web. 24 Apr 2019.

Vancouver:

Brandão HAdA. Aplicações Web interactivas com AJAX. [Internet] [Thesis]. Universidade do Porto; 2008. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59825.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Brandão HAdA. Aplicações Web interactivas com AJAX. [Thesis]. Universidade do Porto; 2008. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59825

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

7. Bernardes, João Pedro dos Santos. Development of a build and deployment system.

Degree: 2009, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009 Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Engenharia de software; Desenvolvimento de software

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Bernardes, J. P. d. S. (2009). Development of a build and deployment system. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59613

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Bernardes, João Pedro dos Santos. “Development of a build and deployment system.” 2009. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59613.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Bernardes, João Pedro dos Santos. “Development of a build and deployment system.” 2009. Web. 24 Apr 2019.

Vancouver:

Bernardes JPdS. Development of a build and deployment system. [Internet] [Thesis]. Universidade do Porto; 2009. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59613.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Bernardes JPdS. Development of a build and deployment system. [Thesis]. Universidade do Porto; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59613

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

8. Monteiro, Álvaro Manuel da Silva. Study and development of a software implemented fault injection plug-in for the Xception tool/powerPC 750.

Degree: 2009, Universidade do Porto

Estágio realizado na Critical Software e orientado pelo Eng.º Ricardo Barbosa

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2009

Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Avaliação de sistemas informáticos; SWIFI; Xception - programa de computador

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Monteiro, . M. d. S. (2009). Study and development of a software implemented fault injection plug-in for the Xception tool/powerPC 750. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61611

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Monteiro, Álvaro Manuel da Silva. “Study and development of a software implemented fault injection plug-in for the Xception tool/powerPC 750.” 2009. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61611.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Monteiro, Álvaro Manuel da Silva. “Study and development of a software implemented fault injection plug-in for the Xception tool/powerPC 750.” 2009. Web. 24 Apr 2019.

Vancouver:

Monteiro MdS. Study and development of a software implemented fault injection plug-in for the Xception tool/powerPC 750. [Internet] [Thesis]. Universidade do Porto; 2009. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61611.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Monteiro MdS. Study and development of a software implemented fault injection plug-in for the Xception tool/powerPC 750. [Thesis]. Universidade do Porto; 2009. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/61611

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

9. Moreira, Rodrigo Manuel Lopes de Matos. Development of a visual GUI Modelling Front-End.

Degree: 2012, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2008 Advisors/Committee Members: Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Interfaces gráficos; Interface de visualização; Programação de computadores

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Moreira, R. M. L. d. M. (2012). Development of a visual GUI Modelling Front-End. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57673

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Moreira, Rodrigo Manuel Lopes de Matos. “Development of a visual GUI Modelling Front-End.” 2012. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57673.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Moreira, Rodrigo Manuel Lopes de Matos. “Development of a visual GUI Modelling Front-End.” 2012. Web. 24 Apr 2019.

Vancouver:

Moreira RMLdM. Development of a visual GUI Modelling Front-End. [Internet] [Thesis]. Universidade do Porto; 2012. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57673.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Moreira RMLdM. Development of a visual GUI Modelling Front-End. [Thesis]. Universidade do Porto; 2012. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/57673

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation


Universidade do Porto

10. Andrade, Francisco Xavier Richardson Rebello de. Automatic generation of the cases derived from algebraic specifications.

Degree: 2010, Universidade do Porto

Tese de mestrado integrado. Engenharia Informática e Computação. Faculdade de Engenharia. Universidade do Porto. 2010 Advisors/Committee Members: Faria, João Carlos Pascoal de, Pimenta, Ana Cristina Ramada Paiva, Universidade do Porto. Faculdade de Engenharia.

Subjects/Keywords: Geração automática de testes; Especificações algébricas

Record DetailsSimilar RecordsGoogle PlusoneFacebookTwitterCiteULikeMendeleyreddit

APA · Chicago · MLA · Vancouver · CSE | Export to Zotero / EndNote / Reference Manager

APA (6th Edition):

Andrade, F. X. R. R. d. (2010). Automatic generation of the cases derived from algebraic specifications. (Thesis). Universidade do Porto. Retrieved from http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59949

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Chicago Manual of Style (16th Edition):

Andrade, Francisco Xavier Richardson Rebello de. “Automatic generation of the cases derived from algebraic specifications.” 2010. Thesis, Universidade do Porto. Accessed April 24, 2019. http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59949.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

MLA Handbook (7th Edition):

Andrade, Francisco Xavier Richardson Rebello de. “Automatic generation of the cases derived from algebraic specifications.” 2010. Web. 24 Apr 2019.

Vancouver:

Andrade FXRRd. Automatic generation of the cases derived from algebraic specifications. [Internet] [Thesis]. Universidade do Porto; 2010. [cited 2019 Apr 24]. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59949.

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

Council of Science Editors:

Andrade FXRRd. Automatic generation of the cases derived from algebraic specifications. [Thesis]. Universidade do Porto; 2010. Available from: http://www.rcaap.pt/detail.jsp?id=oai:repositorio-aberto.up.pt:10216/59949

Note: this citation may be lacking information needed for this citation format:
Not specified: Masters Thesis or Doctoral Dissertation

.