1. Identificação | |
Tipo de Referência | Artigo em Evento (Conference Proceedings) |
Site | mtc-m16.sid.inpe.br |
Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S |
Repositório | sid.inpe.br/iris@1916/2005/11.21.18.33 |
Última Atualização | 2006:01.06.16.07.00 (UTC) administrator |
Repositório de Metadados | sid.inpe.br/iris@1916/2005/11.21.18.33.45 |
Última Atualização dos Metadados | 2021:02.11.21.05.02 (UTC) administrator |
Chave Secundária | INPE-13071-PRE/8335 |
Chave de Citação | SimãoAmFaAmMaMa:2005:EnInFs |
Título | PLAVIS/FSM: na environment to integrate fsm-based testing tool |
Formato | Papel |
Projeto | Engenharia de software |
Ano | 2005 |
Data de Acesso | 28 mar. 2024 |
Tipo Secundário | PRE CN |
Número de Arquivos | 1 |
Tamanho | 222 KiB |
|
2. Contextualização | |
Autor | 1 Simão, Adenildo da Silva 2 Ambrósio, Ana Maria 3 Fabbri, Sandra C. P. 4 Amaral, Ana Silva Martins Serra do 5 Martins, Eliane 6 Maldonado, José Carlos |
Identificador de Curriculo | 1 2 8JMKD3MGP5W/3C9JGH7 |
Grupo | 1 2 DSS-INPE-MCT-BR 3 4 LAC-INPE-MCT-BR |
Afiliação | 1 Universidade de São Paulo, Departamento de Ciência da Computação e Estatística (USP) 2 Instituto Nacional de Pesquisas Espaciais, Divisão de Desenvolvimento de Sistemas de Solo, (INPE, DSS) 3 Universidade Federal de São Carlos, Departamento de Computação (UFSC) 4 Instituto Nacional de Pesquisas Espaciais, Laboratório Associado de Computação e Matemática Aplicada, (INPE, LAC) 5 Universidade Estadual de Campinas, Instituto de Computação (UNICAMP) 6 Universidade de São Paulo, Departamento de Ciência da Computação e Estatística (USP) |
Endereço de e-Mail do Autor | 1 adenilso@icmc.usp.br 2 ana@dss.inpe.br 3 4 anasil@lac.inpe.br 5 eliane@ic.unicamp.br 6 jcmaldon@icm.usp.br |
Nome do Evento | Simpósio Brasileiro de Engenharia de Software, 19. |
Localização do Evento | Uberlândia, MG |
Data | 3-7 out. |
Editora (Publisher) | INPE |
Páginas | 06 |
Título do Livro | Proceedings |
Histórico (UTC) | 2006-01-20 15:55:48 :: jefferson -> administrator :: 2006-11-09 19:08:25 :: administrator -> jefferson :: 2008-02-19 17:38:04 :: jefferson -> administrator :: 2021-02-11 21:05:02 :: administrator -> marciana :: 2005 |
|
3. Conteúdo e estrutura | |
É a matriz ou uma cópia? | é a matriz |
Estágio do Conteúdo | concluido |
Transferível | 1 |
Palavras-Chave | SPACE ENGINEERING AND TECHNOLOGY PLAVIS Testing tools Softaware systems TECNOLOGIA E ENGENHARIA ESPACIAL Sistema de softwares |
Resumo | PLAVIS project aims at establishing the basis for a platform (an integrated set of tools) to support the VV&T activities, providing an environment that improves the validation and verification process applied to space software systems. This paper introduces an environment, named Plavis/FSM, which integrates the tools Condado, MGASet and Proteum/FSM. These tools were developed in previous research projects by dierent groups for supporting the generation of test cases from FSM-based specification. |
Área | ETES |
Arranjo 1 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > PLAVIS/FSM: na environment... |
Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > PLAVIS/FSM: na environment... |
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/sid.inpe.br/iris@1916/2005/11.21.18.33 |
URL dos dados zipados | http://urlib.net/zip/sid.inpe.br/iris@1916/2005/11.21.18.33 |
Idioma | en |
Arquivo Alvo | Plavis.pdf |
Grupo de Usuários | administrator jefferson |
Visibilidade | shown |
Detentor da Cópia | SID/SCD |
Permissão de Leitura | allow from all |
|
5. Fontes relacionadas | |
Unidades Imediatamente Superiores | 8JMKD3MGPCW/3ESGTTP 8JMKD3MGPCW/446B2HE |
Acervo Hospedeiro | sid.inpe.br/banon/2003/08.15.17.40 |
|
6. Notas | |
Campos Vazios | archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel dissemination documentstage doi e-mailaddress edition editor identifier isbn issn label lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress publisheraddress readergroup rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume |
|
7. Controle da descrição | |
e-Mail (login) | marciana |
atualizar | |
|