ReP USP - Resultado da busca

Tese (Doutorado)
Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (2013)
Sousa, Thiago Carvalho de; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: DESENVOLVIMENTO DE SOFTWARE, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SOUSA, Thiago Carvalho de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências. 2013. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2013. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/. Acesso em: 06 set. 2024.
APA
Sousa, T. C. de. (2013). Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
NLM
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
Vancouver
Sousa TC de. Um processo de desenvolvimento orientado a objetos com suporte à verificação formal de inconsistências [Internet]. 2013 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-21102014-113929/
Artigo de periodico
A Practical Event-B Refinement Method based on a UML-driven Development Process (2012)
Silva, Paulo Sérgio Muniz; Sousa, Thiago C. de; Snook, Colin F.
Source: Lecture Notes in Computer Science. Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz e SOUSA, Thiago C. de e SNOOK, Colin F. A Practical Event-B Refinement Method based on a UML-driven Development Process. Lecture Notes in Computer Science, p. 357-360, 2012Tradução . . Disponível em: https://doi.org/10.1007/978-3-642-30885-7_31. Acesso em: 06 set. 2024.
APA
Silva, P. S. M., Sousa, T. C. de, & Snook, C. F. (2012). A Practical Event-B Refinement Method based on a UML-driven Development Process. Lecture Notes in Computer Science, 357-360. doi:10.1007/978-3-642-30885-7_31
NLM
Silva PSM, Sousa TC de, Snook CF. A Practical Event-B Refinement Method based on a UML-driven Development Process [Internet]. Lecture Notes in Computer Science. 2012 ; 357-360.[citado 2024 set. 06 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31
Vancouver
Silva PSM, Sousa TC de, Snook CF. A Practical Event-B Refinement Method based on a UML-driven Development Process [Internet]. Lecture Notes in Computer Science. 2012 ; 357-360.[citado 2024 set. 06 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31
Tese (Doutorado)
Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos (2011)
Siqueira, Fábio Levy ; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: ENGENHARIA DE REQUISITOS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIQUEIRA, Fábio Levy. Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos. 2011. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2011. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/. Acesso em: 06 set. 2024.
APA
Siqueira, F. L. (2011). Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/
NLM
Siqueira FL. Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos [Internet]. 2011 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/
Vancouver
Siqueira FL. Transformação de um modelo de empresa em um modelo de casos de uso seguindo os conceitos de engenharia dirigida por modelos [Internet]. 2011 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-02072012-165730/
Artigo de periodico
A proposal forextending UML-B to support a conceptual model (2011)
Silva, Paulo Sérgio Muniz; Sousa, Thiago C. de; Snook, Colin F.
Source: Innovations in Systems and Software Engineering. Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz e SOUSA, Thiago C. de e SNOOK, Colin F. A proposal forextending UML-B to support a conceptual model. Innovations in Systems and Software Engineering, n. 4, p. 293-301, 2011Tradução . . Disponível em: https://doi.org/10.1007/s11334-011-0169-9. Acesso em: 06 set. 2024.
APA
Silva, P. S. M., Sousa, T. C. de, & Snook, C. F. (2011). A proposal forextending UML-B to support a conceptual model. Innovations in Systems and Software Engineering, ( 4), 293-301. doi:10.1007/s11334-011-0169-9
NLM
Silva PSM, Sousa TC de, Snook CF. A proposal forextending UML-B to support a conceptual model [Internet]. Innovations in Systems and Software Engineering. 2011 ;( 4): 293-301.[citado 2024 set. 06 ] Available from: https://doi.org/10.1007/s11334-011-0169-9
Vancouver
Silva PSM, Sousa TC de, Snook CF. A proposal forextending UML-B to support a conceptual model [Internet]. Innovations in Systems and Software Engineering. 2011 ;( 4): 293-301.[citado 2024 set. 06 ] Available from: https://doi.org/10.1007/s11334-011-0169-9
Dissertação (Mestrado)
Análise de disponibilidade em sistemas de software na Web (2009)
Vasconcellos Neto, Oswaldo Cabral de; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: ARQUITETURA DE SOFTWARE, ENGENHARIA DE SOFTWARE, QUALIDADE DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VASCONCELLOS NETO, Oswaldo Cabral de. Análise de disponibilidade em sistemas de software na Web. 2009. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2009. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/. Acesso em: 06 set. 2024.
APA
Vasconcellos Neto, O. C. de. (2009). Análise de disponibilidade em sistemas de software na Web (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/
NLM
Vasconcellos Neto OC de. Análise de disponibilidade em sistemas de software na Web [Internet]. 2009 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/
Vancouver
Vasconcellos Neto OC de. Análise de disponibilidade em sistemas de software na Web [Internet]. 2009 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-11082010-153948/
Dissertação (Mestrado)
Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos (2007)
Doi, Fabrício; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DOI, Fabrício. Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/. Acesso em: 06 set. 2024.
APA
Doi, F. (2007). Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/
NLM
Doi F. Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos [Internet]. 2007 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/
Vancouver
Doi F. Objetos adaptativos: aplicação da tecnologia adaptativa à orientação a objetos [Internet]. 2007 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-09012008-095135/
Dissertação (Mestrado)
Transformações e mapeamentos da MDA e sua implementação em três ferramentas (2007)
Caliari, Giuliano Luz Pigatti; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: ENGENHARIA DE SOFTWARE, DESENVOLVIMENTO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CALIARI, Giuliano Luz Pigatti. Transformações e mapeamentos da MDA e sua implementação em três ferramentas. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/. Acesso em: 06 set. 2024.
APA
Caliari, G. L. P. (2007). Transformações e mapeamentos da MDA e sua implementação em três ferramentas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/
NLM
Caliari GLP. Transformações e mapeamentos da MDA e sua implementação em três ferramentas [Internet]. 2007 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/
Vancouver
Caliari GLP. Transformações e mapeamentos da MDA e sua implementação em três ferramentas [Internet]. 2007 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-08012008-103612/
Dissertação (Mestrado)
Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA (2007)
Mignon, Alexandre dos Santos; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Assunto: DESENVOLVIMENTO DE SOFTWARE (MODELOS)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MIGNON, Alexandre dos Santos. Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA. 2007. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2007. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/. Acesso em: 06 set. 2024.
APA
Mignon, A. dos S. (2007). Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/
NLM
Mignon A dos S. Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA [Internet]. 2007 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/
Vancouver
Mignon A dos S. Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA [Internet]. 2007 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/
Dissertação (Mestrado)
Verificação formal de sistemas modelados em estados finitos (2006)
Ferreira, Nelson França Guimarães; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: AMBIENTES DE PROGRAMAÇÃO, VERIFICAÇÃO E VALIDAÇÃO DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERREIRA, Nelson França Guimarães. Verificação formal de sistemas modelados em estados finitos. 2006. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2006. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/. Acesso em: 06 set. 2024.
APA
Ferreira, N. F. G. (2006). Verificação formal de sistemas modelados em estados finitos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/
NLM
Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/
Vancouver
Ferreira NFG. Verificação formal de sistemas modelados em estados finitos [Internet]. 2006 ;[citado 2024 set. 06 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-19092006-134100/
Dissertação (Mestrado)
O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos (2005)
Siqueira, Fábio Levy ; Silva, Paulo Sérgio Muniz (Orientador)
Unidade: EP
Subjects: DESENVOLVIMENTO DE SOFTWARE, GESTÃO DE PROJETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SIQUEIRA, Fábio Levy. O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos. 2005. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 2005. . Acesso em: 06 set. 2024.
APA
Siqueira, F. L. (2005). O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Siqueira FL. O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos. 2005 ;[citado 2024 set. 06 ]
Vancouver
Siqueira FL. O desenvolvimento distribuído de software: características e recomendações para a gerência de projetos. 2005 ;[citado 2024 set. 06 ]
Tese (Doutorado)
Análise dos requisitos de software em uma estrutura de intervalos de tempo (1998)
Silva, Paulo Sérgio Muniz; José Neto, João (Orientador)
Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz. Análise dos requisitos de software em uma estrutura de intervalos de tempo. 1998. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 1998. . Acesso em: 06 set. 2024.
APA
Silva, P. S. M. (1998). Análise dos requisitos de software em uma estrutura de intervalos de tempo (Tese (Doutorado). Universidade de São Paulo, São Paulo.
NLM
Silva PSM. Análise dos requisitos de software em uma estrutura de intervalos de tempo. 1998 ;[citado 2024 set. 06 ]
Vancouver
Silva PSM. Análise dos requisitos de software em uma estrutura de intervalos de tempo. 1998 ;[citado 2024 set. 06 ]
Dissertação (Mestrado)
Ferramenta para execucao simulada de especificacoes de software (1992)
Silva, Paulo Sérgio Muniz; Massola, Antônio Marcos de Aguirra (Orientador)
Unidade: EP
Assunto: ENGENHARIA ELÉTRICA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Paulo Sérgio Muniz. Ferramenta para execucao simulada de especificacoes de software. 1992. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1992. . Acesso em: 06 set. 2024.
APA
Silva, P. S. M. (1992). Ferramenta para execucao simulada de especificacoes de software (Dissertação (Mestrado). Universidade de São Paulo, São Paulo.
NLM
Silva PSM. Ferramenta para execucao simulada de especificacoes de software. 1992 ;[citado 2024 set. 06 ]
Vancouver
Silva PSM. Ferramenta para execucao simulada de especificacoes de software. 1992 ;[citado 2024 set. 06 ]

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Date published

Subjects