Fechar

1. Identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Repositóriosid.inpe.br/iris@1916/2005/11.21.18.33
Última Atualização2006:01.06.16.07.00 (UTC) administrator
Repositório de Metadadossid.inpe.br/iris@1916/2005/11.21.18.33.45
Última Atualização dos Metadados2021:02.11.21.05.02 (UTC) administrator
Chave SecundáriaINPE-13071-PRE/8335
Chave de CitaçãoSimãoAmFaAmMaMa:2005:EnInFs
TítuloPLAVIS/FSM: na environment to integrate fsm-based testing tool
FormatoPapel
ProjetoEngenharia de software
Ano2005
Data de Acesso23 maio 2024
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho222 KiB
2. Contextualização
Autor1 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 Curriculo1
2 8JMKD3MGP5W/3C9JGH7
Grupo1
2 DSS-INPE-MCT-BR
3
4 LAC-INPE-MCT-BR
Afiliação1 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 Autor1 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 EventoSimpósio Brasileiro de Engenharia de Software, 19.
Localização do EventoUberlândia, MG
Data3-7 out.
Editora (Publisher)INPE
Páginas06
Título do LivroProceedings
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údoconcluido
Transferível1
Palavras-ChaveSPACE ENGINEERING AND TECHNOLOGY
PLAVIS
Testing tools
Softaware systems
TECNOLOGIA E ENGENHARIA ESPACIAL
Sistema de softwares
ResumoPLAVIS 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.
ÁreaETES
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > PLAVIS/FSM: na environment...
Arranjo 2urlib.net > DIDSS > PLAVIS/FSM: na environment...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/sid.inpe.br/iris@1916/2005/11.21.18.33
URL dos dados zipadoshttp://urlib.net/zip/sid.inpe.br/iris@1916/2005/11.21.18.33
Idiomaen
Arquivo AlvoPlavis.pdf
Grupo de Usuáriosadministrator
jefferson
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/446B2HE
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.21.02 2
sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1
Acervo Hospedeirosid.inpe.br/banon/2003/08.15.17.40
6. Notas
Campos Vaziosarchivingpolicy 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 


Fechar