Albino Vieira Freitas

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 2

Top Topics

Deterministic Finite Automaton

Software Systems

Classical Methods

Top Venues

Int. J. Comput. Appl. Technol.

Publications

Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Lucas Venezian Povoa, Albino Vieira Freitas, Cleyton De Castro Mario
Software inspections: comparing a formal method based with a classical reading methodology. Int. J. Comput. Appl. Technol. 59 (4) (2019)
Luciana Brasil Rebelo dos Santos, Valdivino Alexandre de Santiago Júnior, Albino Vieira Freitas
A Rigorous Evaluation of the Benefits of Usability Improvements Within Model Checking-Aided Software Inspections. ICCSA (5) (2017)