SciELO - Scientific Electronic Library Online

 
available issuesvol.4 issue3vol.5 issue2 author indexsubject indexarticles search
Home Pagealphabetic serial listing   RSS

Journal of the Brazilian Computer Society
Print version ISSN 0104-6500

 

Table of contents
J. Braz. Comp. Soc. vol. 5 n. 1 Campinas July 1998

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

        · text in English
 
Procedures and Recursion in the Refinement Calculus
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim

        · abstract in English     · text in English
 
Labeled Families in Modular Software Development
Veloso, Sheila R. M.; Veloso, Paulo A. S.; Fiadeiro, José L.

        · abstract in English     · text in English
 
Integrating Object-Oriented Analysis and Formal Specification
Araújo Júnior, João; Sawyer, Pete

        · abstract in English     · text in English
 
A Productivity-Centred Approach for Classifying Software Tool Interfacing
Yang, Yun; Han, Jun

        · abstract in English     · text in English