| 1. Identificação | ||||
| Tipo de Referência | Capítulo de Livro (Book Section) | |||
| Site | mtc-m21b.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34P/3PF778B | |||
| Repositório | sid.inpe.br/mtc-m21b/2017/08.17.18.15 (acesso restrito) | |||
| Última Atualização | 2017:10.05.16.31.18 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21b/2017/08.17.18.15.01 | |||
| Última Atualização dos Metadados | 2018:06.04.02.27.44 (UTC) administrator | |||
| Chave Secundária | INPE--/ | |||
| ISBN | 978-331962403-7 | |||
| Chave de Citação | SantosSantFrei:2017:RiEvBe | |||
| Título | A rigorous evaluation of the benefits of usability improvements within model checking-aided software inspections  | |||
| Ano | 2017 | |||
| Data de Acesso | 28 abr. 2024 | |||
| Tipo Secundário | PRE LI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 1044 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Santos, Luciana Brasil Rabelo dos 2 Santiago Júnior, Valdivino Alexandre de 3 Freitas, Albino Vieira | |||
| Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JJB5 | |||
| Grupo | 1 2 LABAC-COCTE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP) | |||
| Endereço de e-Mail do Autor | 1 lurebelo@ifsp.edu.br 2 valdivino.santiago@inpe.br | |||
| Editor | Gervasi, Osvaldo Murgante, Beniamino Misra, Sanjay Borruso, Giuseppe Torre, Carmelo M. Rocha, Ana Maria A. C. Taniar, David Apduhan, Bernady O. Stankova, Elena Cuzzocrea, Alfredo | |||
| Título do Livro | Computational Science and Its Applications – ICCSA 2017 | |||
| Editora (Publisher) | Springer | |||
| Páginas | 591-606 | |||
| Título da Série | Lecture Notes in Computer Science , 10408 | |||
| Histórico (UTC) | 2017-08-17 18:15:50 :: simone -> administrator :: 2017 2017-08-24 09:30:39 :: administrator -> simone :: 2017 2017-10-05 16:31:18 :: simone -> administrator :: 2017 2018-06-04 02:27:44 :: administrator -> simone :: 2017 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Palavras-Chave | usability software inspections | |||
| Resumo | 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. | |||
| Área | COMP | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > A rigorous evaluation... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| Idioma | en | |||
| Grupo de Usuários | simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | deny from all and allow from 150.163 | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP | |||
| Divulgação | BNDEPOSITOLEGAL | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber city copyholder copyright creatorhistory descriptionlevel doi e-mailaddress edition format issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url volume | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||