Luciana Akemi Burgareli

Publication Activity (10 Years)

Years Active: 2008-2016
Publications (10 Years): 1

Top Topics

Formal Verification

Software Architecture

Top Venues

IEEE Trans. Reliab.

Publications

Rovedy Aparecida Busquim e Silva, Nanci Naomi Arai, Luciana Akemi Burgareli, José Maria Parente de Oliveira, Jorge Sousa Pinto
Formal Verification With Frama-C: A Case Study in the Space Software Domain. IEEE Trans. Reliab. 65 (3) (2016)
Luciana Akemi Burgareli, Selma Shin Shimizu Melnikoff, Maurício G. Vieira Ferreira
A Variation Mechanism Based on Adaptive Object Model for Software Product Line of Brazilian Satellite Launcher. ECBS-EERC (2009)
Luciana Akemi Burgareli, Selma S. S. Melnikoff, Maurício G. V. Ferreira
A Software Model Reuse Strategy for Brazilian Satellite Launcher. Australian Software Engineering Conference (2008)