Resultado da Pesquisa
A expressão de busca foi <secondaryty pi and ref journal and firstg LAC-CTE-INPE-MCTI-GOV-BR and y 2014 and not dissemination websci and issn *>.
4 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 23/10/2020 02:26.
Tipo da ReferênciaJournal Article
Identificador8JMKD3MGP5W34M/3HE6FG2
Repositóriosid.inpe.br/mtc-m21b/2014/11.18.23.59.33   (acesso restrito)
Metadadossid.inpe.br/mtc-m21b/2014/11.18.23.59.34
Sitemtc-m21b.sid.inpe.br
DOI10.1504/IJWET.2014.063041
Rótuloscopus 2014-11 ArantesVijaSouz:2014:ToSuGe
ISSN14761289
17419212
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoArantesSantVijaSouz:2014:ToSuGe
Autor1 Arantes, A. O.
2 Santiago Junior, Valdivino Alexandre de
3 Vijaykumar, Nandamudi Lankalapalli
4 Souza, E. F. De
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJB5
3 8JMKD3MGP5W/3C9JHTU
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto de Estudos Avançados (IEAv), P.O. Box 6044São José dos Campos, São Paulo, Brazil
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto de Estudos Avançados (IEAv), P.O. Box 6044São José dos Campos, São Paulo, Brazil
TítuloTool support for generating model-based test cases via web
RevistaInternational Journal of Web Engineering and Technology
Ano2014
Volume9
Número1
Palavras-ChaveSoftware testing, Distributed development, FSM, Model based testing, Statecharts, WEB application, Formal methods.
ResumoTesting activities play an important role in order to obtain high quality software products. These activities become more important when considering critical software, for instance, space application software. Nowadays, there is an extensive collaboration among space institutions. So, it is more than natural to expect distributed development of software and software testing activities. Therefore, a collaborative tool hosted on the internet becomes quite useful. In this respect, WEB-PerformCharts 2.0 tool discussed in this paper moves in this direction. The tool focuses on supporting a single aspect of distributed software development: the activity of generating test cases via web. Moreover, it allows model-based test case generation by means of formal methods (formal languages statecharts and FSM) which are considered state of the art in software development. WEB-PerformCharts 2.0 can be used to generate test cases for any kind of reactive systems modelled in statecharts or FSM. We present three case studies in different application domains to demonstrate the feasibility of our tool. Copyright.
Páginas62-96
Idiomaen
Tipo SecundárioPRE PI
DivulgaçãoCOMPENDEX; SCOPUS.
AreaCOMP
Tamanho1516 KiB
Número de Arquivos1
Arquivo Alvoarantes_tool.pdf
Última Atualização2017:07.21.14.29.01 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 marcelo.pazos@inpe.br
Última Atualização dos Metadados2018:06.04.03.04.32 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhoiconet.com.br/banon/2006/11.26.21.31
Endereço de e-Mailmarcelo.pazos@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Histórico2016-07-03 20:31:33 :: administrator -> marcelo.pazos@inpe.br :: 2014
2017-07-21 14:29:01 :: marcelo.pazos@inpe.br -> administrator :: 2014
2018-06-04 03:04:32 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel electronicmailaddress format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork url
Data de Acesso23 out. 2020
atualizar 
similares 
Tipo da ReferênciaJournal Article
Identificador8JMKD3MGP5W34M/3HE6FGL
Repositóriosid.inpe.br/mtc-m21b/2014/11.18.23.59.51   (acesso restrito)
Metadadossid.inpe.br/mtc-m21b/2014/11.18.23.59.52
Sitemtc-m21b.sid.inpe.br
DOI10.1007/s40313-014-0115-9
Rótuloscopus 2014-11 FreitasDaSi:2014:SyMeIn
ISSN2195-3880
2195-3899
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoFreitasSilv:2014:SyMeIn
Autor1 Freitas, Celso Bernardo Nóbrega
2 Silva, Paulo Sérgio Pereira da
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Universidade de São Paulo (USP)
Endereço de e-Mail do Autor1 cbnfreitas@gmail.com
2 paulo@lac.usp.br
TítuloA symbolic-numerical method for integration of DAEs based on geometric control theory
RevistaJournal of Control, Automation and Electrical Systems
Ano2014
Volume25
Número4
Palavras-ChaveInitial value problems, Nonlinear systems, Approximation results, DAEs, Differential algebraic equations, Efficient numerical analysis, Geometric control, Geometric control theory, Integration method, Symbolic and numerical calculations, Differential equations.
ResumoThis work describes a symbolic-numerical integration method for a class of differential algebraic equations (DAEs) known as semi-explicit systems. Our method relies on geometric theory of decoupling for nonlinear systems combined with efficient numerical analysis techniques. It uses an algorithm that applies symbolic and numerical calculations to build an explicit vector field Ä, whose integral curves with compatible initial conditions are the same solutions of the original DAE. Here, compatible initial conditions are the ones that respect the algebraic restrictions and their derivatives up to their relative degree. This extended set of restrictions defines a submanifold of the whole space, which is formed by all the variables of the system, and all solutions of the DAE lie on this submanifold. Furthermore, even for nonexactly compatible initial conditions, the solutions of this explicit system defined by Ä converge exponentially to . Under mild assumptions, an approximation result shows that the precision of the method is essentially controlled by the distance of the initial condition from . A scheme to compute compatible initial conditions with the DAE is also provided. Finally, simulations with benchmarks and comparisons with other available methods show that this is a suitable alternative for these problems, specially for nonexactly compatible initial conditions or high-index problems. © 2014 Brazilian Society for Automatics - SBA.
Páginas400-412
Idiomaen
Tipo de Trabalhojournal article
Tipo SecundárioPRE PI
DivulgaçãoCOMPENDEX; SCOPUS.
AreaCOMP
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho395 KiB
Número de Arquivos1
Arquivo AlvoFreitas_symbolic.pdf
Última Atualização2015:02.11.14.17.47 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.03.04.32 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhoiconet.com.br/banon/2006/11.26.21.31
Endereço de e-Mailmarcelo.pazos@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuáriosadministrator
marcelo.pazos@inpe.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Histórico2018-06-04 03:04:32 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarytype url
Data de Acesso23 out. 2020
atualizar 
similares 
Tipo da ReferênciaJournal Article
Identificador8JMKD3MGP3W/3HG7M8S
Repositóriosid.inpe.br/plutao/2014/12.01.13.52   (acesso restrito)
Metadadossid.inpe.br/plutao/2014/12.01.13.52.21
Siteplutao.sid.inpe.br
Rótulolattes: 5142426481528206 2 HarterCamp:2014:InToNe
ISSN2071-0216
2308-0256
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoHarterCamp:2014:InToNe
Autor1 Harter, Fabricio Pereira
2 Campos Velho, Haroldo Fraga de
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHC3
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
TítuloInvestigation of topologies of neural networks for data assimilation
RevistaBulletin of South Ural State University, Series Computational Mathematics and Software Engineering
Ano2014
Volume3
Número4
Palavras-ChaveMulti-layer perceptron neural network, RBF neural network, Jordan neural network, Kalman filter, Data assimilation.
Páginas96-106
Idiomaen
URL (dados não confiáveis)http://mmp.vestnik.susu.ac.ru/issue/en
Tipo SecundárioPRE PI
DivulgaçãoSCOPUS
AreaCOMP
Tamanho792 KiB
Número de Arquivos1
Arquivo Alvoharter_investigation.pdf
Última Atualização2020:09.14.18.54.30 dpi.inpe.br/plutao@80/2008/08.19.15.01 marcelo.pazos@inpe.br
Última Atualização dos Metadados2020:09.14.18.54.30 dpi.inpe.br/plutao@80/2008/08.19.15.01 marcelo.pazos@inpe.br {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhoiconet.com.br/banon/2006/11.26.21.31
Endereço de e-Mailmarcelo.pazos@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuárioslattes
marcelo.pazos@inpe.br
Visibilidadeshown
Transferível1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Histórico2014-12-01 13:52:21 :: lattes -> administrator ::
2018-06-04 23:39:42 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosabstract alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype typeofwork
Data de Acesso23 out. 2020
atualizar 
similares 
Tipo da ReferênciaJournal Article
Identificador8JMKD3MGP3W/3HFK745
Repositóriosid.inpe.br/plutao/2014/11.28.00.59   (acesso restrito)
Metadadossid.inpe.br/plutao/2014/11.28.00.59.28
Siteplutao.sid.inpe.br
DOI10.4018/ijdet.2014040101
Rótulolattes: 9922863822347014 4 SilvaBrMaViRoCoFr:2014:SoNeAn
ISSN1539-3100
1539-3119
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSilvaBrMaViRoCoFr:2014:SoNeAn
Autor1 Silva, Aleksandra do Socorro da
2 Brito, Silvana Rossy de
3 Martins, Dalton Lopes
4 Vijaykumar, Nandamudi Lankalapalli
5 Rocha, Claudio Alex Jorge da
6 Costa, João Crisóstomo Weyl Albuquerque
7 Francês, Carlos Renato Lisboa
Identificador de Curriculo1
2
3
4 8JMKD3MGP5W/3C9JHTU
Grupo1
2
3
4 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2
3
4 Instituto Nacional de Pesquisas Espaciais (INPE)
TítuloSocial Network Analysis and Participation in Learning Environments to Digital Inclusion Based on Large-Scale Distance Education
RevistaInternational Journal of Distance Education Technologies
Ano2014
Volume12
Número2
MêsApr.-June
Palavras-Chavebayesian networks, digital inclusion, distance learning.
ResumoEvaluating and monitoring large-scale distance learning programs require different techniques, systems, and analysis methods. This work presents challenges in evaluating and monitoring digital inclusion training programs, considering the aspects inherent in large-scale distance training, and reports an approach based on network and distance learning. The paper has the following objectives: (i) apply algorithms to extract indicators from interaction networks, in a real scenario and consolidated training based on distance learning; (ii) apply algorithms to correlate interaction indicators with other indicators related to the use and participation in learning environments; and (iii) discuss the relevance of the obtained indicators to promote feedback with information critical to the success of a large-scale distance training program.
Páginas1-25
Idiomaen
Tipo de Trabalhojournal article
Tipo SecundárioPRE PI
DivulgaçãoPORTALCAPES; COMPENDEX; SCOPUS.
AreaCOMP
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho1704 KiB
Número de Arquivos1
Arquivo AlvoAleksandraSilvaEtAl_IJDET_Proof_Reading.pdf
Última Atualização2014:12.16.14.06.33 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator
Última Atualização dos Metadados2018:06.04.23.39.33 dpi.inpe.br/plutao@80/2008/08.19.15.01 administrator {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhoiconet.com.br/banon/2006/11.26.21.31
Endereço de e-Mailmarcelo.pazos@inpe.br
e-Mail (login)marcelo.pazos@inpe.br
Grupo de Usuáriosadministrator
lattes
marcelo.pazos@inpe.br
self-uploading-INPE-MCTI-GOV-BR
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
Visibilidadeshown
Transferível1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Histórico2014-11-28 00:59:28 :: lattes -> administrator ::
2018-06-04 23:39:33 :: administrator -> marcelo.pazos@inpe.br :: 2014
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel electronicmailaddress format isbn lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarytype url
Data de Acesso23 out. 2020
atualizar 
similares