Filtros : "SILVA, PAULO SERGIO MUNIZ" Limpar

Filtros



Limitar por data


  • Fonte: Lecture Notes in Computer Science. Unidade: EP

    Assunto: ENGENHARIA ELÉTRICA

    Acesso à fonteDOIComo citar
    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: 28 mar. 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 mar. 28 ] 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 mar. 28 ] Available from: https://doi.org/10.1007/978-3-642-30885-7_31
  • Fonte: Innovations in Systems and Software Engineering. Unidade: EP

    Assunto: ENGENHARIA ELÉTRICA

    Acesso à fonteDOIComo citar
    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: 28 mar. 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 mar. 28 ] 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 mar. 28 ] Available from: https://doi.org/10.1007/s11334-011-0169-9
  • Unidade: EP

    Assunto: ENGENHARIA ELÉTRICA

    Como citar
    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: 28 mar. 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 mar. 28 ]
    • Vancouver

      Silva PSM. Análise dos requisitos de software em uma estrutura de intervalos de tempo. 1998 ;[citado 2024 mar. 28 ]
  • Unidade: EP

    Assunto: ENGENHARIA ELÉTRICA

    Como citar
    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: 28 mar. 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 mar. 28 ]
    • Vancouver

      Silva PSM. Ferramenta para execucao simulada de especificacoes de software. 1992 ;[citado 2024 mar. 28 ]

Biblioteca Digital de Produção Intelectual da Universidade de São Paulo     2012 - 2024