ReP USP - Resultado da busca

Artigo de periodico
Algorithm development through correct transformations (1990)
Masiero, Paulo Cesar
Source: Revista Brasileira de Computacao. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar. Algorithm development through correct transformations. Revista Brasileira de Computacao, v. 6 , n. 2 , p. 29-38, 1990Tradução . . Acesso em: 07 nov. 2024.
APA
Masiero, P. C. (1990). Algorithm development through correct transformations. Revista Brasileira de Computacao, 6 ( 2 ), 29-38.
NLM
Masiero PC. Algorithm development through correct transformations. Revista Brasileira de Computacao. 1990 ;6 ( 2 ): 29-38.[citado 2024 nov. 07 ]
Vancouver
Masiero PC. Algorithm development through correct transformations. Revista Brasileira de Computacao. 1990 ;6 ( 2 ): 29-38.[citado 2024 nov. 07 ]
Relatorio tecnico
Algorithm development through correct transformations (1990)
Masiero, Paulo Cesar
Unidade: ICMC
Assunto: SISTEMAS DE INFORMAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar. Algorithm development through correct transformations. . Sao Carlos: Icmsc-Usp. . Acesso em: 07 nov. 2024. , 1990
APA
Masiero, P. C. (1990). Algorithm development through correct transformations. Sao Carlos: Icmsc-Usp.
NLM
Masiero PC. Algorithm development through correct transformations. 1990 ;[citado 2024 nov. 07 ]
Vancouver
Masiero PC. Algorithm development through correct transformations. 1990 ;[citado 2024 nov. 07 ]
Trabalho de evento
Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion (1990)
Rodriguez, Maritza; Masiero, Paulo Cesar
Conference titles: Congreso Nacional de Informática. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUEZ, Maritza e MASIERO, Paulo Cesar. Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. 1990, Anais.. Quito: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo, 1990. . Acesso em: 07 nov. 2024.
APA
Rodriguez, M., & Masiero, P. C. (1990). Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. In . Quito: Instituto de Ciências Matemáticas e de Computação, Universidade de São Paulo.
NLM
Rodriguez M, Masiero PC. Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. 1990 ;[citado 2024 nov. 07 ]
Vancouver
Rodriguez M, Masiero PC. Proyecto de un ambiente automatizado para el desarrollo de sistemas de informacion. 1990 ;[citado 2024 nov. 07 ]
Relatorio tecnico
Ambiente de desenvolvimento baseado na abordagem operacional (1990)
Masiero, Paulo Cesar ; Rodriguez, M; Pereira, D B; Gasparoto, I A
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MASIERO, Paulo Cesar et al. Ambiente de desenvolvimento baseado na abordagem operacional. . Sao Carlos: Icmsc-Usp. . Acesso em: 07 nov. 2024. , 1990
APA
Masiero, P. C., Rodriguez, M., Pereira, D. B., & Gasparoto, I. A. (1990). Ambiente de desenvolvimento baseado na abordagem operacional. Sao Carlos: Icmsc-Usp.
NLM
Masiero PC, Rodriguez M, Pereira DB, Gasparoto IA. Ambiente de desenvolvimento baseado na abordagem operacional. 1990 ;[citado 2024 nov. 07 ]
Vancouver
Masiero PC, Rodriguez M, Pereira DB, Gasparoto IA. Ambiente de desenvolvimento baseado na abordagem operacional. 1990 ;[citado 2024 nov. 07 ]
Relatorio tecnico
Especificacoes formais em vdm: um estudo de caso (1990)
Meira, C A A; Masiero, Paulo Cesar
Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MEIRA, C A A e MASIERO, Paulo Cesar. Especificacoes formais em vdm: um estudo de caso. . Sao Carlos: Icmsc-Usp. Disponível em: https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf. Acesso em: 07 nov. 2024. , 1990
APA
Meira, C. A. A., & Masiero, P. C. (1990). Especificacoes formais em vdm: um estudo de caso. Sao Carlos: Icmsc-Usp. Recuperado de https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf
NLM
Meira CAA, Masiero PC. Especificacoes formais em vdm: um estudo de caso [Internet]. 1990 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf
Vancouver
Meira CAA, Masiero PC. Especificacoes formais em vdm: um estudo de caso [Internet]. 1990 ;[citado 2024 nov. 07 ] Available from: https://repositorio.usp.br/directbitstream/20a7565b-a155-4837-990f-182d981f112e/816338.pdf
Trabalho de evento
Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion (1990)
Rodriguez, Maritza; Masiero, Paulo Cesar
Conference titles: Jornadas en Ingenieria de Sistemas Informaticos Y de Computacion. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUEZ, Maritza e MASIERO, Paulo Cesar. Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. 1990, Anais.. Quito: Escuela Politecnica Nacional, 1990. . Acesso em: 07 nov. 2024.
APA
Rodriguez, M., & Masiero, P. C. (1990). Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. In . Quito: Escuela Politecnica Nacional.
NLM
Rodriguez M, Masiero PC. Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. 1990 ;[citado 2024 nov. 07 ]
Vancouver
Rodriguez M, Masiero PC. Una herramienta automizada para apoyo a las fases de analisis y diseño del desarrollo de sistemas de informacion. 1990 ;[citado 2024 nov. 07 ]
Trabalho de evento
Um analisador de especificações operacionais (1990)
Rodriguez, Maritza; Masiero, Paulo Cesar
Conference titles: Congresso Nacional de Informatica. Unidade: ICMC
Assunto: ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
RODRIGUEZ, Maritza e MASIERO, Paulo Cesar. Um analisador de especificações operacionais. 1990, Anais.. Rio de Janeiro: SUCESU, 1990. . Acesso em: 07 nov. 2024.
APA
Rodriguez, M., & Masiero, P. C. (1990). Um analisador de especificações operacionais. In . Rio de Janeiro: SUCESU.
NLM
Rodriguez M, Masiero PC. Um analisador de especificações operacionais. 1990 ;[citado 2024 nov. 07 ]
Vancouver
Rodriguez M, Masiero PC. Um analisador de especificações operacionais. 1990 ;[citado 2024 nov. 07 ]

USP Schools

ReP

Filtros

Authors