| | 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
| | | Procedures and Recursion in the Refinement Calculus
Cavalcanti, Ana; Sampaio, Augusto; Woodcock, Jim
| | | Labeled Families in Modular Software Development
Veloso, Sheila R. M.; Veloso, Paulo A. S.; Fiadeiro, José L.
| | | Integrating Object-Oriented Analysis and Formal Specification
Araújo Júnior, João; Sawyer, Pete
| | | A Productivity-Centred Approach for Classifying Software Tool Interfacing
Yang, Yun; Han, Jun
| | |
|
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License
