SciELO - Scientific Electronic Library Online

 
números disponiblesvol.4 número3vol.5 número2 índice de autoresíndice de assuntospesquisa de artigos
Home Pagelista alfabética de periódicos   RSS

Journal of the Brazilian Computer Society
versão On-line ISSN 1678-4804

 

Sumário
J. Braz. Comp. Soc. v. 5 n. 1 Campinas Jul. 1998

Letter from the guest editors
Maldonado, José Carlos; Masiero, Paulo Cesar

        · texto em Inglês
 
Procedures and Recursion in the Refinement Calculus
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim

        · resumo em Inglês     · texto em Inglês
 
Labeled Families in Modular Software Development
Veloso, Sheila R. M.; Veloso, Paulo A. S.; Fiadeiro, José L.

        · resumo em Inglês     · texto em Inglês
 
Integrating Object-Oriented Analysis and Formal Specification
Araújo Júnior, João; Sawyer, Pete

        · resumo em Inglês     · texto em Inglês
 
A Productivity-Centred Approach for Classifying Software Tool Interfacing
Yang, Yun; Han, Jun

        · resumo em Inglês     · texto em Inglês
 

Creative Commons License Todo o conteúdo deste periódico, exceto onde está identificado, está licenciado sob uma Licença Creative Commons