SBC - Biblioteca Digital

:: PUBLICAÇÕES

Letter from the Guest Editors and Letter from the Editor-in-Chief

Autor(es): Eduardo Santana de Almeida , Sílvio Romero Lemos Meira , Bill Frakes , Hugo Fuks

Palavras-chave: Letter from the Guest Editors and Letter from the Editor-in-Chief

[ resumo

]

[ download (207 Kb) ]

A Method for Model Based Test Harness Generation for Component Testing

Autor(es): Camila Ribeiro Rocha , Eliane Martins

Palavras-chave: Component testing, Model based testing, Stubs, Test Case Generation.

[ resumo

]

[ download (217 Kb) ]

Automatically Composing Reusable Software Components for Mobile Devices

Autor(es): Jules White , Douglas C. Schmidt , Egon Wuchner , Andrey Nechypurenko

Palavras-chave: Feature Modeling, Product-lines, Constraint Satisfaction, Software Reuse.

[ resumo

]

[ download (925 Kb) ]

Common Coupling as a Measure of Reuse Effort in Kernel-Based Software with Case Studies on the Creation of MkLinux and Darwin

Autor(es): Liguo Yu

Palavras-chave: Reuse, common coupling, kernel-based software, MkLinux, Darwin

[ resumo

]

[ download (75 Kb) ]

Quality aware Software Product Line Engineering

Autor(es): Leire Etxeberria , Goiuria Sagardui , Lorea Belategi

Palavras-chave: Software product lines, quality assurance

[ resumo

]

[ download (92 Kb) ]

A Prototype Implementation of a Distributed Satisfiability Modulo Theories Solver in the ToolBus Framework

Autor(es): David Déharbe , Silvio Ranise , Jorgiano Vidal

Palavras-chave: Satisfiability Modulo Theories, distributed computing, BDDs, haRVey.

[ resumo

]

[ download (314 Kb) ]

Automated Formal Specification Generation and Refinement from Requirement Documents.

Autor(es): Gustavo Cabral , Augusto Sampaio

Palavras-chave: Use Case Specification, Controlled Natural Language, Formal Specification Generation, Formal Models Refinement, CSP.

[ resumo

]

[ download (259 Kb) ]