%0 Book Section
%@holdercode {isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S}
%4 sid.inpe.br/mtc-m21b/2017/08.17.18.15
%A Santos, Luciana Brasil Rabelo dos,
%A Santiago Júnior, Valdivino Alexandre de,
%A Freitas, Albino Vieira,
%@secondarytype PRE LI
%B Computational Science and Its Applications – ICCSA 2017
%D 2017
%E Gervasi, Osvaldo,
%E Murgante, Beniamino,
%E Misra, Sanjay,
%E Borruso, Giuseppe,
%E Torre, Carmelo M.,
%E Rocha, Ana Maria A. C.,
%E Taniar, David,
%E Apduhan, Bernady O.,
%E Stankova, Elena,
%E Cuzzocrea, Alfredo,
%@secondarykey INPE--/
%I Springer
%K usability, software inspections.
%P 591-606
%S Lecture Notes in Computer Science , 10408
%T A rigorous evaluation of the benefits of usability improvements within model checking-aided software inspections
%X In this paper, we show the results of a controlled experiment aiming at assessing the benefits of usability improvements for software inspection methodologies that rely on Model Checking. This work has been carried out in the context of the SOLIMVA 3.0 methodology which uses Model Checking to help in the inspection of software designs. A tool, XMITS, has been developed to support SOLIMVA 3.0. Thus, we compared the benefits in terms of cost mainly related to the Modeling activity of SOLIMVA, by using the new (3.0) and the previous (2.0) versions of XMITS. We considered 20 sets of UML behavioral diagrams from two different space application systems and the ATM system. Results backed by statistical analysis show that XMITS 3.0 was better than XMITS 2.0, helping to decrease the total time spent in the Modeling phase. This fact confirms that true usability improvements in software products can have a significant impact on processes such as inspection.
%@area COMP
%@electronicmailaddress lurebelo@ifsp.edu.br
%@electronicmailaddress valdivino.santiago@inpe.br
%@documentstage not transferred
%@group
%@group LABAC-COCTE-INPE-MCTIC-GOV-BR
%@dissemination BNDEPOSITOLEGAL
%@isbn 978-331962403-7
%@usergroup simone
%@resumeid
%@resumeid 8JMKD3MGP5W/3C9JJB5
%@nexthigherunit 8JMKD3MGPCW/3ESGTTP
%@affiliation Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP)
%@affiliation Instituto Nacional de Pesquisas Espaciais (INPE)
%@affiliation Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP)
%@versiontype publisher
%2 sid.inpe.br/mtc-m21b/2017/08.17.18.15.01