Resultado da Pesquisa
A expressão de busca foi <secondaryty cn and ref conference and firstg CEA-CEA-INPE-MCTI-GOV-BR and y 2012 and not is *>.
4 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 27/02/2021 10:27.
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3D6G8AL
Repositóriosid.inpe.br/mtc-m19/2012/12.07.17.00
Metadadossid.inpe.br/mtc-m19/2012/12.07.17.00.26
Última Atualização dos Metadados2018:06.05.04.13.19 administrator
Chave SecundáriaINPE--PRE/
Chave de CitaçãoCuevaPaulKher:2012:StAnVH
TítuloStatistical analysis of VHF radar plume parameters at three longitudinal sectors (São Luís, Jicamarca and Christmas Island)
Ano2012
Data de Acesso27 fev. 2021
Área de contextualização
Autor1 Cueva, R. Y. C.
2 de Paula, E. R.
3 Kherani, A. E.
Grupo1 CEA-CEA-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 rica_yvan@dae.inpe.br
Endereço de e-Mailmarcelo.pazos@inpe.br
Nome do EventoSimpósio Brasileiro de Geofísica Espacial e Aeronomia, 4 (SBGEA).
Localização do EventoSão Paulo, SP
Data10 a 14/09/2012
Tipo SecundárioPRE CN
Histórico2012-12-07 17:00:55 :: marcelo.pazos@sid.inpe.br -> administrator :: 2012
2018-06-05 04:13:19 :: administrator -> marcelo.pazos@inpe.br :: 2012
Área de conteúdo e estrutura
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
AreaCEA
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 07/12/2012 15:00 1.0 KiB 
Área de condições de acesso e uso
Grupo de Usuáriosmarcelo.pazos@inpe.br
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3EU2FR5
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
Área de notas
Campos Vaziosabstract accessionnumber archivingpolicy archivist booktitle callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format isbn issn keywords label language lineage mark nextedition notes numberoffiles numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle size sponsor subject targetfile tertiarymark tertiarytype type url versiontype volume
Área de controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar 
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3D53QDU
Repositóriodpi.inpe.br/plutao/2012/11.28.17.33.53
Última Atualização2018:08.27.11.16.06 marciana
Metadadosdpi.inpe.br/plutao/2012/11.28.17.33.54
Última Atualização dos Metadados2018:08.27.11.16.06 marciana
Chave SecundáriaINPE--PRE/
Rótulolattes: 5039690360728170 1 SantiagoJúniorVijFerGuiCos:2012:AuMoTe
Chave de CitaçãoSantiagoJúniorVijFerGuiCos:2012:AuMoTe
TítuloGTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
FormatoDVD
Ano2012
Data de Acesso27 fev. 2021
Número de Arquivos1
Tamanho190 KiB
Área de contextualização
Autor1 Santiago Júnior, Valdivino Alexandre de
2 Vijaykumar, Nandamudi Lankalapalli
3 Ferreira, Érica
4 Guimarães, Danielle Souza
5 Costa, Raffael Carvalho da
Identificador de Curriculo1 8JMKD3MGP5W/3C9JJB5
2 8JMKD3MGP5W/3C9JHTU
Grupo1 CEA-CEA-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 valdivino@das.inpe.br
Endereço de e-Mailvaldivino@das.inpe.br
Nome do EventoCongresso Brasileiro de Software: Teoria e Prática, 3 (CBSoft).
Localização do EventoNatal-RN
Data2012
Páginas25-30
Título do LivroAnais
Tipo SecundárioPRE CN
Tipo TerciárioPaper
Histórico2012-11-28 23:06:32 :: lattes -> marciana :: 2012
2013-01-08 18:39:31 :: marciana -> administrator :: 2012
2018-06-05 00:02:10 :: administrator -> marciana :: 2012
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
AreaCEA
Arranjo 1INPE > Produção > LABAC > GTSC: Automated Model-Based...
Arranjo 2INPE > Produção > CGCEA > GTSC: Automated Model-Based...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/J8LNKAN8RW/3D53QDU
URL dos dados zipadoshttp://urlib.net/zip/J8LNKAN8RW/3D53QDU
Idiomaen
Arquivo Alvosantiago junior_gtsc.pdf
Grupo de Usuárioslattes
marciana
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosabstract accessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn keywords lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisher publisheraddress readergroup rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url volume
Área de controle da descrição
e-Mail (login)marciana
atualizar 
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Sitemtc-m16c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP8W/3D85595
Repositóriosid.inpe.br/mtc-m18/2012/12.17.11.29
Última Atualização2012:12.17.11.29.13 administrator
Metadadossid.inpe.br/mtc-m18/2012/12.17.11.29.13
Última Atualização dos Metadados2020:11.26.13.56.32 administrator
Chave de CitaçãoSantosSantVija:2012:FoVeUM
TítuloFormal verification of UML-based software
FormatoOn-line.
Ano2012
Data de Acesso27 fev. 2021
Número de Arquivos1
Tamanho230 KiB
Área de contextualização
Autor1 Santos, Luciana Brasil Rebelo dos
2 Santiago Júnior, Valdivino Alexandre de
3 Vijaykumar, Nandamudi Lankalapalli
Grupo1
2 CEA-CEA-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
EditorCastro, Ana Paula Abrantes de
Shiguemori, Élcio Hideiti
Ramos, Fernando Manuel
Endereço de e-Maillurebelo@gmail.com
Nome do EventoWorkshop dos Cursos de Computação Aplicada do INPE, 12 (WORCAP).
Localização do EventoSão José dos Campos
Data6-8 nov. 2012
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais (INPE)
Cidade da EditoraSão José dos Campos
Título do LivroAnais
Tipo SecundárioPRE CN
OrganizaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Histórico2013-01-16 17:09:08 :: lurebelo@gmail.com -> administrator :: 2012
2020-11-26 13:56:32 :: administrator -> simone :: 2012
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveformal verification, Model Checking, UML, SOLIMVA methodology.
ResumoABSTRACT: Formal Verification methods, such as Model Checking, are best applied in early stages of system design, when costs are low and benefits can be high, increasing the quality of systems, when they are completed. The Unified Modeling Language - (UML) is currently accepted as the de facto standard for modeling (object-oriented) software, and its use is increasing in the aerospace industry. This work describes how UML diagrams created in the early phases of software development, such as sequence, activity, state machines (variation of Harels Statecharts) diagrams, can be transformed into a finite-state model to support Model Checking of UML-based software. The results of this work will improve SOLIMVA, a methodology initially developed to generate model-based system and acceptance test cases considering Natural Language requirements artifacts.
AreaCOMP
Arranjo 1Repositório da BDMCI > Fonds INPE > Produção > LABAC > Formal verification of...
Arranjo 2Repositório da BDMCI > Fonds INPE > Produção > CGCEA > Formal verification of...
Arranjo 3Repositório da BDMCI > Fonds INPE > Biblioteca WORCAP > Formal verification of...
Arranjo 4Repositório da BDMCI > Fonds INPE > Produção > CAP > Biblioteca WORCAP > Formal verification of...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 17/12/2012 09:29 0.7 KiB 
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP8W/3D85595
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP8W/3D85595
Idiomaen
Arquivo Alvoworcap2012_submission_23  - Luciana Brasil Rebelo dos Santos.pdf
Grupo de Usuárioslurebelo@gmail.com
Visibilidadeshown
Área de fontes relacionadas
Repositório Espelhoiconet.com.br/banon/2005/09.28.12.40
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
8JMKD3MGP8W/38ELNHL
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
Área de notas
Campos Vaziosaccessionnumber 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 secondarydate secondarykey secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype type url versiontype volume
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3D547A5
Repositóriodpi.inpe.br/plutao/2012/11.28.19.33.39
Última Atualização2013:01.22.18.21.30 marciana
Metadadosdpi.inpe.br/plutao/2012/11.28.19.33.40
Última Atualização dos Metadados2021:01.02.22.17.50 administrator
Chave SecundáriaINPE--PRE/
Rótulolattes: 1446664587151293 2 StraussStepRosaFerr:2012:AnQuRe
Chave de CitaçãoStraussStepRosaFerr:2012:AnQuRe
TítuloAnálise quantitativa das regras da ferramenta objetiva de previsão de tempo do CPTEC
FormatoDVD
Ano2012
Data de Acesso27 fev. 2021
Número de Arquivos1
Tamanho72 KiB
Área de contextualização
Autor1 Strauss, Cesar
2 Stephany, Stephan
3 Rosa, Marcelo Barbio
4 Ferreira, Nelson Jesus
Grupo1 CEA-CEA-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
3 DOP-CPT-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2 stephan@lac.inpe.br
Endereço de e-Mailstephan@lac.inpe.br
Nome do EventoCongresso Brasileiro de Meteorologia, 17 (CBMET).
Localização do EventoGramado, RS
Data2012
Editora (Publisher)SBMET
Título do LivroAnais
Tipo SecundárioPRE CN
Tipo TerciárioArtigo
Histórico2012-11-28 23:06:36 :: lattes -> marciana :: 2012
2013-01-22 18:21:30 :: marciana -> administrator :: 2012
2021-01-02 22:17:50 :: administrator -> marciana :: 2012
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Palavras-Chavemineração de dados, previsão do tempo.
ResumoO Grupo de Previsão do Tempo do CPTEC/INPE utiliza como auxílio na previsão uma ferramenta objetiva que gera cartas para visualizar variáveis selecionadas de previsões do modelo numérico regional ETA. Essas cartas visam identificar a possibilidade de ocorrência de eventos tais como pancada de chuva com trovoada, tempestade e granizo. A seleção das variáveis e os limiares adotados para esses 3 tipos de eventos foi realizada com base na experiência dos meteorologistas da previsão de tempo e em valores de referência citados na literatura da área. O presente trabalho apresenta uma análise quantitativa do grau de acerto das variáveis e limiares selecionados utilizando dados de radares meteorológicos como referência em termos de precipitação. ABSTRACT: The Weather Forecast Group of CPTEC/INPE employs as an ancillary scheme given by an objective forecast tool. It generates charts to visualize selected variables of forecasts of the ETA regional numerical model. These charts are intended to identify the possibility of occurrence of events such as rainshowers with thunderstorms, storms and hailstorms. The selection of the variables and the adopted thresholds for these 3 types of events were done based on the experience of weather forecast meteorologists and on values cited in literature references. The current work presents a quantitative analysis of the hit ratio of the selected variables and thresholds employing weather radar data as reference for the precipitation.
AreaCEA
Arranjo 1INPE > Produção > LABAC > Análise quantitativa das...
Arranjo 2INPE > Produção > CGCEA > Análise quantitativa das...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/J8LNKAN8RW/3D547A5
URL dos dados zipadoshttp://urlib.net/zip/J8LNKAN8RW/3D547A5
Idiomapt
Arquivo Alvo62KG.pdf
Grupo de Usuárioslattes
marciana
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
8JMKD3MGPCW/43SQKNE
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Administração pública, defesa e seguridade social.
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor isbn issn lineage mark mirrorrepository nextedition numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume
Área de controle da descrição
e-Mail (login)marciana
atualizar