Search Result
The search expression was <secondaryty cn and ref conference and firstg CEA-CEA-INPE-MCTI-GOV-BR and y 2012 and not is *>.
4 references found looking up in 17 out of 17 Archives.
Search local date and time: 31/01/2023 07:19.
1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Sitemtc-m16d.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP7W/3D6G8AL
Repositorysid.inpe.br/mtc-m19/2012/12.07.17.00
Metadata Repositorysid.inpe.br/mtc-m19/2012/12.07.17.00.26
Metadata Last Update2022:03.17.16.24.26 (UTC) administrator
Secondary KeyINPE--PRE/
Citation KeyCuevaPaulKher:2012:StAnVH
TitleStatistical analysis of VHF radar plume parameters at three longitudinal sectors (São Luís, Jicamarca and Christmas Island)
Year2012
Access Date2023, Jan. 31
Secondary TypePRE CN
2. Context
Author1 Cueva, R. Y. C.
2 de Paula, E. R.
3 Kherani, A. E.
Group1 CEA-CEA-INPE-MCTI-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 rica_yvan@dae.inpe.br
e-Mail Addressmarcelo.pazos@inpe.br
Conference NameSimpósio Brasileiro de Geofísica Espacial e Aeronomia, 4 (SBGEA).
Conference LocationSão Paulo, SP
Date10 a 14/09/2012
History (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. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
AreaCEA
doc Directory Contentthere are no files
source Directory Contentthere are no files
agreement Directory Content
agreement.html 07/12/2012 15:00 1.0 KiB 
4. Conditions of access and use
User Groupmarcelo.pazos@inpe.br
Visibilityshown
Read Permissionallow from all
Update Permissionnot transferred
5. Allied materials
Mirror Repositorysid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Next Higher Units8JMKD3MGPCW/3EU2FR5
Host Collectionsid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notes
Empty Fieldsabstract 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. Description control
e-Mail (login)marcelo.pazos@inpe.br
update 

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Siteplutao.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentifierJ8LNKAN8RW/3D53QDU
Repositorydpi.inpe.br/plutao/2012/11.28.17.33.53
Last Update2018:08.27.11.16.06 (UTC) marciana
Metadata Repositorydpi.inpe.br/plutao/2012/11.28.17.33.54
Metadata Last Update2022:03.17.16.24.00 (UTC) administrator
Secondary KeyINPE--PRE/
Labellattes: 5039690360728170 1 SantiagoJúniorVijFerGuiCos:2012:AuMoTe
Citation KeySantiagoJúniorVijFerGuiCos:2012:AuMoTe
TitleGTSC: Automated Model-Based Test Case Generation from Statecharts and Finite State Machines
FormatDVD
Year2012
Access Date2023, Jan. 31
Secondary TypePRE CN
Number of Files1
Size190 KiB
2. Context
Author1 Santiago Júnior, Valdivino Alexandre de
2 Vijaykumar, Nandamudi Lankalapalli
3 Ferreira, Érica
4 Guimarães, Danielle Souza
5 Costa, Raffael Carvalho da
Resume Identifier1 8JMKD3MGP5W/3C9JJB5
2 8JMKD3MGP5W/3C9JHTU
Group1 CEA-CEA-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1 valdivino@das.inpe.br
e-Mail Addressvaldivino@das.inpe.br
Conference NameCongresso Brasileiro de Software: Teoria e Prática, 3 (CBSoft).
Conference LocationNatal-RN
Date2012
Pages25-30
Book TitleAnais
Tertiary TypePaper
History (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. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Version Typepublisher
AreaCEA
Arrangement 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > GTSC: Automated Model-Based...
Arrangement 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > GTSC: Automated Model-Based...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Contentthere are no files
4. Conditions of access and use
data URLhttp://urlib.net/ibi/J8LNKAN8RW/3D53QDU
zipped data URLhttp://urlib.net/zip/J8LNKAN8RW/3D53QDU
Languageen
Target Filesantiago junior_gtsc.pdf
User Grouplattes
marciana
Visibilityshown
Read Permissionallow from all
Update Permissionnot transferred
5. Allied materials
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
Host Collectiondpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notes
Empty Fieldsabstract 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. Description control
e-Mail (login)marciana
update 

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Sitemtc-m16c.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identifier8JMKD3MGP8W/3D85595
Repositorysid.inpe.br/mtc-m18/2012/12.17.11.29
Last Update2012:12.17.11.29.13 (UTC) administrator
Metadata Repositorysid.inpe.br/mtc-m18/2012/12.17.11.29.13
Metadata Last Update2022:03.17.16.24.15 (UTC) administrator
Citation KeySantosSantVija:2012:FoVeUM
TitleFormal verification of UML-based software
FormatOn-line.
Year2012
Access Date2023, Jan. 31
Secondary TypePRE CN
Number of Files1
Size230 KiB
2. Context
Author1 Santos, Luciana Brasil Rebelo dos
2 Santiago Júnior, Valdivino Alexandre de
3 Vijaykumar, Nandamudi Lankalapalli
Group1
2 CEA-CEA-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
Affiliation1
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
e-Mail Addresslurebelo@gmail.com
Conference NameWorkshop dos Cursos de Computação Aplicada do INPE, 12 (WORCAP).
Conference LocationSão José dos Campos
Date6-8 nov. 2012
PublisherInstituto Nacional de Pesquisas Espaciais (INPE)
Publisher CitySão José dos Campos
Book TitleAnais
OrganizationInstituto Nacional de Pesquisas Espaciais (INPE)
History (UTC)2013-01-16 17:09:08 :: lurebelo@gmail.com -> administrator :: 2012
2022-03-17 16:24:15 :: administrator -> simone :: 2012
3. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Keywordsformal verification
Model Checking
UML
SOLIMVA methodology
AbstractABSTRACT: 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
Arrangement 1urlib.net > BDMCI > Fonds > WORCAP > Formal verification of...
Arrangement 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Formal verification of...
Arrangement 3urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > Formal verification of...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Content
agreement.html 17/12/2012 09:29 0.7 KiB 
4. Conditions of access and use
data URLhttp://urlib.net/ibi/8JMKD3MGP8W/3D85595
zipped data URLhttp://urlib.net/zip/8JMKD3MGP8W/3D85595
Languageen
Target Fileworcap2012_submission_23  - Luciana Brasil Rebelo dos Santos.pdf
User Grouplurebelo@gmail.com
Visibilityshown
5. Allied materials
Next Higher Units8JMKD3MGP8W/38ELNHL
8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
Host Collectionsid.inpe.br/mtc-m18@80/2008/03.17.15.17
6. Notes
Empty Fieldsarchivingpolicy 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. Description control
e-Mail (login)simone
update 

1. Identity statement
Reference TypeConference Paper (Conference Proceedings)
Siteplutao.sid.inpe.br
Holder Codeisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentifierJ8LNKAN8RW/3D547A5
Repositorydpi.inpe.br/plutao/2012/11.28.19.33.39
Last Update2013:01.22.18.21.30 (UTC) marciana
Metadata Repositorydpi.inpe.br/plutao/2012/11.28.19.33.40
Metadata Last Update2022:03.17.16.24.01 (UTC) administrator
Secondary KeyINPE--PRE/
Labellattes: 1446664587151293 2 StraussStepRosaFerr:2012:AnQuRe
Citation KeyStraussStepRosaFerr:2012:AnQuRe
TitleAnálise quantitativa das regras da ferramenta objetiva de previsão de tempo do CPTEC
FormatDVD
Year2012
Access Date2023, Jan. 31
Secondary TypePRE CN
Number of Files1
Size72 KiB
2. Context
Author1 Strauss, Cesar
2 Stephany, Stephan
3 Rosa, Marcelo Barbio
4 Ferreira, Nelson Jesus
Group1 CEA-CEA-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
3 DOP-CPT-INPE-MCTI-GOV-BR
Affiliation1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Author e-Mail Address1
2 stephan@lac.inpe.br
e-Mail Addressstephan@lac.inpe.br
Conference NameCongresso Brasileiro de Meteorologia, 17 (CBMET).
Conference LocationGramado, RS
Date2012
PublisherSBMET
Book TitleAnais
Tertiary TypeArtigo
History (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. Content and structure
Is the master or a copy?is the master
Content Stagecompleted
Transferable1
Content TypeExternal Contribution
Keywordsmineração de dados
previsão do tempo
AbstractO 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
Arrangement 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Análise quantitativa das...
Arrangement 2urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGCEA > Análise quantitativa das...
Arrangement 3urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDOP > Análise quantitativa das...
doc Directory Contentaccess
source Directory Contentthere are no files
agreement Directory Contentthere are no files
4. Conditions of access and use
data URLhttp://urlib.net/ibi/J8LNKAN8RW/3D547A5
zipped data URLhttp://urlib.net/zip/J8LNKAN8RW/3D547A5
Languagept
Target File62KG.pdf
User Grouplattes
marciana
Visibilityshown
Read Permissionallow from all
Update Permissionnot transferred
5. Allied materials
Next Higher Units8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3EU2FR5
8JMKD3MGPCW/43SQKNE
Host Collectiondpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notes
NotesSetores de Atividade: Administração pública, defesa e seguridade social.
Empty Fieldsarchivingpolicy 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. Description control
e-Mail (login)marciana
update