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 impressa ISSN 0104-6500

 

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