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: 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: 27 dez. 2025. -
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 2025 dez. 27 ] -
Vancouver
Masiero PC. Algorithm development through correct transformations. Revista Brasileira de Computacao. 1990 ;6 ( 2 ): 29-38.[citado 2025 dez. 27 ] - Especificação formal de hiperdocumentos baseada em statecharts
- Improving the quality of legacy code by reverse engineering
- Modelagem e simulação de dinâmica de sistemas
- Determinação de padrões de software a partir da engenharia reversa de sistemas legados
- Uma linguagem para execucao programada de statecharts
- Frame maker facilita editoracao eletronica
- Gerador automatico de codigo dentro do ambiente statsim
- A pattern to design crosscutting frameworks
- Applying test-driven code search to the reuse of auxiliary functionality
- Integration testing of aspect-oriented programs: a structural pointcut-based approach
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
