| 1. Identificação | ||||
| Tipo de Referência | Artigo em Evento (Conference Proceedings) | |||
| Site | mtc-m16d.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP7W/38UBF5L | |||
| Repositório | sid.inpe.br/mtc-m19/2011/01.11.13.42 | |||
| Última Atualização | 2011:03.02.18.46.52 (UTC) administrator | |||
| Repositório de Metadados | sid.inpe.br/mtc-m19/2011/01.11.13.42.47 | |||
| Última Atualização dos Metadados | 2021:02.11.20.57.40 (UTC) administrator | |||
| Chave Secundária | INPE--PRE/ | |||
| ISSN | 2177-3114 | |||
| Chave de Citação | MoraisAmbr:2010:PrAbBa | |||
| Título | Proposta de uma abordagem baseada em modelos de estados para refinamento de requisitos em aplicações espaciais  | |||
| Formato | CD-ROM | |||
| Ano | 2010 | |||
| Data de Acesso | 25 abr. 2024 | |||
| Tipo Secundário | PRE CN | |||
| Número de Arquivos | 1 | |||
| Tamanho | 298 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Morais, M. H. E 2 Ambrosio, A. M. | |||
| Grupo | 1 DSE-ETE-INPE-MCT-BR 2 DSE-ETE-INPE-MCT-BR | |||
| Afiliação | 1 Instituto Nacional de Pesquisas Espaciais (INPE) 2 Instituto Nacional de Pesquisas Espaciais (INPE) | |||
| Endereço de e-Mail | alessandra@sid.inpe.br | |||
| Nome do Evento | Workshop em Engenharia e Tecnologia Espaciais, 1 (WETE). | |||
| Localização do Evento | Instituto Nacional de Pesquisas Espaciais, São José dos Campos, São Paulo, Brasil | |||
| Data | 30 mar. - 1 abr. 2010 | |||
| Editora (Publisher) | INPE | |||
| Cidade da Editora | São José dos Campos | |||
| Volume | IWETE2010-1018 | |||
| Título do Livro | Anais | |||
| Tipo Terciário | Sessão Oral | |||
| Histórico (UTC) | 2011-01-11 13:52:13 :: alessandra@sid.inpe.br :: 30-31 mar. 2010 -> 2010 2011-03-02 19:56:18 :: alessandra@sid.inpe.br -> administrator :: 2010 2021-02-11 20:57:40 :: administrator -> alessandra@sid.inpe.br :: 2010 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Palavras-Chave | refinamento de requisitos sistemas espaciais software crítico verificação e validação modelos formais | |||
| Resumo | Este trabalho discute problemas relacionados à especificação de requisitos, compara soluções apresentadas por diferentes pesquisas e apresenta uma metodologia baseada em modelos de estados para refinamento de requisitos. Esta metodologia tem como origem a aplicação em software crítico aeroespacial apresentando ainda concordância com as normas européias para o setor espacial definidas pela ECSS. A abordagem proposta procura mitigar problemas de requisitos incompletos definindo uma sistemática e garantindo consistência no refinamento de requisitos. | |||
| Área | ETES | |||
| Arranjo 1 | urlib.net > BDMCI > Fonds > WETEs > 1º WETE > Proposta de uma... | |||
| Arranjo 2 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGETE > 1º WETE > Proposta de uma... | |||
| Arranjo 3 | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Proposta de uma... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| URL dos dados | http://urlib.net/ibi/8JMKD3MGP7W/38UBF5L | |||
| URL dos dados zipados | http://urlib.net/zip/8JMKD3MGP7W/38UBF5L | |||
| Idioma | pt | |||
| Arquivo Alvo | CSE_ceagse_1018-pt.pdf | |||
| Grupo de Usuários | administrator alessandra@sid.inpe.br | |||
| Visibilidade | shown | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Repositório Espelho | sid.inpe.br/mtc-m19@80/2009/08.21.17.02.53 | |||
| Unidades Imediatamente Superiores | 8JMKD3MGP7W/3E9SKJ5 8JMKD3MGPCW/446AUSL | |||
| Lista de Itens Citando | sid.inpe.br/mtc-m19/2013/06.12.14.38 1 | |||
| Acervo Hospedeiro | sid.inpe.br/mtc-m19@80/2009/08.21.17.02 | |||
| 6. Notas | ||||
| Campos Vazios | archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor electronicmailaddress isbn label lineage mark nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | alessandra@sid.inpe.br | |||
| atualizar | ||||