Algorithm development through correct transformations (1990)
- Autor:
- Autor USP: MASIERO, PAULO CESAR - ICMC
- Unidade: ICMC
- Assunto: ENGENHARIA DE SOFTWARE
- Language: Inglês
- Source:
- Título do periódico: Revista Brasileira de Computacao
- Volume/Número/Paginação/Ano: v.6 , n.2 , p.29-38, 1990
-
ABNT
MASIERO, Paulo Cesar. Algorithm development through correct transformations. Revista Brasileira de Computacao, v. 6 , n. 2 , p. 29-38, 1990Tradução . . Acesso em: 19 set. 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 set. 19 ] -
Vancouver
Masiero PC. Algorithm development through correct transformations. Revista Brasileira de Computacao. 1990 ;6 ( 2 ): 29-38.[citado 2024 set. 19 ] - Processo de desenvolvimento de software orientado a objetos com enfase na engenharia de requisitos
- Gerador automatico de codigo dentro do ambiente statsim
- Engenharia reversa orientada a objetos do ambiente statsim: metodo utilizado e resultados obtidos
- Uma abordagem de teste baseada em especificações UML: um estudo de caso
- PSP Tool - Uma ferramenta que apoia o personal software process
- Em direção à especificação de aplicações hipermídia baseada em statecharts
- Obtenção de modelos de análise-OO a partir de um modelo de requisitos baseado em cenários
- Reengineering using design patterns
- Ética em computação
- Uso de aspectos para verificar regras de instanciação de frameworks
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas