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 17 dentre 17 Arquivos.
Data e hora local de busca: 06/02/2023 03:23.
1. 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
Repositório de Metadadossid.inpe.br/mtc-m19/2012/12.07.17.00.26
Última Atualização dos Metadados2022:03.17.16.24.26 (UTC) 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 Acesso06 fev. 2023
Tipo SecundárioPRE CN
2. 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
Histórico (UTC)2012-12-07 17:00:55 :: marcelo.pazos@sid.inpe.br -> administrator :: 2012
2022-03-17 16:24:26 :: administrator -> marcelo.pazos@inpe.br :: 2012
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
ÁreaCEA
Conteúdo da Pasta docnão têm arquivos
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 07/12/2012 15:00 1.0 KiB 
4. 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
5. 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
6. Notas
Campos Vaziosabstract 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
7. Controle da descrição
e-Mail (login)marcelo.pazos@inpe.br
atualizar 

1. 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 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2012/11.28.17.33.54
Última Atualização dos Metadados2022:03.17.16.24.00 (UTC) administrator
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 Acesso06 fev. 2023
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho190 KiB
2. 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 TerciárioPaper
Histórico (UTC)2012-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
2018-08-27 11:16:06 :: marciana -> administrator :: 2012
2022-03-17 16:24:00 :: administrator -> marciana :: 2012
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal Contribution
Tipo de Versãopublisher
ÁreaCEA
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > GTSC: Automated Model-Based...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > GTSC: Automated Model-Based...
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/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
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosabstract 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
7. Controle da descrição
e-Mail (login)marciana
atualizar 

1. 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 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m18/2012/12.17.11.29.13
Última Atualização dos Metadados2022:03.17.16.24.15 (UTC) administrator
Chave de CitaçãoSantosSantVija:2012:FoVeUM
TítuloFormal verification of UML-based software
FormatoOn-line.
Ano2012
Data de Acesso06 fev. 2023
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho230 KiB
2. 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
OrganizaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Histórico (UTC)2013-01-16 17:09:08 :: lurebelo@gmail.com -> administrator :: 2012
2022-03-17 16:24:15 :: administrator -> simone :: 2012
3. 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.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > WORCAP > Formal verification of...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Formal verification of...
Arranjo 3urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > Formal verification of...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 17/12/2012 09:29 0.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://mtc-m16c.sid.inpe.br/ibi/8JMKD3MGP8W/3D85595
URL dos dados zipadoshttp://mtc-m16c.sid.inpe.br/zip/8JMKD3MGP8W/3D85595
Idiomaen
Arquivo Alvoworcap2012_submission_23  - Luciana Brasil Rebelo dos Santos.pdf
Grupo de Usuárioslurebelo@gmail.com
Visibilidadeshown
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGP8W/38ELNHL
8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
Acervo Hospedeirosid.inpe.br/mtc-m18@80/2008/03.17.15.17
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination documentstage doi edition electronicmailaddress isbn issn label lineage mark mirrorrepository 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
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. 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 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2012/11.28.19.33.40
Última Atualização dos Metadados2022:03.17.16.24.01 (UTC) 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 Acesso06 fev. 2023
Tipo SecundárioPRE CN
Número de Arquivos1
Tamanho72 KiB
2. 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 TerciárioArtigo
Histórico (UTC)2012-11-28 23:06:36 :: lattes -> marciana :: 2012
2013-01-22 18:21:30 :: marciana -> administrator :: 2012
2022-03-17 16:24:01 :: administrator -> marciana :: 2012
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal 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.
ÁreaCEA
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Análise quantitativa das...
Arranjo 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > Análise quantitativa das...
Arranjo 3urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDOP > Análise quantitativa das...
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/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
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
8JMKD3MGPCW/43SQKNE
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
NotasSetores de Atividade: Administração pública, defesa e seguridade social.
Campos Vaziosarchivingpolicy 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
7. Controle da descrição
e-Mail (login)marciana
atualizar