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-6500On-line version ISSN 1678-4804


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

Creative Commons License All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License