| 1. Identificação | |
| Tipo de Referência | Artigo em Evento (Conference Proceedings) |
| Site | mtc-m16c.sid.inpe.br |
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
| Identificador | 8JMKD3MGP8W/37J5SQP |
| Repositório | sid.inpe.br/mtc-m18@80/2010/05.27.17.14 |
| Última Atualização | 2010:05.27.17.14.58 (UTC) administrator |
| Repositório de Metadados | sid.inpe.br/mtc-m18@80/2010/05.27.17.15.01 |
| Última Atualização dos Metadados | 2023:08.16.14.42.49 (UTC) administrator |
| Chave de Citação | SantiagoVijaSilv:2009:AuInNa |
| Título | Automating Inspection of Natural Language Requirements and Model-Based Testing  |
| Formato | On-line. |
| Ano | 2009 |
| Data de Acesso | 04 jun. 2024 |
| Tipo Secundário | PRE CN |
| Número de Arquivos | 1 |
| Tamanho | 169 KiB |
| 2. Contextualização | |
| Autor | 1 Santiago, Valdivino 2 Vijaykumar, Nandamudi L. 3 Silva, José Demísio S. da |
| Grupo | 1 SPG-INPE-MCT-BR 2 LAC-CTE-INPE-MCT-BR 3 LAC-CTE-INPE-MCT-BR |
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) 3 Instituto Nacional de Pesquisas Espaciais (INPE) |
| Editor | Velho, Haroldo Fraga de Campos Soterroni, Aline Cristina Vasconcellos, Eduardo Charles Carneiro, Eduílson Lívio Neves da Costa Pantaleão, Eliana Goltz, Gustavo Augusto Mascarenhas Anochi, Juliana Aparecida Dantas, Murilo da Silva Rosa, Reinaldo Roberto Junior, Rodolfo Ranck |
| Endereço de e-Mail | capsecretaria@gmail.com |
| Nome do Evento | Workshop dos Cursos de Computação Aplicada do INPE, 9 (WORCAP). |
| Localização do Evento | São José dos Campos |
| Data | 21 e 22 out. 2009 |
| Editora (Publisher) | Instituto Nacional de Pesquisas Espaciais (INPE) |
| Cidade da Editora | São José dos Campos |
| Título do Livro | Anais |
| Organização | Instituto Nacional de Pesquisas Espaciais (INPE) |
| Histórico (UTC) | 2010-05-27 17:15:01 :: capsecretaria@gmail.com -> administrator :: 2023-08-16 14:42:49 :: administrator -> capsecretaria@gmail.com :: 2009 |
| 3. Conteúdo e estrutura | |
| É a matriz ou uma cópia? | é a matriz |
| Estágio do Conteúdo | concluido |
| Transferível | 1 |
| Palavras-Chave | - |
| Resumo | Inspection and testing play important roles towards software quality. However, both tasks are usually time-consuming specially if one considers complex projects. Requirements are a valuable starting point for the development of software products, and most of software requirements specifications are still written in natural language. This paper presents a methodology to address the automation of both the analysis of natural language specifications and Model-Based Testing. The goals are to automatically detect problems in natural language requirements, like ambiguity, inconsistency, and incompleteness, and to translate such requirements into behavioral models to support automated testing. |
| Área | COMP |
| Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Automating Inspection of... |
| Arranjo 2 | urlib.net > BDMCI > Fonds > WORCAP > IX WORCAP > Automating Inspection of... |
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção a partir de 2021 > CGIP > IX WORCAP > Automating Inspection of... |
| Conteúdo da Pasta doc | acessar |
| Conteúdo da Pasta source | não têm arquivos |
| Conteúdo da Pasta agreement | não têm arquivos |
| 4. Condições de acesso e uso | |
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP8W/37J5SQP |
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP8W/37J5SQP |
| Idioma | pt |
| Arquivo Alvo | 29335.pdf |
| Grupo de Usuários | administrator capsecretaria@gmail.com |
| Visibilidade | shown |
| 5. Fontes relacionadas | |
| Repositório Espelho | iconet.com.br/banon/2005/09.28.12.40 |
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPDW34P/49L7M92 |
| Lista de Itens Citando | sid.inpe.br/mtc-m16c/2023/08.16.14.42 1 |
| Acervo Hospedeiro | sid.inpe.br/mtc-m18@80/2008/03.17.15.17 |
| 6. Notas | |
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark nextedition notes numberofvolumes orcid pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
| 7. Controle da descrição | |
| e-Mail (login) | capsecretaria@gmail.com |
| atualizar | |