Journal: J. Braz. Comp. Soc.

Volume 14, Issue 1

5 -- 0Eduardo Santana de Almeida, Silvio Romero de Lemos Meira, Bill Frakes. Letter from the Guest Editors
6 -- 0Hugo Fuks. Letter from the Editor-in-Chief
7 -- 23Camila Ribeiro Rocha, Eliane Martins. A Method for Model Based Test Harness Generation for Component Testing
25 -- 44Jules White, Douglas C. Schmidt, Egon Wuchner, Andrey Nechypurenko. Automatically Composing Reusable Software Components for Mobile Devices
45 -- 55Liguo Yu. Common Coupling as a Measure of Reuse Effort in Kernel-Based Software with Case Studies on the Creation of MkLinux and Darwin
57 -- 69Leire Etxeberria, Goiuria Sagardui, Lorea Belategi. Quality aware Software Product Line Engineering
71 -- 86David Déharbe, Silvio Ranise, Jorgiano Vidal. A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework
87 -- 106Gustavo Cabral, Augusto Sampaio. Automated Formal Specification Generation and Refinement from Requirement Documents