Ausgabe 1/2008
Inhalt (8 Artikel)
Open Access
Letter from the guest editors
Eduardo Santana de Almeida, Silvio Romero de Lemos Meira, Bill Frakes
Open Access
Articles
A method for model based test harness generation for component testing
Camila Ribeiro Rocha, Eliane Martins
Open Access
Articles
Automatically composing reusable software components for mobile devices
Jules White, Douglas C. Schmidt, Egon Wuchner, Andrey Nechypurenko
Open Access
Articles
Quality aware software product line engineering
Leire Etxeberria, Goiuria Sagardui, Lorea Belategi
Open Access
Regular Articles
A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework
David Déharbe, Silvio Ranise, Jorgiano Vidal
Open Access
Regular Articles
Automated formal specification generation and refinement from requirement documents
Gustavo Cabral, Augusto Sampaio